ric Tanter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
42
Venues
16
Active years
2002–2026
Best venue rank
A*
Where they publish
Papers
42 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | LICS | Definitional Proof Irrelevance Made Accessible. | Thiago Felicissimo, Yann Leray, Loc Pujet, Nicolas Tabareau, ric Tanter, Tho Winterhalter |
| 2025 | ESOP | Elucidating Type Conversions in SQL Engines. | Wenjia Ye, Matas Toro, Claudio Gutierrez, Bruno C. d. S. Oliveira, ric Tanter |
| 2021 | ECOOP | Gradual Program Analysis for Null Pointers. | Sam Estep, Jenna Wise, Jonathan Aldrich, ric Tanter, Johannes Bader, Joshua Sunshine |
| 2020 | CPP | A mechanized formalization of GraphQL. | Toms Daz, Federico Olmedo, ric Tanter |
| 2020 | ECOOP | Abstracting Gradual References (SCICO Journal-first). | Matas Toro, ric Tanter |
| 2020 | ESOP | Trace-Relating Compiler Correctness and Secure Compilation. | Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier, Deepak Garg, Catalin Hritcu, Marco Patrignani, ric Tanter, Jrmy Thibault |
| 2019 | APLAS | Existential Types for Relaxed Noninterference. | Raimil Cruz, ric Tanter |
| 2018 | DLS | A trustworthy mechanized formalization of R. | Martin Bodin, Toms Diaz, ric Tanter |
| 2018 | VMCAI | Gradual Program Verification. | Johannes Bader, Jonathan Aldrich, ric Tanter |
| 2017 | ECOOP | Type Abstraction for Relaxed Noninterference. | Raimil Cruz, Tamara Rezk, Bernard P. Serpette, ric Tanter |
| 2017 | POPL | Gradual refinement types. | Nico Lehmann, ric Tanter |
| 2017 | SAS | A Gradual Interpretation of Union Types. | Matas Toro, ric Tanter |
| 2016 | ICFP | Partial type equivalences for verified dependent interoperability. | Pierre-variste Dagand, Nicolas Tabareau, ric Tanter |
| 2016 | POPL | Abstracting gradual typing. | Ronald Garcia, Alison M. Clark, ric Tanter |
| 2015 | DLS | Gradual certified programming in Coq. | ric Tanter, Nicolas Tabareau |
| 2015 | OOPSLA | Customizable gradual polymorphic effects for Scala. | Matas Toro, ric Tanter |
| 2014 | DLS | On the use of type predicates in object-oriented software: the case of Smalltalk. | Oscar Calla, Romain Robbes, ric Tanter, David Rthlisberger, Alexandre Bergel |
| 2014 | ICFP | A theory of gradual effect systems. | Felipe Baados Schwerter, Ronald Garcia, ric Tanter |
| 2014 | OOPSLA | Confined gradual typing. | Esteban Allende, Johan Fabry, Ronald Garcia, ric Tanter |
| 2013 | DLS | Cast insertion strategies for gradually-typed objects. | Esteban Allende, Johan Fabry, ric Tanter |
| 2012 | ECOOP | Extensions during Software Evolution: Do Objects Meet Their Promise? | Romain Robbes, David Rthlisberger, ric Tanter |
| 2012 | OOPSLA | An empirical study of the influence of static type systems on the usability of undocumented software. | Clemens Mayer, Stefan Hanenberg, Romain Robbes, ric Tanter, Andreas Stefik |
| 2011 | ECOOP | Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging. | Guillaume Pothier, ric Tanter |
| 2011 | ECOOP | Gradual Typestate. | Roger Wolff, Ronald Garcia, ric Tanter, Jonathan Aldrich |
| 2011 | ICSE | Permission-based programming languages. | Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, ric Tanter, Roger Wolff |
| 2011 | MSR | How developers use the dynamic features of programming languages: the case of smalltalk. | Oscar Calla, Romain Robbes, ric Tanter, David Rthlisberger |
| 2011 | OOPSLA | Plaid: a permission-based programming language. | Jonathan Aldrich, Robert Bocchino, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, ric Tanter, Roger Wolff |
| 2011 | OOPSLA | First-class state change in plaid. | Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, ric Tanter |
| 2010 | GPCE | Composition of dynamic analysis aspects. | ric Tanter, Philippe Moret, Walter Binder, Danilo Ansaloni |
| 2009 | DLS | Beyond static and dynamic scope. | ric Tanter |
| 2009 | ECOOP | How should context-escaping closures proceed? | Dave Clarke, Pascal Costanza, ric Tanter |
| 2008 | DLS | Contextual values. | ric Tanter |
| 2008 | SAC | Extending omniscient debugging to support aspect-oriented programming. | Guillaume Pothier, ric Tanter |
| 2007 | DLS | Mirages: behavioral intercession in a mirror-based architecture. | Stijn Mostinckx, Tom Van Cutsem, Stijn Timbermont, ric Tanter |
| 2007 | OOPSLA | Scalable omniscient debugging. | Guillaume Pothier, ric Tanter, Jos M. Piquer |
| 2006 | DAIS | A Versatile Kernel for Distributed AOP. | ric Tanter, Rodolfo Toledo |
| 2006 | OOPSLA | Declarative, formal, and extensible syntax definition for aspectJ. | Martin Bravenboer, ric Tanter, Eelco Visser |
| 2005 | DLS | Flexible object encapsulation for ambient-oriented programming. | Wolfgang De Meuter, ric Tanter, Stijn Mostinckx, Tom Van Cutsem, Jessie Dedecker |
| 2005 | GPCE | A Versatile Kernel for Multi-language AOP. | ric Tanter, Jacques Noy |
| 2004 | ECOOP | Sequential Object Monitors. | Denis Caromel, Luis Mateu, ric Tanter |
| 2003 | OOPSLA | Partial behavioral reflection: spatial and temporal selection of reification. | ric Tanter, Jacques Noy, Denis Caromel, Pierre Cointe |
| 2002 | GPCE | Altering Java Semantics via Bytecode Manipulation. | ric Tanter, Marc Sgura-Devillechaise, Jacques Noy, Jos M. Piquer |