- É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
- Matías Toro is on the PC of ICFP 2022
- Matías Toro joins Pleiad as Assistant Professor
- Éric Tanter is on the PC of POPL 2023
- 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
- Gradual Program Analysis for Null Pointers accepted at ECOOP 2021
- The Marriage of Univalence and Parametricity published in the Journal of the ACM
- Abstracting Gradual References accepted at Science of Computer Programming, presented at ECOOP 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
- É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
- 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
- É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)
- 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.
- 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.
- 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!
- É. 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
- É. 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!
- 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
- 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.