• Éric Tanter is on the PC of ICFP 2023
  • Matías Toro is on the external PC of OOPSLA 2023
  • Elizabeth Labrada successfully defended her PhD thesis on Gradual System F
  • A Reasonably Gradual Type Theory accepted at ICFP 2022
  • Gradual System F accepted in the Journal of the ACM (supersedes our POPL'19 paper)
  • Matías Toro is on the PC of ICFP 2022
  • Matías Toro joins Pleiad as Assistant Professor
  • Propositional Equality for Gradual Dependently Typed Programming accepted at ICFP 2022
  • Éric Tanter is on the PC of POPL 2023
  • Plausible Sealing for Gradual Parametricity accepted at OOPSLA 2022
  • Gradualizing the Calculus of Inductive Constructions accepted in TOPLAS (June 2022), presented at POPL 2022
  • Gradually Structured Data accepted at OOPSLA 2021
  • É. Tanter receives the Ten Years Most Influential Paper Award at <Programming> 2020 for his AOSD 2010 paper
  • An Extended Account of Trace-Relating Compiler Correctness and Secure Compilation to appear in TOPLAS
  • Gradual Program Analysis for Null Pointers accepted at ECOOP 2021
  • The Marriage of Univalence and Parametricity published in the Journal of the ACM
  • Gradual Verification of Recursive Heap Data Structures accepted at OOPSLA 2020
  • Abstracting Gradual References accepted at Science of Computer Programming, presented at ECOOP 2020
  • Trace-Relating Compiler Correctness and Secure Compilation accepted at ESOP 2020
  • A Mechanized Formalization of GraphQL accepted at CPP 2020
  • Existential Types for Relaxed Noninterference (Cruz, Tanter) accepted at APLAS 2019
  • Approximate Normalization for Gradual Dependent Types (Eremondi, Tanter, Garcia) accepted at ICFP 2019
  • Dijkstra Monads for All (Maillard, Ahman, Atkey, Martínez, Hriţcu, Rivas, Tanter) accepted at ICFP 2019
  • A Reasonably Exceptional Type Theory (Pédrot, Tabareau, Fehrmann, Tanter) accepted at ICFP 2019
  • Polymorphic Relaxed Noninterference (Cruz, Tanter) accepted at SecDev 2019
  • Gradual Parametricity, Revisited (Toro, Labrada, Tanter) accepted at POPL 2019 Distinguished Paper Award
  • Gradual Liquid Type Inference (Vazou, Tanter, Van Horn) accepted at OOPSLA 2018 Distinguished Paper Award
  • A Trustworthy Mechanized Formalization of R (Bodin, Diaz, Tanter) accepted at DLS 2018
  • Type-Driven Gradual Security with References (Toro, Garcia, Tanter) accepted at TOPLAS/presented at POPL 2019
  • Equivalences for Free (Tabareau, Tanter, Sozeau) accepted at ICFP 2018 Distinguished Paper Award
  • Éric Tanter is joining the Editorial Board of the journal Science of Computer Programming (starting Jul 2018)
  • Gradual Program Verification (Bader, Aldrich, Tanter) to appear at VMCAI 2018
  • Most Notable Paper Award for our paper of 10 years ago at DLS 2007! (see also the extended version)
  • Éric Tanter is joining the Editorial Board of the Journal of Functional Programming (starting Jan 2018)
  • A Gradual Interpretation of Union Types (Toro, Tanter) accepted at SAS 2017
  • Éric Tanter is PC member of POPL 2018, ESOP 2018 and ICFP 2018
  • Type Abstraction for Relaxed Noninterference (Cruz, Rezk, Serpette, Tanter) accepted at ECOOP 2017
  • Identifying Classes in Legacy JavaScript Code accepted at Journal of Software: Evolution and Process
  • Éric Tanter is member of the External Program Committee of OOPSLA 2017
  • Refactoring Legacy JavaScript Code to Use Classes: The Good, The Bad, and The Ugly accepted at 16th International Conference on Software Reuse (ICSR'17)
  • Alexandre Bergel is Program Committee member of VISSOFT 2017
  • Gradual Refinement Types accepted at POPL 2017
  • Éric Tanter is Program Committee member of SNAPL 2017
  • Éric Tanter has been granted a second Google Faculty Research Award! (Project: Gradual Security Typing for the Web)
  • Energy Code Profiling in Pharo (Bergel). Accepted at IWST'16
  • CuboidMatrix: Exploring Dynamic Structural Connections in Software Components using Space-Time Cube. (Schneider, Tymchuk, Salgado, Bergel) accepted at VISSOFT'16
  • Partial Type Equivalences for Verified Dependent Interoperability (Dagand, Tabareau, Tanter) accepted at ICFP 2016
  • Glyph-Based Software Component Identification (Fernandez, Bergel, Sandoval, Infante, Gîrba) accepted at ICPC'16
  • Understanding and Addressing Exhibitionism in Java Empirical Research about Method Accessibility is now online!
  • Éric Tanter is Program Committee member of the 14th Asian Symposium on Programming Languages and Systems (APLAS 2016)
  • Éric Tanter is Program Committee member of the 17th Symposium on Trends in Functional Programming (TFP 2016)
  • Learning From Source Code History to Identify Performance Failures accepted at the 7th ACM/SPEC International Conference on Performance Engineering (Sandoval/Bergel)
  • Abstracting Gradual Typing accepted at POPL 2016!! (Garcia/Clark/Tanter)
  • Éric Tanter is External Program Committee member of OOPSLA 2016
  • Éric Tanter has been granted a Google Faculty Research Award! (Project: Gradual Security Typing for the Web)
  • Doublé of PLEIAD at DLS 2015: Tracking Down Performance Variation Against Source Code Evolution (Sandoval/Bergel), and Gradual Certified Programming in Coq (Tanter/Tabareau)
  • Customizable Gradual Polymorphic Effects for Scala accepted at OOPSLA 2015 (Toro/Tanter)
  • Study of GOTO in C Code accepted at ESEC/FSE 2015!! (with R. Robbes and É. Tanter)
  • Matías Toro successfully defended his MSc thesis! Congrats!!
  • Our EMSE paper “Understanding and addressing exhibitionism in Java empirical research about method accessibility” is in preview
  • Oscar Callaú successfully defended his PhD thesis! Congrats!!
  • Esteban Allende successfully defended his PhD thesis! Congrats!!
  • Paper on Does JavaScript Software Embrace Classes? (Humberto Silva, Ramos, Tulio Valente, Bergel, Anquetil) at 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (IEEE SANER '15)
  • Paper on GiLA: GitHub Label Analyzer (Canovas Izquierdo, Cosentino, Rolandi, Bergel, Cabot) at 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (IEEE SANER '15), Early Research Achievements (ERA)
  • Paper on Efficiently Identifying Object Production Sites (Infante, Bergel) at 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering (IEEE SANER '15), Early Research Achievements (ERA)
  • Alexandre Bergel is co-PC chair of VISSOFT 2015
  • Éric Tanter is PC member of the 30th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA 2015)
  • Paper on Foundations of Typestate-Oriented Programming (Garcia, Tanter, Wolff, Aldrich) appeared in the ACM Transactions on Programming Languages and Systems!
  • Paper Understanding and Addressing Exhibitionism in Java: Empirical Research about Method Visibility (Vidal, Bergel, Marcos, Andrés) accepted for publication in Empirical Software Engineering.
  • Alexandre Bergel is PC member of 22nd International Conference on Software Analysis, Evolution, and Reengineering (SANER 2015)
  • Paper A Domain-Specific Language For Visualizing Software Dependencies as a Graph (Bergel, Maass, Ducasse, Gîrba) accepted at VISSOFT ERA
  • Éric Tanter is PC member of the 24th European Symposium on Programming (ESOP 2015)
  • Paper On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk (Callaú, Robbes, Tanter, Röthlisberger, Bergel) accepted at DLS 2014!
  • Felipe Bañados successfully defended his MSc thesis! Congrats!!
  • Paper on Confined Gradual Typing (Allende, Fabry, Garcia, Tanter) accepted at OOPSLA 2014!
  • Rodolfo Toledo successfully defended his PhD thesis! Congrats!!
  • Paper on Gradual Effect Systems (Bañados, Garcia, Tanter) accepted at ICFP 2014
  • Ismael Figueroa successfully defended his PhD thesis! Congrats!!
  • Two papers accepted at Modularity 2014! Compositional Reasoning about Aspect Interference (Figueroa, Schrijvers, Tabareau, Tanter), and Aspectual Session Types (Tabareau, Südholt, Tanter)
  • Romain Robbes will participate in the Dagstuhl Seminar on Software Development Analytics, June 2014.
  • Éric Tanter will participate in the Dagstuhl Seminar on Scripting Languages and Frameworks: Analysis and Verification, July 2014.
  • Éric Tanter is PC member of the 13th International Conference on Generative Programming (GPCE 2014)
  • After nearly 5 years of hard work, the book Deep Into Pharo is out!
  • Paper on How (and Why) Developers Use the Dynamic Features of Programming Languages: the Case of Smalltalk (Callaú, Robbes, Tanter, Röthlisberger) now published in the Empirical Software Engineering journal
  • Paper on Execution Levels for Aspect-Oriented Programming: Design, Semantics, Implementations and Applications (Tanter, Figueroa, Tabareau) accepted for publication in Science of Computer Programming
  • Alex Bergel is PC member of CSMR-WCRE ERA 2014
  • Alex Bergel is PC member of OOPS 2014
  • Éric Tanter is now Associate Editor of IEEE Transactions on Software Engineering
  • Paper on Cast Insertion Strategies for Gradually-Typed Objects (Allende, Fabry, Tanter) accepted for publication at DLS 2013
  • Paper on Computational Contracts (Scholliers, Tanter, De Meuter) accepted for publication in Science of Computer Programming
  • Paper on Gradual Typing for Smalltalk (Allende, Callaú, Fabry, Tanter, Denker) accepted for publication in Science of Computer Programming
  • Éric Tanter is PC member of FOOL 2013
  • Ismael Figueroa is PC member of Modularity 2014!
  • Éric Tanter is now Editor-in-Chief of the LNCS Transactions on Aspect-Oriented Software Development.
  • Paper accepted at MSR 2013: Using Developer Interaction Data to Compare Expertise Metrics (Robbes, Röthlisberger)
  • Ismael Figueroa won the ACM Student Research Competition at the AOSD 2013 conference, with his work on Taming Aspects with Monads and Membranes!
  • Paper on Parallel Actor Monitors (Scholliers, Tanter, De Meuter) accepted for publication in Science of Computer Programming.
  • Éric Tanter gave a Keynote on Taming Aspects at GPCE 2012 and VariComp 2013
  • Oscar Callaú was awarded a Microsoft Research Latin America Fellowship! (noticia en Terra)
  • Paper on Join Point Interfaces for Safe and Flexible Decoupling of Aspects (Bodden, Tanter, Inostroza) accepted for publication in ACM TOSEM.
  • New INRIA Équipe Associée REAL: Reasoning about Effects in Aspect Languages with Pleiad, 2013-2015 (led by Tanter and Noyé).
  • Paper on Programming with Ghosts (Callaú, Tanter) appeared in the January issue of IEEE Software. Check out the Ghosts website!
  • LACCIR project “Studies and support of work fragmentation for software developers in small and medium size companies” accepted, 2013-2014 (Robbes, Gonzalez)
  • Two papers accepted at AOSD 2013: A Typed Monadic Embedding of Aspects (Tabareau, Figueroa, Tanter), and Secure and Modular Access Control with Aspects (Toledo, Tanter)
  • Alexandre Bergel is co-chair of the Artifact program at ESEC/FSE 2013
  • A. Bergel is part of the ECOOP 2013 program committee
  • Roassal and Object-centric debugger won the third and first place at the 9th Innovation Technology Awards (ESUG 2012)
  • Papers on the impact of types in practice accepted at ICPC 2012 and OOPSLA 2012
  • Paper Extensions during Software Evolution: Do Objects Meet Their Promise? accepted at ECOOP 2012
  • The paper PHANtom: a Modern Aspect Language for Pharo Smalltalk by J.Fabry and D.Galdames has been accepted in the Wiley journal Software – Practice and Experience
  • The paper AspectMaps: Extending Moose to Visualize AOP Software by J. Fabry, A. Kellens, S. Denier, and S. Ducasse is accepted in the Elsevier Journal Science of Computer Programming.
  • The paper Expressing Aspectual Interactions in Requirements Engineering: Experiences, Problems and Solutions by A. Zambrano, J. Fabry, and S. Gordillo is accepted in the Elsevier Journal Science of Computer Programming.
  • Alexandre Bergel is a featured ACM reviewer
  • Article “Object Centric Debugging”, accepted as technical paper at ICSE'12
  • Three papers of PLEIAD accepted at FOAL 2012! “A Practical Monadic Aspect Weaver” (Figueroa/Tanter/Tabareau), “A Self-Replicating Algorithm to Flexibly Match Execution Traces” (Leger/Tanter), “Taming Aspects with Membranes” (Tanter/Tabareau/Douence).
  • A.Bergel got his regular FONDECYT project accepted. Period 2012 - 2014.
  • É. Tanter was given the Best professor award (for undergrad teaching), Computer Science Dept, University of Chile, 2011
  • ACM Best Paper award at MODELS 2011 for “Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain” by J. Fabry, A. Zambrano and S. Gordillo.
  • The project ASPIRE: Assess, Visualize and Reengineer Software Engineering processes with the University of Nice Sophia-Antipolis has been accepted
  • A. Bergel is PC member of CibSE 2012, ICSOFT 2012, PPPJ 2012, GPCE 2012
  • David Röthlisberger joined Pleiad as a postdoc. Welcome David!
  • R. Robbes is PC member of ICSM 2012 and ICPC 2012
  • É. Tanter is PC member of SAC 2012, FOAL 2012, and OOPSLA 2012
  • É. Tanter is Program Chair of AOSD 2012
  • Our paper on Access Control in JavaScript has been published in IEEE Software
  • R. Robbes had a FONDECYT project accepted!
  • Paper Evaluating defect prediction approaches: a benchmark and an extensive comparison accepted for publication in Empirical Software Engineering
  • Article “Execution profiling blueprints”, accepted for publication in Software: Practice and Experience
  • R. Robbes will be chair of ICSM ERA 2013
  • R. Robbes is PC member of two ICSE tracks: Formal Tool Demos, and Informal Tool Demos and Posters
  • FlowTalk: Language Support for Long-Latency Operations in Embedded Devices is finally published at TSE, nearly 2 years after its acceptance
  • R. Robbes is PC member of MSR 2012 and CSMR 2012
  • The paper presenting PHANtom by J. Fabry and D. Galdames was accepted at the International Workshop On Smalltalk Technologies at the ESUG 2011 conference.
  • R. Robbes will give a tutorial on Mining Software Repositories at ICSM 2011
  • Paper on Ambient Contracts published in Personal and Ubiquitous Computing.
  • Paper “Expressing Aspectual Interactions in Design: Experiences in the Slot Machine Domain” by J. Fabry, A. Zambrano and S. Gordillo was accepted at MODELS 2011
  • Tool demo: “Gaucho: Programming == Modeling” accepted at ECOOP 2011
  • Paper: “Enabling Program Comprehension through a Visual Object-focused Development Environment” accepted at VL/HCC 2011
  • Guillaume Pothier successfully defended his PhD thesis on making omniscient debugging practical
  • Paper on “First-Class State Change in Plaid” accepted at OOPSLA 2011
  • Our paper “How Developers Use the Dynamic Features of Programming Languages: the Case of Smalltalk” won the Best Paper Award MSR 2011!
  • Three (3!!!) papers of PLEIAD accepted at ECOOP 2011! “Gradual Typestate” (Wolff/Garcia/Tanter/Aldrich), “Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging” (Pothier/Tanter), and “Counting Messages as a Proxy for Average Execution Time in Pharo” (Bergel).
  • Postdoc position in software engineering at University of Chile in cooperation with INRIA
  • Our paper “AspectMaps: A scalable visualization of join point shadows” has been accepted at ICPC 2011. (AspectMaps page)
  • "Analyzing Software Process Models with AVISPA" has been accepted at ICSSP 2011
  • A. Bergel is a reviewer of the journal Science of Computer Programming
  • AspectMaps, a scalable visualization of join point shadows, version 1.0 has been released.
  • The first release of Hapao, a test coverage tool for Pharo, is now out.
  • É. Tanter has been promoted to Associate Professor.
  • PLOMO: The INRIA Equipe Associée between PLEIAD and RMOD (INRIA Lille) was accepted!
  • The FONDECYT project of É. Tanter, entitled “Modular and Adaptable Software without Losing Control” was accepted! (2011-2014).
  • The 2011 edition of the Dyla workshop will be collocated with TOOLS EUROPE.
  • Paper on Access Control for JavaScript accepted in IEEE Software!
  • Paper on Aspectizing Java Access Control accepted in IEEE Transactions on Software Engineering!
  • Our paper “Software Systems as Cities: A Controlled Experiment” was accepted at ICSE 2011 ! (acceptance: 14%)
  • R. Robbes is reviewer for Springer's Journal of Automated Software Engineering and Elsevier's Science of Computer Programming
  • A. Bergel is reviewer of Transactions on Aspect-Oriented Software Development (November 2010). Editor: Gary T. Leavens
  • R. Robbes is PC member of ICSM 2011, ERA track, and of ESEC/FSE 2011, tool demos track.
  • R. Robbes is PC Co-Chair of IWPSE-EVOL 2011.
  • É. Tanter is PC member of the 10th ACM Intl Conference on Generative Programming and Component Engineering (GPCE 2011)
  • R. Robbes is PC member of C3S2E 2011
  • A. Bergel is PC member of the 9th IEEE International Conference on Software Engineering and Formal Methods
  • Our paper Refining Code Ownership With Synchronous Changes was accepted in Empirical Software Engineering
  • R. Robbes is Publicity Chair for ICSM 2011
  • Our paper On Porting Software Visualization Tools to The Web was accepted in Software Tools for Technology Transfer
  • Talk by Arturo Zambrano on Digital TV in Argentina and the implementation of the middleware for interactivity performed by his team. Slides available here.
  • Paper on Composition of Dynamic Analysis Aspects accepted at GPCE 2010!
  • R. Robbes is part of the program committee of MSR 2011 and CSMR 2011
  • É. Tanter is invited speaker at the 4th Latin American workshop on AOSD, Salvador BA, Brazil
  • Our paper “Language-Independent Clone Detection Applied to Plagiarism Detection” was accepted to SCAM 2010
  • Our paper “Recovering Inter-Project Dependencies in Software Ecosystems” has been accepted as a short paper to ASE 2010
  • R. Robbes is reviewer for IEEE TSE
  • FAMOOSr'10 will be held this year in Timisoara, Romania. A. Bergel is part of the program committee
  • R. Robbes is part of the program committee of the tool demonstrations tracks of FSE-18, ASE 2010, and ICPC 2010
  • É. Tanter is part of the Program Committee of the 10th ACM International Conference on Aspect-Oriented Software Development (AOSD 2011)
  • The code profiling visualization project has been elected by the Smalltalk community to receive a grant from Google.
  • É. Tanter is part of the Program Committee of the 6th ACM Dynamic Languages Symposium (DLS 2010)
  • Our paper Visualizing Dynamic Metrics with Profiling Blueprints was accepted at TOOLS 2010
  • A. Bergel is part of the Program Committee of DSLRob 2010, the 1st International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob 2010)
  • R. Robbes is part of the program committee for the Tool Demonstrations and the Early Research Achievements tracks of ICSM 2010
  • Best paper award at AOSD 2010 for the paper on Execution Levels!
  • Doublé of PLEIAD at AOSD 2010! our papers on AspectScript and on Execution Levels have been accepted!
  • R.Robbes is a program committee member of WASDeTT-3 and SEAA 2010
  • Our paper Improving Code Completion with Program History is published in Automated Software Engineering
  • Our IEEE Software paper on TOD is now published: see the publisher page
  • É. Tanter is now Associate Editor of the LNCS Transactions on AOSD
  • Our paper Commit 2.0 was accepted at Web2SE 2010
  • É. Tanter is part of the Program Committee of the 9th Workshop on the Foundations of Aspect-Oriented Languages (FOAL 2010)
  • Doublé of PLEIAD at MSR 2010! Our papers Replaying IDE interactions to evaluate and improve change prediction approaches and An extensive comparison of bug prediction approaches were accepted.
  • An aspect language for Web programming! check out AspectScript
  • Our paper Linking e-mails and source code artifacts has been accepted at ICSE 2010.
  • R. Robbes joined PLEIAD.
  • We are organizing the second summer school on programming languages PL2009 at the JCCC 2009. The topic of this year is: The Role of Programming Languages in Software Evolution
  • M. Denker gave a talk to DCC: “An Instrument whose Music is Ideas. Smalltalk, eToys and the Idea of the Children's Machine” slides abstract
  • Beyond Static and Dynamic Scope accepted at DLS 2009!
  • É. Tanter is part of the Program Committee of ECOOP 2010.
  • New professor at PLEIAD: Alexandre Bergel has joined the lab!
  • Articulo sobre TOD en la Revista Bits de Ciencias del DCC.
  • É. Tanter is part of the Program Committee of AOSD 2010.
  • Fondecyt project "Engineering and Composition of Domain-Specific Aspect Languages" approved.
  • J. Fabry is Program Committee co-Chair of the 8th International Conference on Software Composition (SC2009), co-located with TOOLS-Europe 2009.
  • Paper on Expressive Scoping of Distributed Aspects accepted at AOSD 2009!
  • Stic-AmSud project CoReA: Comprehension and Remodularization of Applications based on Aspects, Classboxes and Traits, approved.
  • TOD featured at the Vancouver Eclipse demo camp!
  • 4th workshop on Domain-Specific Aspect Languages to be held at AOSD 2009.
  • Best paper award for Controlling Aspect Reentrancy at SBLP 2008!
  • Summer School on Programming Languages, organized by PLEIAD.
  • Paper on Contextual Values accepted at the ACM Dynamic Languages Symposium 2008!
  • “doublé” of PLEIAD at the Brazilian Symposium on Programming Languages (SBLP 2008):
    Paper on A Lightweight and Extensible AspectJ Implementation, and on Controlling Aspect Reentrancy
  • Second Latin-American Workshop on AOSD June 2-6 2008 Organized by PLEIAD
  • Articulo sobre PLEIAD para la nueva revista del DCC | article about PLEIAD for the new DCC magazine.
  • Paper on Expressive Scoping of Aspects at AOSD 2008!
  • Demo on Omniscient Debugging of Aspects with TOD at AOSD 2008!
  • 3rd workshop on Domain-Specific Aspect Languages organized at AOSD 2008.
  • Paper on Omniscient Debugging for Aspect-Oriented Programming accepted at SAC 2008!
  • INRIA/CONICYT Collaboration Project CORDIAL accepted (2008-2009)
  • Slides of the Talk of Ron Goldman (Sun Microsystems Labs) available on What Everyone Should Know About Open Source.
  • Pleiad Launch at DCC