Sebastian Erdweg

Registered user since Thu 29 May 2014

Name:Sebastian Erdweg
Affiliation:JGU Mainz

Contributions

ECOOP 2022 Committee Member in Program Committee 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
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
FPE 2020 Committee Member in Program Committee within the FPE 2020-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
SLE 2020 Committee Member in Program Committee within the SLE-track
BAPL 2020 Committee Member in Program Committee within the BAPL 2020 (Cancelled)-track
GPCE 2020 Vice-Chair in Steering Committee within the GPCE-track
ICFP 2021 Author of Persistent Software Transactional Memory in Haskell within the Research Papers-track
ECOOP 2020 Committee Member in Program Committee within the Research Papers-track
SPLASH 2020 Author of A Systematic Approach to Deriving Incremental Type Checkers within the OOPSLA-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 ICFP Program-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 2018 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
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