BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Canada
1 × China
1 × Estonia
1 × Germany
1 × Hungary
1 × Italy
1 × Norway
1 × Sweden
1 × The Netherlands
1 × United Kingdom
9 × USA
Collaborated with:
G.Pothier R.Garcia R.Robbes J.Noyé M.Toro D.Röthlisberger J.M.Piquer D.Caromel J.Aldrich Nico Lehmann S.Hanenberg A.Stefik R.Wolff F.B.Schwerter M.Inostroza E.Bodden M.Bravenboer E.Visser L.Mateu N.Vazou D.V.Horn Alison M. Clark Elizabeth Labrada K.Naden S.Stork J.Sunshine E.Allende J.Fabry O.Callaú P.Moret W.Binder D.Ansaloni P.Cointe M.Ségura-Devillechaise Raimil Cruz T.Rezk B.P.Serpette S.Kleinschmager C.Mayer M.Nagappan Y.Kamei S.McIntosh A.Mockus A.E.Hassan M.Hahnenberg M.Mohr D.Saini
Talks about:
gradual (8) type (7) program (4) system (4) softwar (3) languag (3) aspect (3) studi (3) empir (3) debug (3)

Person: Éric Tanter

DBLP DBLP: Tanter:=Eacute=ric

Contributed to:

ESEC/FSE 20152015
OOPSLA 20152015
ICFP 20142014
OOPSLA 20142014
ECOOP 20122012
ICPC 20122012
OOPSLA 20122012
ECOOP 20112011
ESEC/FSE 20112011
ICSE 20112011
MSR 20112011
OOPSLA 20112011
GPCE 20102010
SAC 20082008
OOPSLA 20072007
OOPSLA 20062006
GPCE 20052005
ECOOP 20042004
OOPSLA 20032003
GPCE 20022002
ECOOP 20172017
OOPSLA 20182018
POPL 20162016
POPL 20172017
POPL 20192019

Wrote 26 papers:

ESEC-FSE-2015-NagappanRKTMMH #c #empirical #git #goto #repository
An empirical study of goto in C code from GitHub repositories (MN, RR, YK, ÉT, SM, AM, AEH), pp. 404–414.
OOPSLA-2015-ToroT #polymorphism #scala
Customizable gradual polymorphic effects for Scala (MT, ÉT), pp. 935–953.
ICFP-2014-SchwerterGT #formal method
A theory of gradual effect systems (FBS, RG, ÉT), pp. 283–295.
OOPSLA-2014-AllendeFGT #type system
Confined gradual typing (EA, JF, RG, ÉT), pp. 251–270.
ECOOP-2012-RobbesRT #evolution #question
Extensions during Software Evolution: Do Objects Meet Their Promise? (RR, DR, ÉT), pp. 28–52.
ICPC-2012-KleinschmagerHRS #empirical #maintenance #static typing #type system
Do static type systems improve the maintainability of software systems? An empirical study (SK, SH, RR, ÉT, AS), pp. 153–162.
OOPSLA-2012-MayerHRTS #empirical #static typing #type system #usability
An empirical study of the influence of static type systems on the usability of undocumented software (CM, SH, RR, ÉT, AS), pp. 683–702.
ECOOP-2011-PothierT #debugging #query #scalability
Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging (GP, ÉT), pp. 558–582.
ECOOP-2011-WolffGTA #type system
Gradual Typestate (RW, RG, ÉT, JA), pp. 459–483.
ESEC-FSE-2011-InostrozaTB #aspect-oriented #composition #interface #reasoning #source code
Join point interfaces for modular reasoning in aspect-oriented programs (MI, ÉT, EB), pp. 508–511.
ICSE-2011-AldrichGHMNSSSTW #programming language
Permission-based programming languages (JA, RG, MH, MM, KN, DS, SS, JS, ÉT, RW), pp. 828–831.
MSR-2011-CallauRTR #developer #how #programming language #smalltalk
How developers use the dynamic features of programming languages: the case of smalltalk (OC, RR, ÉT, DR), pp. 23–32.
First-class state change in plaid (JS, KN, SS, JA, ÉT), pp. 713–732.
GPCE-2010-TanterMBA #aspect-oriented #composition #dynamic analysis
Composition of dynamic analysis aspects (ÉT, PM, WB, DA), pp. 113–122.
SAC-2008-PothierT #aspect-oriented #debugging #programming
Extending omniscient debugging to support aspect-oriented programming (GP, ÉT), pp. 266–270.
OOPSLA-2007-PothierTP #debugging #scalability
Scalable omniscient debugging (GP, ÉT, JMP), pp. 535–552.
OOPSLA-2006-BravenboerTV #aspectj #declarative #syntax
Declarative, formal, and extensible syntax definition for aspectJ (MB, ÉT, EV), pp. 209–228.
GPCE-2005-TanterN #aspect-oriented #kernel #multi
A Versatile Kernel for Multi-language AOP (ÉT, JN), pp. 173–188.
ECOOP-2004-CaromelMT #monitoring
Sequential Object Monitors (DC, LM, ÉT), pp. 316–340.
OOPSLA-2003-TanterNCC #behaviour
Partial behavioral reflection: spatial and temporal selection of reification (ÉT, JN, DC, PC), pp. 27–46.
GPCE-2002-TanterSNP #bytecode #java #semantics
Altering Java Semantics via Bytecode Manipulation (ÉT, MSD, JN, JMP), pp. 283–298.
ECOOP-2017-CruzRST #abstraction
Type Abstraction for Relaxed Noninterference (RC, TR, BPS, ÉT), p. 27.
OOPSLA-2018-VazouTH #type inference
Gradual liquid type inference (NV, ÉT, DVH), p. 25.
POPL-2016-GarciaCT #type system
Abstracting gradual typing (RG, AMC, ÉT), pp. 429–442.
POPL-2017-LehmannT #refinement
Gradual refinement types (NL, ÉT), pp. 775–788.
POPL-2019-ToroLT #parametricity #revisited
Gradual parametricity, revisited (MT, EL, ÉT), p. 30.

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.