SLE 2018
Sun 4 - Fri 9 November 2018 Boston, Massachusetts, United States
co-located with SPLASH 2018
Sebastian Erdweg

Registered user since Thu 29 May 2014

Name: Sebastian Erdweg

Bio: My team works on programming tools that supply developers with actionable feedback during development. Feedback is actionable if it is relevant to the programmer’s task, if the programmer can rely on its correctness, and if it arrives in a timely manner. The feedback we derive protects developers against introducing unsafe code, security vulnerabilities, and specification violations, yet it also informs development tools such as compiler optimizations and refactorings. To address this vision, we conduct basic research in programming languages, algorithms, and software verification that enables actionable feedback in a form that is useful in practice.

Country: Netherlands

Affiliation: TU Delft

Personal website: http://erdweg.org

Contributions

SLEBoK 2018Committee Member in Program Committee within the SLEBoK 2018-track
SLE 2018Committee Member in Program Committee within the SLE 2018-track
Author of Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages within the SLE 2018-track
GPCE 2018Session Chair of IV (part of GPCE 2018)
Committee Member in Program Committee within the GPCE 2018-track
SPLASH 2018Speaker in Speakers within the SPLASH-I-track
Author of Incrementalizing Lattice-Based Program Analyses in Datalog within the OOPSLA-track
Author of Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages within the Posters-track
Author of Better living through incrementality: Immediate static analysis feedback without loss of precision within the SPLASH-I-track
Author of Incrementalizing Lattice-Based Program Analyses within the Artifacts-track
Show activities from other conferences

SPLASH 2018-profile
View general profile