♂ Person: Sebastian Erdweg

DBLP: Erdweg:Sebastian

Facilitated 2 volumes:

PrCo

Ed

Contributed to:

2015

2015

2015

2014

2014

2014

2013

2013

2013

2013

2012

2012

2012

2011

2011

2011

2016

2016

2016

2018

2018

2019

2012

2017

2018

2019

2016

2016

2018

Wrote 38 papers:

OOPSLA-2015-ErdwegBKKM #incremental #type checking

A co-contextual formulation of type rules and its application to incremental type checking (SE, OB, EK, MK, MM), pp. 880–897.

OOPSLA-2015-ErdwegLW #dependence #incremental

A sound and optimal incremental build system with dynamic dependencies (SE, ML, MW), pp. 89–106.

Onward-2015-ArztNABEM #encryption #integration #towards

Towards secure integration of cryptographic software (SA, SN, KA, EB, SE, MM), pp. 1–13.

Onward-2015-GreweEWM #performance #proving #type system

Type systems for the masses: deriving soundness proofs and efficient checkers (SG, SE, PW, MM), pp. 137–150.

SLE-2015-RitschelE #composition #program transformation

Modular capture avoidance for program transformations (NR, SE), pp. 59–70.

ECOOP-2014-ErdwegSD #program transformation

Capture-Avoiding and Hygienic Program Transformations (SE, TvdS, YD), pp. 489–514.

ICMT-2014-InostrozaSE #program transformation #string

Tracing Program Transformations with String Origins (PI, TvdS, SE), pp. 154–169.

OOPSLA-2014-MitschkeEKMS #named

i3QL: language-integrated live data views (RM, SE, MK, MM, GS), pp. 417–432.

EDOC-2013-AlyCEM #interface #multi #named

XPoints: Extension Interfaces for Multilayered Applications (MA, AC, SE, MM), pp. 237–246.

GPCE-2013-ErdwegR #framework

A framework for extensible languages (SE, FR), pp. 3–12.

GPCE-2013-MartinME #reuse

Template constructors for reusable object initialization (MM, MM, SE), pp. 43–52.

ICFP-2013-LorenzenE #automation #composition #verification

Modular and automated type-soundness verification for language extensions (FL, SE), pp. 331–342.

SLE-2013-ErdwegSVBBCGHKLKMPPSSSVVVWW #challenge #language workbench #state of the art

The State of the Art in Language Workbenches — Conclusions from the Language Workbench Challenge (SE, TvdS, MV, MB, RB, WRC, AG, AH, SK, AL, GDPK, PJM, MP, RP, ES, KS, RS, VAV, EV, KvdV, GW, JvdW), pp. 197–217.

SLE-2013-FehrenbachEO #domain-specific language #evolution

Software Evolution to Domain-Specific Languages (SF, SE, KO), pp. 96–116.

LDTA-2012-ErdwegGR #composition

Language composition untangled (SE, PGG, TR), p. 7.

OOPSLA-2012-KastnerOE #variability

A variability-aware module system (CK, KO, SE), pp. 773–792.

SLE-2012-ErdwegRKO #generalised parsing #parsing

Layout-Sensitive Generalized Parsing (SE, TR, CK, KO), pp. 244–263.

GPCE-2011-ErdwegKRKOV #editing #library

Growing a language environment with editor libraries (SE, LCLK, TR, CK, KO, EV), pp. 167–176.

OOPSLA-2011-ErdwegRKO #named

SugarJ: library-based syntactic language extensibility (SE, TR, CK, KO), pp. 391–406.

OOPSLA-2011-KastnerGREOB #compilation #metaprogramming #parsing #variability

Variability-aware parsing in the presence of lexical macros and conditional compilation (CK, PGG, TR, SE, KO, TB), pp. 805–824.

SPLC-2011-ThumKES #feature model #modelling

Abstract Features in Feature Modeling (TT, CK, SE, NS), pp. 191–200.

ASE-2016-SzaboAVE #analysis #data flow #framework

An extensible framework for variable-precision data-flow analyses in MPS (TS, SA, MV, SE), pp. 870–875.

ASE-2016-SzaboEV #analysis #domain-specific language #incremental #named

IncA: a DSL for the definition of incremental program analyses (TS, SE, MV), pp. 320–331.

GPCE-2016-KonatEV #metalanguage

Bootstrapping domain-specific meta-languages in language workbenches (GK, SE, EV), pp. 47–58.

SLE-2016-AmorimEWV #code completion #using

Principled syntactic code completion using placeholders (LEdSA, SE, GW, EV), pp. 163–175.

SLE-2016-KeidelPE #ide #problem

The IDE portability problem and its solution in Monto (SK, WP, SE), pp. 152–162.

SLE-2016-VoelterSLKEB #consistency #development #editing #performance #projectional #using

Efficient development of consistent projectional editors using grammar cells (MV, TS, SL, BK, SE, TB), pp. 28–40.

ASE-2018-KonatEV #dependence #incremental #scalability

Scalable incremental building with dynamic task dependencies (GK, SE, EV), pp. 76–86.

SLE-2018-AmorimSEV #declarative #parsing #pretty-printing #specification

Declarative specification of indentation rules: a tooling perspective on parsing and pretty-printing layout-sensitive languages (LEdSA, MJS, SE, EV), pp. 3–15.

SLE-2019-PacakE #generative #incremental

Generating incremental type services (AP, SE), pp. 197–201.

Haskell-2012-ErdwegRRO #haskell

Layout-sensitive language extensibility with SugarHaskell (SE, FR, TR, KO), pp. 149–160.

ECOOP-2017-KuciEBBM #java

A Co-contextual Type Checker for Featherweight Java (EK, SE, OB, AB, MM), p. 26.

OOPSLA-2018-SzaboBEV #analysis #datalog

Incrementalizing lattice-based program analyses in Datalog (TS, GB, SE, MV), p. 29.

OOPSLA-2019-KeidelE #abstract interpretation #component #reuse

Sound and reusable components for abstract interpretation (SK, SE), p. 28.

OOPSLA-2019-SalvaneschiKSHE #distributed #privacy #query

Language-integrated privacy-aware distributed queries (GS, MK, DS, PH, SE, MM), p. 30.

POPL-2016-LorenzenE

Sound type-dependent syntactic language extension (FL, SE), pp. 204–216.

PPDP-2016-GreweERM #compilation #first-order #logic #specification

Exploration of language specifications by compilation to first-order logic (SG, SE, MR, MM), pp. 104–117.

PPDP-2018-GreweEPM #automation #framework #proving #theorem proving

System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers (SG, SE, AP, MM), p. 10.