Sebastian Wolff -

Registered user since Wed 13 Jan 2016

Name:Sebastian Wolff

Country:United States

Affiliation:New York University

Personal website: https://wolff09.github.io

Contributions

2024

VMCAI

Chair in Artifact Evaluation Committee within the VMCAI 2024-track

2023

PLDI

Author of Embedding Hindsight Reasoning in Separation Logic within the PLDI Research Papers-track

2022

APLAS

Author of Model-based Fault Classification for Automotive Software within the APLAS-track

SPLASH

Author of A Concurrent Program Logic with a Future and History within the OOPSLA-track

VMCAI

Artifact Evaluation Committee Member in Artifact Evaluation Committee within the VMCAI 2022-track

2021

POPL

Artifact Evaluator in Artifact Evaluation Committee within the Artifact Evaluation-track

2020

POPL

Author of Pointer Life Cycle Types for Lock-Free Data Structures with Memory Reclamation within the Research Papers-track

2019

POPL

Author of Decoupling Lock-Free Data Structures from Memory Reclamation for Static Analysis within the Research Papers-track

2016

VMCAI

Author of Pointer Race Freedom within the VMCAI-track