Travelled to:1 × China
1 × Denmark
1 × Estonia
1 × Italy
1 × Japan
1 × Poland
1 × United Kingdom
13 × USA
2 × Portugal
2 × Sweden
3 × Germany
3 × The Netherlands
Collaborated with:S.Chen ∅ E.Walkingshaw R.Abraham T.Bauer D.Ren K.Smeltzer Z.Fu G.Engels S.Kollmansberger Sheng Chen 0008 R.Gopinath A.Fern J.Pinto M.M.Burnett W.Allen R.A.Metoyer B.Pflaum J.Bals F.Christ I.Cooperstein John Peter Campora III C.Kästner S.Apel E.Bodden J.Cunha M.Dan D.Fedorin A.Grejuc
Talks about:program (12) type (12) spreadsheet (8) variat (7) calculus (4) languag (4) infer (4) data (4) generic (3) generat (3)
♂ Person: Martin Erwig
DBLP: Erwig:Martin
Facilitated 6 volumes:
SCoPrCoSCoEdPrCh
EdContributed to:
2014
2014
2014
20142014
2014
201220122012
201120112011
2011201020102009
2007
20072006
20062006
2006
200520052004
2003200220011997
199719962018
20062012
201620162018Wrote 39 papers:
- FLOPS-2014-ChenE #debugging
- Guided Type Debugging (SC, ME), pp. 35–51.
- GPCE-2014-SmeltzerEM #approach #visualisation
- A transformational approach to data visualization (KS, ME, RAM), pp. 53–62.
- ICFP-2014-ChenE #analysis #parametricity #product line #type system
- Type-based parametric analysis of program families (SC, ME), pp. 39–51.
- Onward-2014-WalkingshawKEAB #data type #trade-off #variability
- Variational Data Structures: Exploring Tradeoffs in Computing with Variability (EW, CK, ME, SA, EB), pp. 213–226.
- PEPM-2014-0008E #c++ #detection #fault
- Early detection of type errors in C++ templates (SC, ME), pp. 133–144.
- POPL-2014-ChenE #debugging #fault #type system
- Counter-factual typing for debugging type errors (SC, ME), pp. 583–594.
- FASE-2012-ErwigG #regular expression
- Explanations for Regular Expressions (ME, RG), pp. 394–408.
- GPCE-2012-BauerEFP #adaptation #performance
- Faster program adaptation through reward attribution inference (TB, ME, AF, JP), pp. 103–111.
- GPCE-2012-WalkingshawE #calculus #implementation #modelling
- A calculus for modeling and implementing variation (EW, ME), pp. 132–140.
- ICFP-2012-ChenEW #type system #λ-calculus
- An error-tolerant type system for variational λ calculus (SC, ME, EW), pp. 29–40.
- GTTSE-2011-ErwigW #calculus #programming
- Variation Programming with the Choice Calculus (ME, EW), pp. 55–100.
- PEPM-2011-BauerEFP #adaptation #java #programming
- Adaptation-based programming in java (TB, ME, AF, JP), pp. 81–90.
- SLE-2011-ErwigW #design #exclamation #process #semantics
- Semantics First! — Rethinking the Language Design Process (ME, EW), pp. 243–262.
- SPLC-2011-ChenE #optimisation #process
- Optimizing the Product Derivation Process (SC, ME), pp. 35–44.
- GPCE-2010-Erwig #research #variability
- A language for software variation research (ME), pp. 3–12.
- SLE-2010-Erwig #research #variability
- A Language for Software Variation Research (ME), p. 1.
- SLE-2009-BauerE #declarative #haskell
- Declarative Scripting in Haskell (TB, ME), pp. 294–313.
- ICSE-2007-AbrahamE #debugging #named #spreadsheet
- GoalDebug: A Spreadsheet Debugger for End Users (RA, ME), pp. 251–260.
- TOOLS-EUROPE-2007-BalsCEE #design #modelling #named #object-oriented #spreadsheet
- ClassSheets — model-based, object-oriented design of spreadsheet applications (JCB, FC, GE, ME), pp. 383–398.
- ICSE-2006-AbrahamE #spreadsheet
- Inferring templates from spreadsheets (RA, ME), pp. 182–191.
- PADL-2006-ErwigK #evolution #modelling #probability #programming
- Modeling Genome Evolution with a DSEL for Probabilistic Programming (ME, SK), pp. 134–149.
- PEPM-2006-ErwigFP #fortran #programming
- Generic programming in Fortran (ME, ZF, BP), pp. 130–139.
- PPDP-2006-AbrahamE #spreadsheet #type inference
- Type inference for spreadsheets (RA, ME), pp. 73–84.
- ASE-2005-EngelsE #automation #generative #named #object-oriented #specification #spreadsheet
- ClassSheets: automatic generation of spreadsheet applications from object-oriented specifications (GE, ME), pp. 124–133.
- ICSE-2005-ErwigACK #automation #generative #maintenance #spreadsheet
- Automatic generation and maintenance of correct spreadsheets (ME, RA, IC, SK), pp. 136–145.
- PADL-2004-ErwigF #fortran #generative #parametricity
- Parametric Fortran — A Program Generator for Customized Generic Fortran Extensions (ME, ZF), pp. 209–223.
- ESOP-2003-ErwigR #programming #type safety
- Programming Type-Safe Program Updates (ME, DR), pp. 269–283.
- PADL-2002-ErwigB
- Adding Apples and Oranges (ME, MMB), pp. 173–191.
- ASE-2001-Erwig #data type #source code
- Programs Are Abstract Data Types (ME), pp. 400–403.
- ICFP-1997-Erwig #functional #graph #programming
- Functional Programming with Graphs (ME), pp. 52–65.
- IFL-1997-Erwig #graph #persistent #question
- Fully Persistent Graphs — Which One To Choose? (ME), pp. 123–140.
- IFL-1996-Erwig
- Active Patterns (ME), pp. 21–40.
- GPCE-2018-CunhaDEFG #spreadsheet
- Explaining spreadsheets with spreadsheets (short paper) (JC, MD, ME, DF, AG), pp. 161–167.
- GPCE-2018-SmeltzerE #domain-specific language #visualisation
- A domain-specific language for exploratory data visualization (KS, ME), pp. 1–13.
- Haskell-2006-RenE #haskell #recursion #scrap your boilerplate
- A generic recursion toolbox for Haskell or: scrap your boilerplate systematically (DR, ME), pp. 13–24.
- Haskell-2012-AllenE #named #representation
- Surveyor: a DSEL for representing and analyzing strongly typed surveys (WA, ME), pp. 81–90.
- ECOOP-2016-ChenEW #calculus #programming
- A Calculus for Variational Programming (SC, ME, EW), p. 28.
- POPL-2016-0008E #data type #type inference
- Principal type inference for GADTs (SC0, ME), pp. 416–428.
- POPL-2018-Campora0EW #migration
- Migrating gradual types (JPCI, SC0, ME, EW), p. 29.