Sebastian Wolff

Identifiers

• name variant Sebastian Wolff 0.60 · backfill

Papers (3)

1. Decoupling Lock-Free Data Structures from Memory Reclamation for Static Analysis cs.PL · 2018 · author #2
2. Effect Summaries for Thread-Modular Analysis cs.PL · 2017 · author #4
3. Pointer Race Freedom cs.PL · 2015 · author #4

Mentions

• 1511.00184 #4 · backfill · confidence 0.70 Sebastian Wolff

Frequent Coauthors

• Roland Meyer 3 shared papers
• Luk\'a\v{s} Hol\'ik 2 shared papers
• Fr\'ed\'eric Haziza 1 shared papers
• Tom\'a\v{s} Vojnar 1 shared papers