Sebastian Erdweg

Registered user since Thu 29 May 2014

Name: Sebastian Erdweg

Country: Germany

Affiliation: JGU Mainz

Personal website: https://www.pl.informatik.uni-mainz.de/

Contributions

IC 2019Committee Member in Organizing Committee within the IC 2019-track
Scala 2019Steering Committee Member in Steering Committee within the Scala 2019-track
GPCE 2019Committee Member in Program Committee within the GPCE 2019-track
PLNL 2018Author of Sound and Reusable Components for Abstract Interpretation within the PLNL-track
SPLASH 2019Author of Sound and Reusable Components for Abstract Interpretation within the OOPSLA-track
Committee Member in Review Committee within the OOPSLA-track
Author of Language-Integrated Privacy-Aware Distributed Queries within the OOPSLA-track
ECOOP 2019Session Chair of Domain Specific Languages (part of Research Papers)
Workshops Co-Chair in Organizing Committee within the Workshops-track
Workshops Co-Chair in Organizing Committee
CurryOn 2018Author of Better living through incrementality: Immediate static analysis feedback without loss of precision within the Curry On Talks-track
SLEBoK 2018Committee Member in Program Committee within the SLEBoK 2018-track
DPA 2018Author of IncAL - Incrementalizing Lattice-Based Program Analyses within the DPA-track
FTfJP 2018Author of Incremental Overload Resolution in Object-Oriented Programming Languages within the FTfJP-track
Scala 2018General Chair in Organizing Committee within the Scala 2018-track
Session Chair of Session 3: DSLs & Sponsor Talk (part of Scala 2018)
ICFP 2019Committee Member in External Review Committee within the Research Papers-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
META 2017Author of Toward Abstract Interpretation of Program Transformations within the Meta 2017-track
Session Chair of Metaprogramming and Domain Specific Languages (part of Meta 2017)
Committee Member in Program Committee within the Meta 2017-track
ICFP 2018Scala Symposium General Chair in Organizing Committee
Author of Versatile Event Correlation with Algebraic Effects within the Research Papers-track
Author of Compositional Soundness Proofs of Abstract Interpreters within the Research Papers-track
‹Programming› 2018Author of PIE: A Domain-Specific Language for Interactive Software Development Pipelines within the Research Papers-track
IC 2017Author of IncAL: A DSL for Incremental Program Analysis with Lattices within the IC 2017-track
Committee Member in Organizing Committee within the IC 2017-track
Author of Privacy-aware Distributed Incremental Computation within the IC 2017-track
GPCE 2017Author of Awards within the GPCE 2017-track
Program Chair in Program Committee within the GPCE 2017-track
Author of Opening within the GPCE 2017-track
Program Chair in Organizing Committee within the GPCE 2017-track
PEPM 2017Committee Member in Programme Committee within the PEPM 2017-track
Committee Member in Programme Committee
‹Programming› 2017Author of A Module-System Discipline for Model-Driven Software Development within the Research Papers-track
LWC@SLE 2016Committee Member in Program Committee within the LWC-track
Author of Bootstrapping, Default Formatting, and Skeleton Editing in the Spoofax Language Workbench within the LWC-track
Scala 2016Committee Member in Program Committee within the Scala-track
OOPSLA 2016 PC MeetingSession Chair of Session 4 (part of Workshop)
LIVE 2016Author of Towards Live Language Development within the LIVE-track
LaMOD'16Committee Member in Program Committee within the Language Modularity-track
ECOOP and ISSTAMentor in Mentors within the Summer School-track
Author of Incrementalizing Lattice-Based Program Analyses within the Posters-track
SPLASH 2017Committee Member in Program Committee within the Workshops-track
ECOOP 2017Author of A Co-contextual Type Checker for Featherweight Java within the ECOOP Research Papers-track
SLE 2016Author of Efficient Development of Consistent Projectional Editors using Grammar Cells within the SLE-track
Author of Principled Syntactic Code Completion using Placeholders within the SLE-track
Author of The IDE Portability Problem and Its Solution in Monto within the SLE-track
GPCE 2016Author of Bootstrapping Domain-Specific Meta-Languages in Language Workbenches within the GPCE-track
Committee Member in Program Committee within the GPCE-track
* ICSE 2018 *Committee Member in Program Committee within the NIER - New Ideas and Emerging Results -track
PEPM 2016Invited speaker of Invited Talk: Automated Reasoning about Type Systems by Compilation to First-Order Logic within the Invited Talks-track
Session Chair of Domain-Specific Languages II (part of PEPM)
ECOOP 2016Session Chair of Session 4 (part of Research Track)
Committee Member in Program Committee within the Research Track-track
Invited speaker in Invited Speakers within the Doctoral Symposium-track
Invited speaker of Invited Talk: PhD Reflections within the Doctoral Symposium-track
Modularity 2016 Author of CPL: A Core Language for Cloud Computing within the Research Results-track
SPLASH 2016Session Chair of Typing, in Practice (part of OOPSLA)
Session Chair of Poster Reception Monday (part of Posters)
Posters Co-Chair in Organizing Committee
Session Chair of Poster Reception Wednesday (part of Posters)
Posters Co-Chair in Organizing Committee within the Posters-track
Session Chair of Session 5 (part of SPLASH-I)
POPL 2016Author of Sound Type-dependent Syntactic Language Extension within the Research Papers-track
DSLDI 2015Session Chair of Welcome (part of DSLDI)
Program Chair in Program Committee within the DSLDI-track
Panelist of Panel Discussion: Language Composition within the DSLDI-track
Author of Introduction within the DSLDI-track
SLE 2015Author of Modular Capture Avoidance for Program Transformations within the SLE-track
Committee Member in Program Committee within the SLE-track
Onward! 2015Author of Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers within the Onward! Papers-track
Author of Towards Secure Integration of Cryptographic Software within the Onward! Papers-track
SPLASH 2015Author of A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking within the OOPSLA-track
Author of Toward Incremental Type Checking for Java within the Posters-track
Author of A Sound and Optimal Incremental Build System with Dynamic Dependencies within the OOPSLA-track
Author of A Sound and Optimal Incremental Build System within the OOPSLA Artifacts-track
PLATEAUCommittee Member in Program Committee within the PLATEAU-track
DSLDICommittee Member in Organizing Committee
Program Chair in Organizers within the DSLDI-track
Onward! 2014Session Chair of Session the First (part of Onward! Papers)
Committee Member in Program Committee within the Onward! Papers-track
SPLASH 2014Author of i3QL: Language-Integrated Live Data Views within the OOPSLA-track
Presenter of i3QL: Language-Integrated Live Data Views within the OOPSLA Artifacts-track
GPCE 2013Author of A Framework for Extensible Languages within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
Author of Template Constructors for Reusable Object Initialization within the Research Papers-track
SLE 2013Author of Software Evolution to Domain-Specific Languages within the Research Papers-track
Author of The State of the Art in Language Workbenches within the Research Papers-track
SPLASH 2013Committee Member in Program Committee within the GPCE-track
SPLASH 2012Author of A variability-aware module system within the OOPSLA Research Papers-track