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

BAPL 2020	Committee Member in Program Committee within the BAPL 2020-track
ECOOP 2020	Committee Member in Program Committee within the Research Papers-track
VMCAI 2020	Author of A Systematic Approach to Abstract Interpretation of Program Transformations within the VMCAI 2020-track
ICFP 2020	Committee Member in External Review Committee within the Research Papers-track
IC 2019	Author of Generating Incremental Type Services within the IC 2019-track Author of Incrementalizing inter-procedural program analyses with recursive aggregation in Datalog within the IC 2019-track Author of Precise, Efficient, and Expressive Incremental Build Scripts with PIE within the IC 2019-track Committee Member in Organizing Committee within the IC 2019-track
Scala 2019	Steering Committee Member in Steering Committee within the Scala 2019-track
SLE 2019	Author of Vision Paper: Generating Incremental Type Services within the SLE 2019-track
GPCE 2019	Committee Member in Program Committee within the GPCE 2019-track
PLNL 2018	Author of Sound and Reusable Components for Abstract Interpretation within the PLNL-track
SPLASH 2019	Author of Sound and Reusable Components for Abstract Interpretation within the OOPSLA-track Author of Sound and Reusable Components for Abstract Interpretation within the Posters-track Committee Member in Review Committee within the OOPSLA-track Author of Language-Integrated Privacy-Aware Distributed Queries within the Posters-track Author of Vision Paper: Generating Incremental Type Services within the Posters-track Author of Sound and Reusable Components for Abstract Interpretation within the OOPSLA Artifacts-track Author of Language-Integrated Privacy-Aware Distributed Queries within the OOPSLA-track
ECOOP 2019	Session 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 2018	Author of Better living through incrementality: Immediate static analysis feedback without loss of precision within the Curry On Talks-track
SLEBoK 2018	Committee Member in Program Committee within the SLEBoK 2018-track
DPA 2018	Author of IncAL - Incrementalizing Lattice-Based Program Analyses within the DPA-track
FTfJP 2018	Author of Incremental Overload Resolution in Object-Oriented Programming Languages within the FTfJP-track
Scala 2018	General Chair in Organizing Committee within the Scala 2018-track Session Chair of Session 3: DSLs & Sponsor Talk (part of Scala 2018)
ICFP 2019	Committee Member in External Review Committee within the Research Papers-track
SLE 2018	Committee 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 2018	Session Chair of IV (part of GPCE 2018) Committee Member in Program Committee within the GPCE 2018-track
SPLASH 2018	Speaker 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 2017	Author 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 2018	Scala 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› 2018	Author of PIE: A Domain-Specific Language for Interactive Software Development Pipelines within the Research Papers-track
IC 2017	Author 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 2017	Author 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 2017	Committee Member in Programme Committee within the PEPM 2017-track Committee Member in Programme Committee
‹Programming› 2017	Author of A Module-System Discipline for Model-Driven Software Development within the Research Papers-track
LWC@SLE 2016	Committee 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 2016	Committee Member in Program Committee within the Scala-track
OOPSLA 2016 PC Meeting	Session Chair of Session 4 (part of Workshop)
LIVE 2016	Author of Towards Live Language Development within the LIVE-track
LaMOD'16	Committee Member in Program Committee within the Language Modularity-track
ECOOP and ISSTA	Mentor in Mentors within the Summer School-track Author of Incrementalizing Lattice-Based Program Analyses within the Posters-track
SPLASH 2017	Committee Member in Program Committee within the Workshops-track
ECOOP 2017	Author of A Co-contextual Type Checker for Featherweight Java within the ECOOP Research Papers-track
SLE 2016	Author 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 2016	Author 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 2016	Invited 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 2016	Session 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 2016	Session 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 2016	Author of Sound Type-dependent Syntactic Language Extension within the Research Papers-track
DSLDI 2015	Session 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 2015	Author of Modular Capture Avoidance for Program Transformations within the SLE-track Committee Member in Program Committee within the SLE-track
Onward! 2015	Author 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 2015	Author 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
PLATEAU	Committee Member in Program Committee within the PLATEAU-track
DSLDI	Committee Member in Organizing Committee Program Chair in Organizers within the DSLDI-track
Onward! 2014	Session Chair of Session the First (part of Onward! Papers) Committee Member in Program Committee within the Onward! Papers-track
SPLASH 2014	Author 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 2013	Author 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 2013	Author 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 2013	Committee Member in Program Committee within the GPCE-track
SPLASH 2012	Author of A variability-aware module system within the OOPSLA Research Papers-track