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: Tanter:=Eacute=ric
Contributed to:
2015
2015
20142014
2012
2012201220112011
2011
20112011
2010
200820072006200520042003200220172018
201620172019Wrote 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.
- OOPSLA-2011-SunshineNSAT
- 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.