default search action
Éric Tanter
Person information
- affiliation: University of Chile, Santiago, Chile
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j60]Matías Toro, Federico Olmedo, Éric Tanter:
Gradual Differentially Private Programming. Commun. ACM 67(8): 49-53 (2024) - [j59]Mara Malewski, Kenji Maillard, Nicolas Tabareau, Éric Tanter:
Gradual Indexed Inductive Types. Proc. ACM Program. Lang. 8(ICFP): 544-572 (2024) - [j58]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): 2226-2259 (2024) - 2023
- [j57]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): 8:1-8:69 (2023) - [i20]Damián Árquez, Matías Toro, Éric Tanter:
Gradual Sensitivity Typing. CoRR abs/2308.02018 (2023) - 2022
- [j56]Elizabeth Labrada, Matías Toro, Éric Tanter:
Gradual System F. J. ACM 69(5): 38:1-38:78 (2022) - [j55]Joseph Eremondi, Ronald Garcia, Éric Tanter:
Propositional equality for gradual dependently typed programming. Proc. ACM Program. Lang. 6(ICFP): 165-193 (2022) - [j54]Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, Éric Tanter:
A reasonably gradual type theory. Proc. ACM Program. Lang. 6(ICFP): 931-959 (2022) - [j53]Elizabeth Labrada, Matías Toro, Éric Tanter, Dominique Devriese:
Plausible sealing for gradual parametricity. Proc. ACM Program. Lang. 6(OOPSLA1): 1-28 (2022) - [j52]Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter:
Gradualizing the Calculus of Inductive Constructions. ACM Trans. Program. Lang. Syst. 44(2): 7:1-7:82 (2022) - [i19]Joseph Eremondi, Ronald Garcia, Éric Tanter:
Propositional Equality for Gradual Dependently Typed Programming. CoRR abs/2205.01241 (2022) - [i18]Kenji Maillard, Meven Lennon-Bertrand, Nicolas Tabareau, Éric Tanter:
A Reasonably Gradual Type Theory. CoRR abs/2209.00975 (2022) - [i17]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 abs/2210.02428 (2022) - 2021
- [j51]Nicolas Tabareau, Éric Tanter, Matthieu Sozeau:
The Marriage of Univalence and Parametricity. J. ACM 68(1): 5:1-5:44 (2021) - [j50]Stefan Malewski, Michael Greenberg, Éric Tanter:
Gradually structured data. Proc. ACM Program. Lang. 5(OOPSLA): 1-29 (2021) - [j49]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): 14:1-14:48 (2021) - [c75]Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine:
Gradual Program Analysis for Null Pointers. ECOOP 2021: 3:1-3:25 - [i16]Sam Estep, Jenna Wise, Jonathan Aldrich, Éric Tanter, Johannes Bader, Joshua Sunshine:
Gradual Program Analysis for Null Pointers. CoRR abs/2105.06081 (2021) - [i15]Joseph Eremondi, Ronald Garcia, Éric Tanter:
Approximate Normalization and Eager Equality Checking for Gradual Inductive Families. CoRR abs/2107.04859 (2021) - [i14]Kenji Maillard, Nicolas Margulies, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter:
The Multiverse: Logical Modularity for Proof Assistants. CoRR abs/2108.10259 (2021) - 2020
- [j48]Éric Tanter:
Review of "The Little Prover" by Daniel P. Friedman and Carl Eastlund, MIT Press, 2015. J. Funct. Program. 30: e6 (2020) - [j47]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): 228:1-228:28 (2020) - [j46]Matías Toro, Éric Tanter:
Abstracting gradual references. Sci. Comput. Program. 197: 102496 (2020) - [j45]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): 11:1-11:2 (2020) - [c74]Tomás Díaz, Federico Olmedo, Éric Tanter:
A mechanized formalization of GraphQL. CPP 2020: 201-214 - [c73]Matías Toro, Éric Tanter:
Abstracting Gradual References (SCICO Journal-first). ECOOP 2020: 33:1-33:4 - [c72]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: 1-28 - [i13]Matías Toro, David Darais, Chike Abuah, Joe Near, Federico Olmedo, Éric Tanter:
Contextual Linear Types for Differential Privacy. CoRR abs/2010.11342 (2020) - [i12]Meven Lennon-Bertrand, Kenji Maillard, Nicolas Tabareau, Éric Tanter:
Gradualizing the Calculus of Inductive Constructions. CoRR abs/2011.10618 (2020)
2010 – 2019
- 2019
- [j44]Nicolas Tabareau, Éric Tanter:
Chemical foundations of distributed aspects. Distributed Comput. 32(3): 193-216 (2019) - [j43]Joseph Eremondi, Éric Tanter, Ronald Garcia:
Approximate normalization for gradual dependent types. Proc. ACM Program. Lang. 3(ICFP): 88:1-88:30 (2019) - [j42]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): 104:1-104:29 (2019) - [j41]Pierre-Marie Pédrot, Nicolas Tabareau, Hans Jacob Fehrmann, Éric Tanter:
A reasonably exceptional type theory. Proc. ACM Program. Lang. 3(ICFP): 108:1-108:29 (2019) - [j40]Matías Toro, Elizabeth Labrada, Éric Tanter:
Gradual parametricity, revisited. Proc. ACM Program. Lang. 3(POPL): 17:1-17:30 (2019) - [c71]Raimil Cruz, Éric Tanter:
Existential Types for Relaxed Noninterference. APLAS 2019: 73-92 - [c70]Raimil Cruz, Éric Tanter:
Polymorphic Relaxed Noninterference. SecDev 2019: 101-113 - [i11]Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Catalin Hritcu, Exequiel Rivas, Éric Tanter:
Dijkstra Monads for All. CoRR abs/1903.01237 (2019) - [i10]Raimil Cruz, Éric Tanter:
Polymorphic Relaxed Noninterference. CoRR abs/1906.04830 (2019) - [i9]Joseph Eremondi, Éric Tanter, Ronald Garcia:
Approximate Normalization for Gradual Dependent Types. CoRR abs/1906.06469 (2019) - [i8]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 abs/1907.05320 (2019) - [i7]Nicolas Tabareau, Éric Tanter, Matthieu Sozeau:
The Marriage of Univalence and Parametricity. CoRR abs/1909.05027 (2019) - [i6]Raimil Cruz, Éric Tanter:
Existential Types for Relaxed Noninterference. CoRR abs/1911.04560 (2019) - 2018
- [j39]Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter:
Foundations of dependent interoperability. J. Funct. Program. 28: e9 (2018) - [j38]Nicolas Tabareau, Éric Tanter, Matthieu Sozeau:
Equivalences for free: univalent parametricity for effective transport. Proc. ACM Program. Lang. 2(ICFP): 92:1-92:29 (2018) - [j37]Niki Vazou, Éric Tanter, David Van Horn:
Gradual liquid type inference. Proc. ACM Program. Lang. 2(OOPSLA): 132:1-132:25 (2018) - [j36]Matías Toro, Ronald Garcia, Éric Tanter:
Type-Driven Gradual Security with References. ACM Trans. Program. Lang. Syst. 40(4): 16:1-16:55 (2018) - [c69]Martin Bodin, Tomás Diaz, Éric Tanter:
A trustworthy mechanized formalization of R. DLS 2018: 13-24 - [c68]Johannes Bader, Jonathan Aldrich, Éric Tanter:
Gradual Program Verification. VMCAI 2018: 25-46 - [i5]Niki Vazou, Éric Tanter, David Van Horn:
Gradual Liquid Type Inference. CoRR abs/1807.02132 (2018) - [i4]Matías Toro, Elizabeth Labrada, Éric Tanter:
Gradual Parametricity, Revisited. CoRR abs/1807.04596 (2018) - 2017
- [j35]Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter:
Type Abstraction for Relaxed Noninterference (Artifact). Dagstuhl Artifacts Ser. 3(2): 09:1-09:2 (2017) - [c67]Raimil Cruz, Tamara Rezk, Bernard P. Serpette, Éric Tanter:
Type Abstraction for Relaxed Noninterference. ECOOP 2017: 7:1-7:27 - [c66]Nico Lehmann, Éric Tanter:
Gradual refinement types. POPL 2017: 775-788 - [c65]Matías Toro, Éric Tanter:
A Gradual Interpretation of Union Types. SAS 2017: 382-404 - 2016
- [j34]Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter:
Gradual type-and-effect systems. J. Funct. Program. 26: e19 (2016) - [j33]Ismael Figueroa, Nicolas Tabareau, Éric Tanter:
Effect capabilities for Haskell: Taming effect interference in monadic programming. Sci. Comput. Program. 119: 3-30 (2016) - [j32]Walter Binder, Philippe Moret, Éric Tanter, Danilo Ansaloni:
Polymorphic bytecode instrumentation. Softw. Pract. Exp. 46(10): 1351-1380 (2016) - [c64]Pierre-Évariste Dagand, Nicolas Tabareau, Éric Tanter:
Partial type equivalences for verified dependent interoperability. ICFP 2016: 298-310 - [c63]Ronald Garcia, Alison M. Clark, Éric Tanter:
Abstracting gradual typing. POPL 2016: 429-442 - 2015
- [j31]Johan Fabry, Tom Dinkelaker, Jacques Noyé, Éric Tanter:
A Taxonomy of Domain-Specific Aspect Languages. ACM Comput. Surv. 47(3): 40:1-40:44 (2015) - [j30]Romain Robbes, David Röthlisberger, Éric Tanter:
Object-oriented software extensions in practice. Empir. Softw. Eng. 20(3): 745-782 (2015) - [j29]Christophe Scholliers, Éric Tanter, Wolfgang De Meuter:
Computational contracts. Sci. Comput. Program. 98: 360-375 (2015) - [j28]Paul Leger, Éric Tanter, Hiroaki Fukuda:
An expressive stateful aspect language. Sci. Comput. Program. 102: 108-141 (2015) - [c62]Éric Tanter, Nicolas Tabareau:
Gradual certified programming in Coq. DLS 2015: 26-40 - [c61]Matías Toro, Éric Tanter:
Customizable gradual polymorphic effects for Scala. OOPSLA 2015: 935-953 - [c60]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: 404-414 - [e9]Shigeru Chiba, Éric Tanter, Erik Ernst, Robert Hirschfeld:
Transactions on Aspect-Oriented Software Development XII. Lecture Notes in Computer Science 8989, Springer 2015, ISBN 978-3-662-46733-6 [contents] - [i3]Éric Tanter, Nicolas Tabareau:
Gradual Certified Programming in Coq. CoRR abs/1506.04205 (2015) - [i2]Ronald Garcia, Éric Tanter:
Deriving a Simple Gradual Security Language. CoRR abs/1511.01399 (2015) - [i1]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: e826 (2015) - 2014
- [j27]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): 1335-1382 (2014) - [j26]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: 52-64 (2014) - [j25]Éric Tanter, Ismael Figueroa, Nicolas Tabareau:
Execution levels for aspect-oriented programming: Design, semantics, implementations and applications. Sci. Comput. Program. 80: 311-342 (2014) - [j24]Esteban Allende, Oscar Callaú, Johan Fabry, Éric Tanter, Marcus Denker:
Gradual typing for Smalltalk. Sci. Comput. Program. 96: 52-69 (2014) - [j23]Ronald Garcia, Éric Tanter, Roger Wolff, Jonathan Aldrich:
Foundations of Typestate-Oriented Programming. ACM Trans. Program. Lang. Syst. 36(4): 12:1-12:44 (2014) - [j22]Eric Bodden, Éric Tanter, Milton Inostroza:
Join point interfaces for safe and flexible decoupling of aspects. ACM Trans. Softw. Eng. Methodol. 23(1): 7:1-7:41 (2014) - [c59]Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau, Éric Tanter:
Compositional reasoning about aspect interference. MODULARITY 2014: 133-144 - [c58]Nicolas Tabareau, Mario Südholt, Éric Tanter:
Aspectual session types. MODULARITY 2014: 193-204 - [c57]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: 135-146 - [c56]Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter:
A theory of gradual effect systems. ICFP 2014: 283-295 - [c55]Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter:
Confined gradual typing. OOPSLA 2014: 251-270 - [c54]Ismael Figueroa, Nicolas Tabareau, Éric Tanter:
Effect Capabilities for Haskell. SBLP 2014: 92-108 - [e8]Shigeru Chiba, Éric Tanter, Eric Bodden, Shahar Maoz, Jörg Kienzle:
Transactions on Aspect-Oriented Software Development XI. Lecture Notes in Computer Science 8400, Springer 2014, ISBN 978-3-642-55098-0 [contents] - 2013
- [j21]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): 1156-1194 (2013) - [j20]Paul Leger, Éric Tanter, Rémi Douence:
Modular and flexible causality control on the Web. Sci. Comput. Program. 78(9): 1538-1558 (2013) - [j19]Oscar Callaú, Éric Tanter:
Programming with Ghosts. IEEE Softw. 30(1): 74-80 (2013) - [j18]Ismael Figueroa, Nicolas Tabareau, Éric Tanter:
Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice. LNCS Trans. Aspect Oriented Softw. Dev. 11: 145-192 (2013) - [c53]Eric Bodden, Éric Tanter, Milton Inostroza:
A brief tour of join point interfaces. AOSD (Companion) 2013: 19-22 - [c52]Éric Tanter:
Taming aspects. VariComp@AOSD 2013: 19 - [c51]Rodolfo Toledo, Éric Tanter:
Secure and modular access control with aspects. AOSD 2013: 157-170 - [c50]Nicolas Tabareau, Ismael Figueroa, Éric Tanter:
A typed monadic embedding of aspects. AOSD 2013: 171-184 - [c49]Esteban Allende, Johan Fabry, Éric Tanter:
Cast insertion strategies for gradually-typed objects. DLS 2013: 27-36 - [c48]Ismael Figueroa, Nicolas Tabareau, Éric Tanter:
Taming aspects with monads and membranes. FOAL 2013: 1-6 - [e7]Gary T. Leavens, Shigeru Chiba, Éric Tanter:
Transactions on Aspect-Oriented Software Development X. Lecture Notes in Computer Science 7800, Springer 2013, ISBN 978-3-642-36963-6 [contents] - 2012
- [j17]Rodolfo Toledo, Angel Núñez, Éric Tanter, Jacques Noyé:
Aspectizing Java Access Control. IEEE Trans. Software Eng. 38(1): 101-117 (2012) - [c47]Romain Robbes, David Röthlisberger, Éric Tanter:
Extensions during Software Evolution: Do Objects Meet Their Promise? ECOOP 2012: 28-52 - [c46]Éric Tanter, Nicolas Tabareau, Rémi Douence:
Taming aspects with membranes. FOAL 2012: 3-8 - [c45]Ismael Figueroa, Éric Tanter, Nicolas Tabareau:
A practical monadic aspect weaver. FOAL 2012: 21-26 - [c44]Paul Leger, Éric Tanter:
A self-replication algorithm to flexibly match execution traces. FOAL 2012: 27-32 - [c43]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: 153-162 - [c42]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: 683-702 - [e6]Robert Hirschfeld, Éric Tanter, Kevin J. Sullivan, Richard P. Gabriel:
Proceedings of the 11th International Conference on Aspect-oriented Software Development, AOSD 2012, Potsdam, Germany, March 25-30, 2012. ACM 2012, ISBN 978-1-4503-1092-5 [contents] - [e5]Robert Hirschfeld, Éric Tanter, Kevin J. Sullivan, Richard P. Gabriel:
Companion Volume of the 11th International Conference on Aspect-oriented Software Development, AOSD 2012, Potsdam, Germany, March 25-30, 2012. ACM 2012, ISBN 978-1-4503-1222-6 [contents] - 2011
- [j16]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): 341-351 (2011) - [j15]Rodolfo Toledo, Éric Tanter:
Access Control in JavaScript. IEEE Softw. 28(5): 76-84 (2011) - [c41]Walter Binder, Philippe Moret, Danilo Ansaloni, Aibek Sarimbekov, Akira Yokokawa, Éric Tanter:
Towards a domain-specific aspect language for dynamic program analysis: position paper. DSAL@AOSD 2011: 9-11 - [c40]Philippe Moret, Walter Binder, Éric Tanter:
Polymorphic bytecode instrumentation. AOSD 2011: 129-140 - [c39]Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich:
Gradual Typestate. ECOOP 2011: 459-483 - [c38]Guillaume Pothier, Éric Tanter:
Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging. ECOOP 2011: 558-582 - [c37]Ismael Figueroa, Éric Tanter:
A semantics for execution levels with exceptions. FOAL 2011: 7-11 - [c36]Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff:
Permission-based programming languages. ICSE 2011: 828-831 - [c35]Oscar Callaú, Romain Robbes, Éric Tanter, David Röthlisberger:
How developers use the dynamic features of programming languages: the case of smalltalk. MSR 2011: 23-32 - [c34]Jonathan Aldrich, Robert Bocchino, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff:
Plaid: a permission-based programming language. OOPSLA Companion 2011: 183-184 - [c33]Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, Éric Tanter:
First-class state change in plaid. OOPSLA 2011: 713-732 - [c32]Milton Inostroza, Éric Tanter, Eric Bodden:
Join point interfaces for modular reasoning in aspect-oriented programs. SIGSOFT FSE 2011: 508-511 - [e4]Tom Dinkelaker, Jacques Noyé, Éric Tanter:
Proceedings of the sixth annual workshop on Domain-specific aspect languages, DSAL '11, Porto de Galinhas, Brazil, March 21, 2011. ACM 2011, ISBN 978-1-4503-0648-5 [contents] - 2010
- [j14]Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt:
Scoping strategies for distributed aspects. Sci. Comput. Program. 75(12): 1235-1261 (2010) - [c31]Rodolfo Toledo, Paul Leger, Éric Tanter:
AspectScript: expressive aspects for the web. AOSD 2010: 13-24 - [c30]