Registered user since Thu 29 May 2014

Name: Sebastian Erdweg

Bio: http://twitter.com/seba0_
http://erdweg.org

Country: Netherlands

Affiliation: TU Delft

Personal website: http://erdweg.org

All Activities

• Author of Bootstrapping Domain-Specific Meta-Languages in Language Workbenches within the GPCE-track in GPCE 2016
• Session Chair of Typing, in Practice (part of SPLASH 2016 OOPSLA)
• Committee Member in Program Committee for SPLASH 2017 Workshops
• Author of IncAL: A DSL for Incremental Program Analysis with Lattices within the IC 2017-track in IC 2017
• Author of Efficient Development of Consistent Projectional Editors using Grammar Cells within the SLE-track in SLE 2016
• Author of Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers within the Onward! Papers-track in Onward! 2015
• Session Chair of Poster Reception Monday (part of SPLASH 2016 Posters)
• Committee Member in Program Committee for LWC@SLE 2016
• Committee Member in Programme Committee for PEPM 2017
• Session Chair of Session 4 (part of ECOOP 2016 Research Track)
• Author of Principled Syntactic Code Completion using Placeholders within the SLE-track in SLE 2016
• Committee Member in Programme Committee for PEPM 2017
• Committee Member in Program Committee for LaMOD'16 Language Modularity
• invited speaker of Invited Talk: Automated Reasoning about Type Systems by Compilation to First-Order Logic within the Invited Talks-track in PEPM 2016
• Committee Member in Program Committee for GPCE 2016
• Session Chair of Session the First (part of Onward! Papers)
• Author of A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking within the OOPSLA-track in SPLASH 2015
• Committee Member in Program Committee for ECOOP 2016 Research Track
• Posters Co-Chair in Organizing Committee for SPLASH 2016
• Author of Towards Secure Integration of Cryptographic Software within the Onward! Papers-track in Onward! 2015
• invited speaker in Invited Speakers for ECOOP 2016 Doctoral Symposium
• Author of Modular Capture Avoidance for Program Transformations within the SLE-track in SLE 2015
• Committee Member in Program Committee for SLE 2015
• Author of Towards Live Language Development within the LIVE-track in LIVE
• Committee Member in Program Committee for Scala 2016
• Session Chair of Session 4 (part of OOPSLA 2016 PC Meeting Workshop)
• Author of Bootstrapping, Default Formatting, and Skeleton Editing in the Spoofax Language Workbench within the LWC-track in LWC@SLE 2016
• Committee Member in Organizing Committee for IC 2017
• Author of Toward Incremental Type Checking for Java within the Posters-track in SPLASH 2015
• Session Chair of Poster Reception Wednesday (part of SPLASH 2016 Posters)
• Author of A Sound and Optimal Incremental Build System with Dynamic Dependencies within the OOPSLA-track in SPLASH 2015
• Session Chair of Welcome (part of DSLDI 2015)
• Committee Member in Program Committee for ICSE 2018 New Ideas and Emerging Results
• Program Chair in Program Committee for DSLDI 2015
• Author of A Module-System Discipline for Model-Driven Software Development within the Research Papers-track in ‹Programming› 2017
• Committee Member in Organizing Committee for DSLDI
• Author of A Sound and Optimal Incremental Build System within the OOPSLA Artifacts-track in SPLASH 2015
• Posters Co-Chair in Organizing Committee for SPLASH 2016 Posters
• Author of CPL: A Core Language for Cloud Computing within the Research Results-track in Modularity 2016
• Program Chair in Program Committee for GPCE 2017
• Author of A Co-contextual Type Checker for Featherweight Java within the ECOOP Research Papers-track in ECOOP 2017
• Committee Member in Program Committee for Onward! Papers
• Program Chair in Organizers for DSLDI
• Committee Member in Program Committee for PLATEAU
• Committee Member in Program Committee for META 2017
• Author of Privacy-aware Distributed Incremental Computation within the IC 2017-track in IC 2017
• Panelist of Panel Discussion: Language Composition within the DSLDI-track in DSLDI 2015
• Program Chair in Organizing Committee for GPCE 2017
• Session Chair of Session 5 (part of SPLASH 2016 SPLASH-I)
• invited speaker of Invited Talk: PhD Reflections within the Doctoral Symposium-track in ECOOP 2016
• Author of i3QL: Language-Integrated Live Data Views within the OOPSLA-track in SPLASH 2014
• Author of The IDE Portability Problem and Its Solution in Monto within the SLE-track in SLE 2016
• Session Chair of Domain-Specific Languages II (part of PEPM 2016 )
• Author of Introduction within the DSLDI-track in DSLDI 2015
• Presenter of i3QL: Language-Integrated Live Data Views within the OOPSLA Artifacts-track in SPLASH 2014
• Author of Sound Type-dependent Syntactic Language Extension within the Research Papers-track in POPL 2016