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

‹Programming› 2024	Committee Member in Program Committee within the Research Papers-track
SPLASH 2023	PC Member in OOPSLA Review Committee within the OOPSLA-track
ICFP 2023	Committee Member in Program Committee within the ICFP Research Papers-track
ECOOP 2023	Workshops Co-Chair in Organizing Committee Workshops Co-Chair in Chairs within the Workshops-track
ECOOP and ISSTA 2023	Workshops Co-Chair in Chairs within the Workshops-track
ISSTA 2023	Workshops Co-Chair in Chairs within the Workshops-track Workshops Co-Chair in Organizing Committee
EVCS	Author of On Solving Solved Problems within the Eelco Visser Commemorative Symposium-track
CC 2023	Committee Member in Program Committee within the Research Papers-track
GPCE 2022	Author of Incremental Processing of Structured Data in Datalog within the GPCE -track Steering Committee Chair in Steering Committee within the GPCE -track
ECOOP 2022	Committee Member in Academic Panel within the Doctoral Symposium-track Author of Functional Programming with Datalog within the Research Papers-track Committee Member in Organizing Committee within the Doctoral Symposium-track Panelist of Software verification/program analysis within the Expert Discussion-track Committee Member in Program Committee within the Research Papers-track Doctoral Symposium Co-Chair in Organizers
PAW 2022	Committee Member in Organizing Committee within the PAW 2022-track Committee Member in Program Committee within the PAW 2022-track Author of A Modular Static Analysis Platform for WebAssembly within the PAW 2022-track
‹Programming› 2022	Committee Member in Research Papers within the Research Papers-track
GPCE 2021	Committee Member in Program Committee within the GPCE-track Steering Committee Chair in Steering Committee within the GPCE-track
ICFP 2021	Author of Persistent Software Transactional Memory in Haskell within the Research Papers-track
ECOOP 2021	Posters Co-Chair in Organizing Committee
ECOOP and ISSTA 2021	Posters Committee Co-Chair in Posters Committee within the Posters-track Co-chair of Specification and Implementation of Type Systems within the Discussions with Experts-track Session Chair of Specification and Implementation of Type Systems (part of Discussions with Experts) Posters Co-Chair in Organizing Committee
ISSTA 2021	Posters Co-Chair in Organizing Comittee
PLDI 2021	Author of Concise, Type-Safe, and Efficient Structural Diffing within the PLDI-track Author of Incremental Whole-Program Analysis in Datalog with Lattices within the PLDI-track
BAPL 2020	Committee Member in Program Committee within the BAPL 2020 (Cancelled)-track
SPLASH 2020	Author of A Systematic Approach to Deriving Incremental Type Checkers within the OOPSLA-track
GPCE 2020	Vice-Chair in Steering Committee within the GPCE-track
SLE 2020	Committee Member in Program Committee within the SLE-track
ECOOP 2020	Committee Member in Program Committee within the Research Papers-track
ICFP 2020	Committee Member in External Review Committee within the ICFP Program-track
VMCAI 2020	Author of A Systematic Approach to Abstract Interpretation of Program Transformations within the VMCAI 2020-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
GPCE 2019	Committee Member in Program Committee within the GPCE 2019-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
SLE 2019	Author of Vision Paper: Generating Incremental Type Services within the SLE 2019-track
ICFP 2019	Committee Member in External Review Committee within the Research Papers-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
Scala 2019	Steering Committee Member in Steering Committee within the Scala 2019-track
PLNL 2018	Author of Sound and Reusable Components for Abstract Interpretation within the PLNL-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
SLEBoK 2018	Committee Member in Program Committee within the SLEBoK 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
GPCE 2018	Session Chair of IV (part of GPCE 2018) Committee Member in Program Committee within the GPCE 2018-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
Scala 2018	General Chair in Organizing Committee within the Scala 2018-track Session Chair of Session 3: DSLs & Sponsor Talk (part of Scala 2018)
FTfJP 2018	Author of Incremental Overload Resolution in Object-Oriented Programming Languages within the FTfJP-track
DPA 2018	Author of IncAL - Incrementalizing Lattice-Based Program Analyses within the DPA-track
ECOOP and ISSTA 2018	Mentor in Mentors within the Summer School-track Author of Incrementalizing Lattice-Based Program Analyses within the Posters-track
CurryOn 2018	Author of Better living through incrementality: Immediate static analysis feedback without loss of precision within the Curry On Talks-track
* ICSE 2018 *	Committee Member in Program Committee within the NIER - New Ideas and Emerging Results -track
‹Programming› 2018	Author of PIE: A Domain-Specific Language for Interactive Software Development Pipelines within the Research Papers-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
SPLASH 2017	Committee Member in Program Committee within the Workshops-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
ECOOP 2017	Author of A Co-contextual Type Checker for Featherweight Java within the ECOOP 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
‹Programming› 2017	Author of A Module-System Discipline for Model-Driven Software Development within the Research Papers-track
PEPM 2017	Committee Member in Programme Committee within the PEPM 2017-track Committee Member in Programme Committee
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
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)
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
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
Scala 2016	Committee Member in Program Committee within the Scala-track
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
LIVE 2016	Author of Towards Live Language Development within the LIVE-track
OOPSLA 2016 PC Meeting	Session Chair of Session 4 (part of Workshop)
Modularity 2016	Author of CPL: A Core Language for Cloud Computing within the Research Results-track
LaMOD'16	Committee Member in Program Committee within the Language Modularity-track
POPL 2016	Author of Sound Type-dependent Syntactic Language Extension within the Research Papers-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)
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
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
SLE 2015	Author of Modular Capture Avoidance for Program Transformations within the SLE-track Committee Member in Program Committee within the SLE-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
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
Onward! 2014	Session Chair of Session the First (part of Onward! Papers) Committee Member in Program Committee within the Onward! Papers-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
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
SPLASH 2011	Author of Variability-Aware Parsing in the Presence of Lexical Macros and Conditional Compilation within the OOPSLA-track Presenter of SugarJ: Library-based Language Extensibility within the Posters-track Author of SugarJ: Library-based Syntactic Language Extensibility within the OOPSLA-track