default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDÉ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]Éric Tanter:
Execution levels for aspect-oriented programming. AOSD 2010: 37-48 - [c29]Éric Tanter, Philippe Moret, Walter Binder, Danilo Ansaloni:
Composition of dynamic analysis aspects. GPCE 2010: 113-122
2000 – 2009
- 2009
- [j13]Johan Fabry, Éric Tanter, Theo D'Hondt:
Infrastructure for domain-specific aspect languages: the relax case study. IET Softw. 3(3): 238-254 (2009) - [j12]Éric Tanter, Johan Fabry:
Supporting Composition of Structural Aspects in an AOP Kernel. J. Univers. Comput. Sci. 15(3): 620-647 (2009) - [j11]Guillaume Pothier, Éric Tanter:
Back to the Future: Omniscient Debugging. IEEE Softw. 26(6): 78-85 (2009) - [j10]Stijn Mostinckx, Tom Van Cutsem, Stijn Timbermont, Elisa Gonzalez Boix, Éric Tanter, Wolfgang De Meuter:
Mirror-based reflection in AmbientTalk. Softw. Pract. Exp. 39(7): 661-699 (2009) - [c28]Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt:
Expressive scoping of distributed aspects. AOSD 2009: 27-38 - [c27]Éric Tanter:
Beyond static and dynamic scope. DLS 2009: 3-14 - [c26]Dave Clarke, Pascal Costanza, Éric Tanter:
How should context-escaping closures proceed? COP@ECOOP 2009: 1:1-1:6 - [c25]Engineer Bainomugisha, Jorge Vallejos, Éric Tanter, Elisa Gonzalez Boix, Pascal Costanza, Wolfgang De Meuter, Theo D'Hondt:
Resilient actors: a runtime partitioning model for pervasive computing services. ICPS 2009: 31-40 - [e3]Thomas Cleenewerck, Johan Fabry, Anne-Françoise Le Meur, Jacques Noyé, Éric Tanter:
Proceedings of the 4th workshop on Domain-specific aspect languages, DSAL '09, Charlottesville, Virginia, USA, March 3, 2009. ACM 2009, ISBN 978-1-60558-455-3 [contents] - 2008
- [j9]David Röthlisberger, Marcus Denker, Éric Tanter:
Unanticipated partial behavioral reflection: Adapting applications at runtime. Comput. Lang. Syst. Struct. 34(2-3): 46-65 (2008) - [j8]Denis Caromel, Luis Mateu, Guillaume Pothier, Éric Tanter:
Parallel object monitors. Concurr. Comput. Pract. Exp. 20(12): 1387-1417 (2008) - [j7]Éric Tanter:
Controlling Aspect Reentrancy. J. Univers. Comput. Sci. 14(21): 3498-3516 (2008) - [j6]Rodolfo Toledo, Éric Tanter:
A Lightweight and Extensible AspectJ Implementation. J. Univers. Comput. Sci. 14(21): 3517-3533 (2008) - [j5]Johan Fabry, Éric Tanter, Theo D'Hondt:
KALA: Kernel aspect language for advanced transactions. Sci. Comput. Program. 71(3): 165-180 (2008) - [j4]Éric Tanter, Rodolfo Toledo, Guillaume Pothier, Jacques Noyé:
Flexible metaprogramming and AOP in Java. Sci. Comput. Program. 72(1-2): 22-30 (2008) - [c24]Thomas Cleenewerck, Jacques Noyé, Johan Fabry, Anne-Françoise Lemeur, Éric Tanter:
Summary of the third workshop on Domain-Specific Aspect Languages. DSAL@AOSD 2008: 1:1-1:5 - [c23]Éric Tanter:
Expressive scoping of dynamically-deployed aspects. AOSD 2008: 168-179 - [c22]Éric Tanter:
Contextual values. DLS 2008: 3 - [c21]Guillaume Pothier, Éric Tanter:
Extending omniscient debugging to support aspect-oriented programming. SAC 2008: 266-270 - [e2]Cesare Pautasso, Éric Tanter:
Software Composition - 7th International Symposium, SC@ETAPS 2008, Budapest, Hungary, March 29-30, 2008. Proceedings. Lecture Notes in Computer Science 4954, Springer 2008, ISBN 978-3-540-78788-4 [contents] - 2007
- [j3]Éric Tanter:
On dynamically-scoped crosscutting mechanisms. ACM SIGPLAN Notices 42(2): 27-33 (2007) - [c20]Johan Fabry, Éric Tanter, Theo D'Hondt:
ReLAx: implementing KALA over the reflex AOP kernel. DSAL@AOSD 2007: 3 - [c19]Stijn Mostinckx, Tom Van Cutsem, Stijn Timbermont, Éric Tanter:
Mirages: behavioral intercession in a mirror-based architecture. DLS 2007: 89-100 - [c18]Jessie Dedecker, Éric Tanter, Holger Mügge, Cristina Videira Lopes:
Object Technology for Ambient Intelligence and Pervasive Computing. ECOOP Workshops 2007: 171-181 - [c17]Victor Ramiro, Jessie Dedecker, Éric Tanter, Peter Barron:
Experimenting with Language Support for Proximity in Ambient-Oriented Programming. EEMMAS 2007: 259-283 - [c16]Guillaume Pothier, Éric Tanter, José M. Piquer:
Scalable omniscient debugging. OOPSLA 2007: 535-552 - [e1]Johan Fabry, Damijan Rebernak, Thomas Cleenewerck, Anne-Françoise Le Meur, Jacques Noyé, Éric Tanter:
Proceedings of the 2nd Workshop on Domain Specific Aspect Languages, DSAL '07, Vancouver, British Columbia, Canada, March 12, 2007. ACM 2007, ISBN 978-1-59593-659-2 [contents] - 2006
- [j2]Marcus Denker, Stéphane Ducasse, Éric Tanter:
Runtime bytecode transformation for Smalltalk. Comput. Lang. Syst. Struct. 32(2-3): 125-139 (2006) - [c15]Éric Tanter, Rodolfo Toledo:
A Versatile Kernel for Distributed AOP. DAIS 2006: 316-331 - [c14]Holger Mügge, Pascal Cherrier, Wolfgang De Meuter, Éric Tanter:
Object Technology for Ambient Intelligence and Pervasive Computing: Language Constructs and Infrastructures. ECOOP Workshops 2006: 130-140 - [c13]Martin Bravenboer, Éric Tanter, Eelco Visser:
Declarative, formal, and extensible syntax definition for aspectJ. OOPSLA 2006: 209-228 - [c12]David Röthlisberger, Marcus Denker, Éric Tanter:
Unanticipated Partial Behavioral Reflection. ISC 2006: 47-65 - [c11]Éric Tanter:
Aspects of Composition in the Reflex AOP Kernel. SC@ETAPS 2006: 98-113 - [c10]Éric Tanter, Kris Gybels, Marcus Denker, Alexandre Bergel:
Context-Aware Aspects. SC@ETAPS 2006: 227-242 - 2005
- [j1]Leonardo Rodríguez, Éric Tanter, Jacques Noyé:
La réflexion comportementale partielle comme infrastructure de programmation par aspects. Etude du cas des coupes dynamiques. Obj. Logiciel Base données Réseaux 11(3): 31-52 (2005) - [c9]Wolfgang De Meuter, Éric Tanter, Stijn Mostinckx, Tom Van Cutsem, Jessie Dedecker:
Flexible object encapsulation for ambient-oriented programming. DLS 2005: 11-21 - [c8]Éric Tanter, Jacques Noyé:
A Versatile Kernel for Multi-language AOP. GPCE 2005: 173-188 - [c7]Marcus Denker, Stéphane Ducasse, Éric Tanter:
Runtime Bytecode Transformation for Smalltalk. ESUG 2005: 75-98 - 2004
- [c6]Denis Caromel, Luis Mateu, Éric Tanter:
Sequential Object Monitors. ECOOP 2004: 316-340 - [c5]Leonardo Rodríguez, Éric Tanter, Jacques Noyé:
Supporting Dynamic Crosscutting with Partial Behavioral Reflection: A Case Study. SCCC 2004: 48-58 - 2003
- [c4]Éric Tanter, Jacques Noyé, Denis Caromel, Pierre Cointe:
Partial behavioral reflection: spatial and temporal selection of reification. OOPSLA 2003: 27-46 - 2002
- [c3]Éric Tanter, Marc Ségura-Devillechaise, Jacques Noyé, José M. Piquer:
Altering Java Semantics via Bytecode Manipulation. GPCE 2002: 283-298 - 2001
- [c2]Éric Tanter, Noury M. N. Bouraqadi-Saâdani, Jacques Noyé:
Reflex - Towards an Open Reflective Extension of Java. Reflection 2001: 25-43 - [c1]Éric Tanter, José M. Piquer:
Managing references upon object migration: applying separation of concerns. SCCC 2001: 264-272
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
