Éric Tanter

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 58

Top Venues

CoRR

Proc. ACM Program. Lang.

Sci. Comput. Program.

ACM Trans. Program. Lang. Syst.

Publications

Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Martínez, Exequiel Rivas, Éric Tanter, Théo Winterhalter
Securing Verified IO Programs Against Unverified Code in F. Proc. ACM Program. Lang. 8 (POPL) (2024)
Matías Toro, Federico Olmedo, Éric Tanter
Gradual Differentially Private Programming. Commun. ACM 67 (8) (2024)
Damián Árquez, Matías Toro, Éric Tanter
Gradual Sensitivity Typing. CoRR (2023)
Matías Toro, David Darais, Chike Abuah, Joseph P. Near, Damián Árquez, Federico Olmedo, Éric Tanter
Contextual Linear Types for Differential Privacy. ACM Trans. Program. Lang. Syst. 45 (2) (2023)
Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, Éric Tanter
A reasonably gradual type theory. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Joseph Eremondi, Ronald Garcia, Éric Tanter
Propositional equality for gradual dependently typed programming. Proc. ACM Program. Lang. 6 (ICFP) (2022)
Elizabeth Labrada, Matías Toro, Éric Tanter
Gradual System F. J. ACM 69 (5) (2022)
Jenna DiVincenzo, Ian McCormack, Hemant Gouni, Jacob Gorenburg, Mona Zhang, Conrad Zimmerman, Joshua Sunshine, Éric Tanter, Jonathan Aldrich
Gradual C0: Symbolic Execution for Efficient Gradual Verification. CoRR (2022)
Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, Éric Tanter
A Reasonably Gradual Type Theory. CoRR (2022)
Joseph Eremondi, Ronald Garcia, Éric Tanter
Propositional Equality for Gradual Dependently Typed Programming. CoRR (2022)
Elizabeth Labrada, Matías Toro, Éric Tanter, Dominique Devriese
Plausible sealing for gradual parametricity. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter
Gradualizing the Calculus of Inductive Constructions. ACM Trans. Program. Lang. Syst. 44 (2) (2022)
Joseph Eremondi, Ronald Garcia, Éric Tanter
Approximate Normalization and Eager Equality Checking for Gradual Inductive Families. CoRR (2021)
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
An Extended Account of Trace-relating Compiler Correctness and Secure Compilation. ACM Trans. Program. Lang. Syst. 43 (4) (2021)
Nicolas Tabareau, Éric Tanter, Matthieu Sozeau
The Marriage of Univalence and Parametricity. J. ACM 68 (1) (2021)
Stefan Malewski, Michael Greenberg, Éric Tanter
Gradually structured data. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Kenji Maillard, Nicolas Margulies, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter
The Multiverse: Logical Modularity for Proof Assistants. CoRR (2021)
Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine
Gradual Program Analysis for Null Pointers. CoRR (2021)
Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine
Gradual Program Analysis for Null Pointers. ECOOP (2021)
Tomás Díaz, Federico Olmedo, Éric Tanter
A mechanized formalization of GraphQL. CPP (2020)
Éric Tanter
Review of "The Little Prover" by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015. J. Funct. Program. 30 (2020)
Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter
Gradualizing the Calculus of Inductive Constructions. CoRR (2020)
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
Trace-Relating Compiler Correctness and Secure Compilation. ESOP (2020)
Matías Toro, Éric Tanter
Abstracting Gradual References (SCICO Journal-first). ECOOP (2020)
Jenna Wise, Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, Joshua Sunshine
Gradual verification of recursive heap data structures. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Matías Toro, David Darais, Chike Abuah, Joe Near, Federico Olmedo, Éric Tanter
Contextual Linear Types for Differential Privacy. CoRR (2020)
Matías Toro, Ronald Garcia, Éric Tanter
Corrigendum to "Type-driven Gradual Security with References, " by Toro et al., ACM Transactions on Programming Languages and Systems (TOPLAS) Volume 40, Issue 4, Article No. 16. ACM Trans. Program. Lang. Syst. 42 (2) (2020)
Matías Toro, Éric Tanter
Abstracting gradual references. Sci. Comput. Program. 197 (2020)
Raimil Cruz, Éric Tanter
Polymorphic Relaxed Noninterference. CoRR (2019)
Nicolas Tabareau, Éric Tanter, Matthieu Sozeau
The Marriage of Univalence and Parametricity. CoRR (2019)
Carmine Abate, Roberto Blanco, Stefan Ciobaca, Deepak Garg, Catalin Hritcu, Marco Patrignani, Éric Tanter, Jérémy Thibault
Trace-Relating Compiler Correctness and Secure Compilation. CoRR (2019)
Raimil Cruz, Éric Tanter
Existential Types for Relaxed Noninterference. CoRR (2019)
Pierre-Marie Pédrot, Nicolas Tabareau, Hans Jacob Fehrmann, Éric Tanter
A reasonably exceptional type theory. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter
Dijkstra monads for all. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter
Dijkstra Monads for All. CoRR (2019)
Matías Toro, Elizabeth Labrada, Éric Tanter
Gradual parametricity, revisited. Proc. ACM Program. Lang. 3 (POPL) (2019)
Joseph Eremondi, Éric Tanter, Ronald Garcia
Approximate Normalization for Gradual Dependent Types. CoRR (2019)
Raimil Cruz, Éric Tanter
Polymorphic Relaxed Noninterference. SecDev (2019)
Nicolas Tabareau, Éric Tanter
Chemical foundations of distributed aspects. Distributed Comput. 32 (3) (2019)
Raimil Cruz, Éric Tanter
Existential Types for Relaxed Noninterference. APLAS (2019)
Joseph Eremondi, Éric Tanter, Ronald Garcia
Approximate normalization for gradual dependent types. Proc. ACM Program. Lang. 3 (ICFP) (2019)
Nicolas Tabareau, Éric Tanter, Matthieu Sozeau
Equivalences for free: univalent parametricity for effective transport. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Johannes Bader, Jonathan Aldrich, Éric Tanter
Gradual Program Verification. VMCAI (2018)
Matías Toro, Ronald Garcia, Éric Tanter
Type-Driven Gradual Security with References. ACM Trans. Program. Lang. Syst. 40 (4) (2018)
Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter
Foundations of dependent interoperability. J. Funct. Program. 28 (2018)
Matías Toro, Elizabeth Labrada, Éric Tanter
Gradual Parametricity, Revisited. CoRR (2018)
Niki Vazou, Éric Tanter, David Van Horn
Gradual liquid type inference. Proc. ACM Program. Lang. 2 (OOPSLA) (2018)
Niki Vazou, Éric Tanter, David Van Horn
Gradual Liquid Type Inference. CoRR (2018)
Martin Bodin, Tomás Diaz, Éric Tanter
A trustworthy mechanized formalization of R. DLS (2018)
Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter
Type Abstraction for Relaxed Noninterference. ECOOP (2017)
Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter
Type Abstraction for Relaxed Noninterference (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
Nico Lehmann, Éric Tanter
Gradual refinement types. POPL (2017)
Matías Toro, Éric Tanter
A Gradual Interpretation of Union Types. SAS (2017)
Ismael Figueroa, Nicolas Tabareau, Éric Tanter
Effect capabilities for Haskell: Taming effect interference in monadic programming. Sci. Comput. Program. 119 (2016)
Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter
Gradual type-and-effect systems. J. Funct. Program. 26 (2016)
Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter
Partial type equivalences for verified dependent interoperability. ICFP (2016)
Walter Binder, Philippe Moret, Éric Tanter, Danilo Ansaloni
Polymorphic bytecode instrumentation. Softw. Pract. Exp. 46 (10) (2016)
Ronald Garcia, Alison M. Clark, Éric Tanter
Abstracting gradual typing. POPL (2016)
Matías Toro, Éric Tanter
Customizable gradual polymorphic effects for Scala. OOPSLA (2015)
Romain Robbes, David Röthlisberger, Éric Tanter
Object-oriented software extensions in practice. Empir. Softw. Eng. 20 (3) (2015)
Ronald Garcia, Éric Tanter
Deriving a Simple Gradual Security Language. CoRR (2015)
Johan Fabry, Tom Dinkelaker, Jacques Noyé, Éric Tanter
A Taxonomy of Domain-Specific Aspect Languages. ACM Comput. Surv. 47 (3) (2015)
Paul Leger, Éric Tanter, Hiroaki Fukuda
An expressive stateful aspect language. Sci. Comput. Program. 102 (2015)
Éric Tanter, Nicolas Tabareau
Gradual certified programming in Coq. DLS (2015)
Meiyappan Nagappan, Romain Robbes, Yasutaka Kamei, Éric Tanter, Shane McIntosh, Audris Mockus, Ahmed E. Hassan
An empirical study of goto in C code from GitHub repositories. ESEC/SIGSOFT FSE (2015)
Christophe Scholliers, Éric Tanter, Wolfgang De Meuter
Computational contracts. Sci. Comput. Program. 98 (2015)
Éric Tanter, Nicolas Tabareau
Gradual Certified Programming in Coq. CoRR (2015)
Meiyappan Nagappan, Romain Robbes, Yasutaka Kamei, Éric Tanter, Shane McIntosh, Audris Mockus, Ahmed E. Hassan
An empirical study of goto in C code. PeerJ Prepr. 3 (2015)
Éric Tanter, Ismael Figueroa, Nicolas Tabareau
Execution levels for aspect-oriented programming: Design, semantics, implementations and applications. Sci. Comput. Program. 80 (2014)
Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau, Éric Tanter
Compositional reasoning about aspect interference. MODULARITY (2014)
Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter
A theory of gradual effect systems. ICFP (2014)
Nicolas Tabareau, Mario Südholt, Éric Tanter
Aspectual session types. MODULARITY (2014)
Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich
Foundations of Typestate-Oriented Programming. ACM Trans. Program. Lang. Syst. 36 (4) (2014)
Eric Bodden, Éric Tanter, Milton Inostroza
Join point interfaces for safe and flexible decoupling of aspects. ACM Trans. Softw. Eng. Methodol. 23 (1) (2014)
Esteban Allende, Oscar Callaú, Johan Fabry, Éric Tanter, Marcus Denker
Gradual typing for Smalltalk. Sci. Comput. Program. 96 (2014)
Oscar Callaú, Romain Robbes, Éric Tanter, David Röthlisberger, Alexandre Bergel
On the use of type predicates in object-oriented software: the case of Smalltalk. DLS (2014)
Stefan Hanenberg, Sebastian Kleinschmager, Romain Robbes, Éric Tanter, Andreas Stefik
An empirical study on the impact of static typing on software maintainability. Empir. Softw. Eng. 19 (5) (2014)
Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter
Confined gradual typing. OOPSLA (2014)
Ismael Figueroa, Nicolas Tabareau, Éric Tanter
Effect Capabilities for Haskell. SBLP (2014)
Christophe Scholliers, Éric Tanter, Wolfgang De Meuter
Parallel actor monitors: Disentangling task-level parallelism from data partitioning in the actor model. Sci. Comput. Program. 80 (2014)
Oscar Callaú, Romain Robbes, Éric Tanter, David Röthlisberger
How (and why) developers use the dynamic features of programming languages: the case of smalltalk. Empir. Softw. Eng. 18 (6) (2013)
Éric Tanter
Taming aspects. VariComp@AOSD (2013)
Oscar Callaú, Éric Tanter
Programming with Ghosts. IEEE Softw. 30 (1) (2013)
Ismael Figueroa, Nicolas Tabareau, Éric Tanter
Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice. LNCS Trans. Aspect Oriented Softw. Dev. 11 (2013)
Ismael Figueroa, Nicolas Tabareau, Éric Tanter
Taming aspects with monads and membranes. FOAL (2013)
Nicolas Tabareau, Ismael Figueroa, Éric Tanter
A typed monadic embedding of aspects. AOSD (2013)
Esteban Allende, Johan Fabry, Éric Tanter
Cast insertion strategies for gradually-typed objects. DLS (2013)
Paul Leger, Éric Tanter, Rémi Douence
Modular and flexible causality control on the Web. Sci. Comput. Program. 78 (9) (2013)
Eric Bodden, Éric Tanter, Milton Inostroza
A brief tour of join point interfaces. AOSD (Companion) (2013)
Rodolfo Toledo, Éric Tanter
Secure and modular access control with aspects. AOSD (2013)
Paul Leger, Éric Tanter
A self-replication algorithm to flexibly match execution traces. FOAL (2012)
Romain Robbes, David Röthlisberger, Éric Tanter
Extensions during Software Evolution: Do Objects Meet Their Promise? ECOOP (2012)
Sebastian Kleinschmager, Stefan Hanenberg, Romain Robbes, Éric Tanter, Andreas Stefik
Do static type systems improve the maintainability of software systems? An empirical study. ICPC (2012)
Éric Tanter, Nicolas Tabareau, Rémi Douence
Taming aspects with membranes. FOAL (2012)
Clemens Mayer, Stefan Hanenberg, Romain Robbes, Éric Tanter, Andreas Stefik
An empirical study of the influence of static type systems on the usability of undocumented software. OOPSLA (2012)
Rodolfo Toledo, Angel Núñez, Éric Tanter, Jacques Noyé
Aspectizing Java Access Control. IEEE Trans. Software Eng. 38 (1) (2012)
Ismael Figueroa, Éric Tanter, Nicolas Tabareau
A practical monadic aspect weaver. FOAL (2012)
Philippe Moret, Walter Binder, Éric Tanter
Polymorphic bytecode instrumentation. AOSD (2011)
Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich
Gradual Typestate. ECOOP (2011)
Christophe Scholliers, Dries Harnie, Éric Tanter, Wolfgang De Meuter, Theo D'Hondt
Ambient contracts: verifying and enforcing ambient object compositions à la carte. Pers. Ubiquitous Comput. 15 (4) (2011)

Éric Tanter.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Éric Tanter