BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Estonia
1 × Greece
1 × Sweden
1 × United Kingdom
10 × USA
2 × Germany
2 × The Netherlands
Collaborated with:
M.Mezini K.Ostermann T.Rendel C.Kästner E.Visser F.Lorenzen T.Szabó M.Voelter S.Keidel S.Grewe F.Rieger A.Pacak T.v.d.Storm G.Konat N.Ritschel P.G.Giarrusso O.Bracevac E.Kuci M.Köhler G.Salvaneschi M.Lichter M.Weiel Y.Dai P.Inostroza M.Martin S.Fehrenbach T.Berger W.Pfeiffer G.Wachsmuth P.Wittmann M.Aly A.Charfi T.Thüm N.Siegmund S.Alperovich L.E.d.S.Amorim L.E.d.S.Amorim M.J.Steindorfer G.Bergmann Michael Raulf M.Krebs R.Mitschke A.Bejleri S.Arzt S.Nadi K.Ali E.Bodden L.C.L.Kats S.Lisson B.Kolb Daniel Sokolowski P.Haller M.Völter M.Boersma R.Bosman W.R.Cook A.Gerritsen A.Hulshout S.Kelly A.Loh G.D.P.Konat P.J.Molina M.Palatnik R.Pohjonen E.Schindler K.Schindler R.Solmi V.A.Vergu K.v.d.Vlist J.v.d.Woning
Talks about:
languag (16) extens (7) type (7) increment (6) program (5) sound (5) system (4) specif (4) workbench (3) transform (3)

♂ Person: Sebastian Erdweg

DBLP DBLP: Erdweg:Sebastian

Facilitated 2 volumes:

SLE 2015PrCo
GPCE 2017Ed

Contributed to:

OOPSLA 20152015
Onward! 20152015
SLE 20152015
ECOOP 20142014
ICMT 20142014
OOPSLA 20142014
EDOC 20132013
GPCE 20132013
ICFP 20132013
SLE 20132013
LDTA 20122012
OOPSLA 20122012
SLE 20122012
GPCE 20112011
OOPSLA 20112011
SPLC 20112011
ASE 20162016
GPCE 20162016
SLE 20162016
ASE 20182018
SLE 20182018
SLE 20192019
Haskell 20122012
ECOOP 20172017
OOPSLA 20182018
OOPSLA 20192019
POPL 20162016
PPDP 20162016
PPDP 20182018

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.