conf.researchr.org / 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
2025
2024
GPCE
SPLASH
- Author of SIGPLAN-M Introduction within the PLMW-track
- Author of Object-Oriented Fixpoint Programming with Datalog within the OOPSLA 2024-track
- Author of AUTOINC: Incrementality for Free within the Posters-track
- Author of A Typed Multi-Level Datalog IR and its Compiler Framework within the OOPSLA 2024-track
- Author of SIGPLAN-M lunch within the DEI Activities-track
Unsound
2023
GPCE
SPLASH
ICFP
- Author of Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters within the ICFP Papers and Events-track
- Author of Combinator-Based Fixpoint Algorithms for Big-Step Abstract Interpreters within the Artifact Evaluation-track
- Committee Member in Program Committee within the ICFP Papers and Events-track
ECOOP
ISSTA
2022
GPCE
ECOOP
- 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
2021
GPCE
ECOOP/ISSTA
- 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
2020
SPLASH
2019
SPLASH
- 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
Incremental Computing
- 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
ECOOP
2018
SLE
SPLASH
- 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
ICFP
Scala
ECOOP/ISSTA
2017
META
GPCE
ECOOP
Incremental Computing
‹Programming›
2016
LWC@SLE
SPLASH
- 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
SLE
ECOOP
Language Modularity à La Mode
2015
SPLASH
- 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