* Éric Tanter is on the PC of [[http://conf.researchr.org/home/icfp-2023|ICFP 2023]] * Matías Toro is on the external PC of [[https://2023.splashcon.org/track/splash-2023-oopsla|OOPSLA 2023]] * [[people:elabrada|Elizabeth Labrada]] successfully defended her PhD thesis on Gradual System F * {{bib>maillardAl-icfp2022|A Reasonably Gradual Type Theory}} accepted at [[https://icfp22.sigplan.org/|ICFP 2022]] * {{bib>labradaAl-jacm2022|Gradual System F}} accepted in the [[https://dl.acm.org/journal/jacm|Journal of the ACM]] (supersedes our {{bib>toroAl-popl2019|POPL'19 paper}}) * Matías Toro is on the PC of [[http://conf.researchr.org/home/icfp-2022|ICFP 2022]] * Matías Toro joins Pleiad as Assistant Professor * {{bib>eremondiAl-icfp2022|Propositional Equality for Gradual Dependently Typed Programming}} accepted at [[https://icfp22.sigplan.org/|ICFP 2022]] * Éric Tanter is on the PC of [[http://conf.researchr.org/home/POPL-2023|POPL 2023]] * {{bib>labradaAl-oopsla2022|Plausible Sealing for Gradual Parametricity}} accepted at [[https://2022.splashcon.org/track/splash-2022-oopsla|OOPSLA 2022]] * {{bib>lennonAl-toplas2022|Gradualizing the Calculus of Inductive Constructions}} accepted in [[https://dl.acm.org/journal/toplas|TOPLAS]] (June 2022), presented at [[https://popl22.sigplan.org|POPL 2022]] * {{bib>malewskiAl-oopsla2021|Gradually Structured Data}} accepted at [[https://2021.splashcon.org/track/splash-2021-oopsla|OOPSLA 2021]] * É. Tanter receives the Ten Years Most Influential Paper Award at [[https://2020.programming-conference.org/| 2020]] for his {{bib>tanter:aosd2010|AOSD 2010 paper}} * {{bib>abateAl-toplas2021|An Extended Account of Trace-Relating Compiler Correctness and Secure Compilation}} to appear in [[https://dl.acm.org/journal/toplas|TOPLAS]] * {{bib>estepAl-ecoop2021|Gradual Program Analysis for Null Pointers}} accepted at [[https://2021.ecoop.org/|ECOOP 2021]] * {{bib>tabareauAl-jacm2020|The Marriage of Univalence and Parametricity}} published in the [[https://dl.acm.org/journal/jacm|Journal of the ACM]] * {{bib>wiseAl-oopsla2020|Gradual Verification of Recursive Heap Data Structures}} accepted at [[https://2020.splashcon.org/track/splash-2020-oopsla|OOPSLA 2020]] * {{bib>toroTanter-scp2020|Abstracting Gradual References}} accepted at Science of Computer Programming, presented at [[https://2020.ecoop.org/|ECOOP 2020]] * {{bib>abateAl:esop2020|Trace-Relating Compiler Correctness and Secure Compilation}} accepted at [[https://www.etaps.org/2020/esop|ESOP 2020]] * {{bib>diazAl:cpp2020|A Mechanized Formalization of GraphQL}} accepted at [[https://popl20.sigplan.org/home/CPP-2020|CPP 2020]] * {{bib>cruzTanter:aplas2019|Existential Types for Relaxed Noninterference}} (Cruz, Tanter) accepted at [[https://conf.researchr.org/home/aplas-2019|APLAS 2019]] * {{bib>eremondiAl:icfp2019|Approximate Normalization for Gradual Dependent Types}} (Eremondi, Tanter, Garcia) accepted at [[https://icfp19.sigplan.org/|ICFP 2019]] * {{bib>maillardAl:icfp2019|Dijkstra Monads for All}} (Maillard, Ahman, Atkey, Martínez, Hriţcu, Rivas, Tanter) accepted at [[https://icfp19.sigplan.org/|ICFP 2019]] * {{bib>pedrotAl:icfp2019|A Reasonably Exceptional Type Theory}} (Pédrot, Tabareau, Fehrmann, Tanter) accepted at [[https://icfp19.sigplan.org/|ICFP 2019]] * {{bib>cruzTanter:secdev2019|Polymorphic Relaxed Noninterference}} (Cruz, Tanter) accepted at [[https://secdev.ieee.org/2019/Home/|SecDev 2019]] * {{bib>toroAl-popl2019|Gradual Parametricity, Revisited}} (Toro, Labrada, Tanter) accepted at [[https://popl19.sigplan.org/home|POPL 2019]] **Distinguished Paper Award** * {{bib>vazouAl-oopsla2018|Gradual Liquid Type Inference}} (Vazou, Tanter, Van Horn) accepted at [[https://conf.researchr.org/track/splash-2018/splash-2018-OOPSLA|OOPSLA 2018]] **Distinguished Paper Award** * {{bib>bodinAl-dls2018|A Trustworthy Mechanized Formalization of R}} (Bodin, Diaz, Tanter) accepted at [[https://conf.researchr.org/track/dls-2018/dls-2018/|DLS 2018]] * {{bib>toroAl-toplas2018|Type-Driven Gradual Security with References}} (Toro, Garcia, Tanter) accepted at [[https://toplas.acm.org/|TOPLAS]]/presented at [[https://popl19.sigplan.org/|POPL 2019]] * {{bib>tabareauAl-icfp2018|Equivalences for Free}} (Tabareau, Tanter, Sozeau) accepted at [[https://icfp18.sigplan.org/home|ICFP 2018]] **Distinguished Paper Award** * Éric Tanter is joining the Editorial Board of the journal [[https://www.journals.elsevier.com/science-of-computer-programming/|Science of Computer Programming]] (starting Jul 2018) * {{bib>baderAl-vmcai2018|Gradual Program Verification}} (Bader, Aldrich, Tanter) to appear at [[https://popl18.sigplan.org/track/VMCAI-2018#event-overview|VMCAI 2018]] * [[https://conf.researchr.org/track/dls-2017/dls-2017#Most-Notable-Paper-Award|Most Notable Paper Award]] for our {{bib>mostinckxAl:dls2007|paper}} of 10 years ago at DLS 2007! (see also the {{bib>mostinckxAl:spe2008|extended version}}) * Éric Tanter is joining the Editorial Board of the [[https://www.cambridge.org/core/journals/journal-of-functional-programming|Journal of Functional Programming]] (starting Jan 2018) * {{bib>toroTanter-sas2017|A Gradual Interpretation of Union Types}} (Toro, Tanter) accepted at [[http://staticanalysis.org/sas2017/sas2017.html|SAS 2017]] * Éric Tanter is PC member of [[http://conf.researchr.org/home/POPL-2018|POPL 2018]], [[http://www.etaps.org/index.php/2018/esop|ESOP 2018]] and [[http://conf.researchr.org/home/icfp-2018|ICFP 2018]] * {{bib>cruzAl-ecoop2017|Type Abstraction for Relaxed Noninterference}} (Cruz, Rezk, Serpette, Tanter) accepted at [[http://conf.researchr.org/home/ecoop-2017|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 [[http://2017.splashcon.org/track/splash-2017-oopsla|OOPSLA 2017]] * //Refactoring Legacy JavaScript Code to Use Classes: The Good, The Bad, and The Ugly// accepted at [[http://icsr2017.ufba.br|16th International Conference on Software Reuse (ICSR'17)]] * Alexandre Bergel is Program Committee member of [[http://vissoft17.dcc.uchile.cl|VISSOFT 2017]] * {{bib>lehmannTanter-popl2017|Gradual Refinement Types}} accepted at [[http://conf.researchr.org/home/POPL-2017|POPL 2017]] * Éric Tanter is Program Committee member of [[http://snapl.org/2017/index.html|SNAPL 2017]] * Éric Tanter has been granted a second [[http://static.googleusercontent.com/media/research.google.com/en//app/research-outreach/faculty-engagement/Google_Latin_America_Research_Award_Recipients.pdf|Google Faculty Research Award]]! (Project: Gradual Security Typing for the Web) * [[https://dl.dropboxusercontent.com/u/31543901/MyPapers/Berg16b-EnergyProfilingPharo.pdf|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 [[http://vissoft.info|VISSOFT'16]] * {{bib>dagandAl-icfp2016|Partial Type Equivalences for Verified Dependent Interoperability}} (Dagand, Tabareau, Tanter) accepted at [[http://conf.researchr.org/home/icfp-2016/|ICFP 2016]] * [[https://dl.dropboxusercontent.com/u/31543901/MyPapers/Fern16a-VisualIDGlyph.pdf|Glyph-Based Software Component Identification]] (Fernandez, Bergel, Sandoval, Infante, Gîrba) accepted at [[http://www.program-comprehension.org/icpc16/|ICPC'16]] * [[http://link.springer.com/article/10.1007%2Fs10664-015-9365-9|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 ([[http://soict.hust.edu.vn/~aplas2016/|APLAS 2016]]) * Éric Tanter is Program Committee member of the 17th Symposium on Trends in Functional Programming ([[http://tfp2016.org/|TFP 2016]]) * //Learning From Source Code History to Identify Performance Failures// accepted at [[https://icpe2016.spec.org|the 7th ACM/SPEC International Conference on Performance Engineering]] (Sandoval/Bergel) * {{bib>garciaAl-popl2016|Abstracting Gradual Typing}} accepted at [[http://conf.researchr.org/home/POPL-2016|POPL 2016]]!! (Garcia/Clark/Tanter) * Éric Tanter is External Program Committee member of [[http://2016.splashcon.org/track/splash-2016-oopsla|OOPSLA 2016]] * Éric Tanter has been granted a [[http://googleamericalatinablog.blogspot.cl/2015/09/ganadores-de-los-premios-de-investigacion-de-google-america-latina.html?m=1|Google Faculty Research Award]]! (Project: Gradual Security Typing for the Web) * Doublé of PLEIAD at [[http://2015.splashcon.org/track/dls2015-papers|DLS 2015]]: //Tracking Down Performance Variation Against Source Code Evolution// (Sandoval/Bergel), and {{bib>tanterTabareau-dls2015|Gradual Certified Programming in Coq}} (Tanter/Tabareau) * {{bib>toroTanter-oopsla2015|Customizable Gradual Polymorphic Effects for Scala}} accepted at [[http://2015.splashcon.org/track/oopsla2015|OOPSLA 2015]] (Toro/Tanter) [[http://2015.splashcon.org/track/splash2015-artifacts|{{research:aec-oopsla.png?40}}]] * {{bib>nagappanAl-fse2015|Study of GOTO in C Code}} accepted at [[http://esec-fse15.dei.polimi.it/|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 [[http://link.springer.com/article/10.1007%2Fs10664-015-9365-9|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 [[http://vissoft.dcc.uchile.cl|VISSOFT 2015]] * Éric Tanter is PC member of the 30th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications ([[http://2015.splashcon.org|OOPSLA 2015]]) * Paper on {{bib>garciaAl-toplas2014|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 [[http://vissoft.iro.umontreal.ca|VISSOFT ERA]] * Éric Tanter is PC member of the 24th European Symposium on Programming ([[http://conf.researchr.org/home/esop-2015|ESOP 2015]]) * Paper {{bib>callauAl-dls2014|On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk}} (Callaú, Robbes, Tanter, Röthlisberger, Bergel) accepted at [[http://www.dynamic-languages-symposium.org/dls-14/|DLS 2014]]! * Felipe Bañados successfully defended his MSc thesis! Congrats!! * Paper on {{bib>allendaAl-oopsla2014|Confined Gradual Typing}} (Allende, Fabry, Garcia, Tanter) accepted at [[http://2014.splashcon.org/track/oopsla2014|OOPSLA 2014]]! * Rodolfo Toledo successfully defended his PhD thesis! Congrats!! * Paper on {{bib>banadosAl-icfp2014|Gradual Effect Systems}} (Bañados, Garcia, Tanter) accepted at [[http://icfpconference.org/icfp2014/|ICFP 2014]] * Ismael Figueroa successfully defended his PhD thesis! Congrats!! * Two papers accepted at [[http://aosd.net/2014|Modularity 2014]]! {{bib>figueroaAl-modularity2014|Compositional Reasoning about Aspect Interference}} (Figueroa, Schrijvers, Tabareau, Tanter), and {{bib>tabareauAl-modularity2014|Aspectual Session Types}} (Tabareau, Südholt, Tanter) * Romain Robbes will participate in the Dagstuhl Seminar on [[http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=14261|Software Development Analytics]], June 2014. * Éric Tanter will participate in the Dagstuhl Seminar on [[http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=14271|Scripting Languages and Frameworks: Analysis and Verification]], July 2014. * Éric Tanter is PC member of the 13th International Conference on Generative Programming ([[http://program-transformation.org/GPCE14/CallForPapers|GPCE 2014]]) * After nearly 5 years of hard work, the book [[http://rmod.lille.inria.fr/deepIntoPharo/|Deep Into Pharo]] is out! * Paper on {{bib>callauAl-emse2013|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 {{bib>tanterAl-scp2013|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 [[http://oops.disi.unige.it/OOPS14/|OOPS 2014]] * Éric Tanter is now Associate Editor of [[http://www.computer.org/portal/web/tse|IEEE Transactions on Software Engineering]] * Paper on {{bib>allendeAl-dls2013|Cast Insertion Strategies for Gradually-Typed Objects}} (Allende, Fabry, Tanter) accepted for publication at [[http://www.sigplan.org/Conferences/DLS/Main|DLS 2013]] * Paper on {{bib>scholliersAl-scp2013b|Computational Contracts}} (Scholliers, Tanter, De Meuter) accepted for publication in Science of Computer Programming * Paper on {{bib>allendeAl-scp2013|Gradual Typing for Smalltalk}} (Allende, Callaú, Fabry, Tanter, Denker) accepted for publication in Science of Computer Programming * Éric Tanter is PC member of [[http://fool2013.cs.brown.edu/|FOOL 2013]] * Ismael Figueroa is PC member of [[http://modularity14.inf.usi.ch/rrtrack|Modularity 2014]]! * Éric Tanter is now Editor-in-Chief of the [[http://www.springer.com/computer/lncs?SGWID=0-164-2-109318-0|LNCS Transactions on Aspect-Oriented Software Development]]. * Paper accepted at MSR 2013: [[http://users.dcc.uchile.cl/~rrobbes/p/MSR2013-expertise.pdf|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 {{bib>scholliersAl-scp2013|Parallel Actor Monitors}} (Scholliers, Tanter, De Meuter) accepted for publication in Science of Computer Programming. * Éric Tanter gave a Keynote on [[people:etanter:taming-aspects|Taming Aspects]] at [[http://program-transformation.org/GPCE12/|GPCE 2012]] and [[http://www.aosd.net/workshops/varicomp/2013/|VariComp 2013]] * Oscar Callaú was awarded a [[http://research.microsoft.com/en-us/collaboration/global/latam/latam-awards.aspx|Microsoft Research Latin America Fellowship]]! ([[http://noticias.terra.cl/tecnologia/alumno-de-u-de-chile-obtiene-importante-premio-de-microsoft,7840f484d6d7d310VgnVCM3000009acceb0aRCRD.html|noticia en Terra]]) * Paper on {{bib>boddenAl-tosem2013|Join Point Interfaces for Safe and Flexible Decoupling of Aspects}} (Bodden, Tanter, Inostroza) accepted for publication in [[http://tosem.acm.org|ACM TOSEM]]. * New INRIA Équipe Associée [[http://real.gforge.inria.fr/|REAL: Reasoning about Effects in Aspect Languages]] with Pleiad, 2013-2015 (led by Tanter and Noyé). * Paper on {{bib>callauTanter-software2013|Programming with Ghosts}} (Callaú, Tanter) appeared in the January issue of IEEE Software. Check out the [[http://pleiad.cl/ghosts|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 [[http://aosd.net/2013|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 ([[http://www.esug.org/wiki/pier/Conferences/2012/Innovation-Technology-Awards|ESUG 2012]]) * Papers on the impact of types in practice accepted at ICPC 2012 and OOPSLA 2012 * Paper {{bib>robbesAl-ecoop2012|Extensions during Software Evolution: Do Objects Meet Their Promise?}} accepted at ECOOP 2012 * The paper [[:research:software:phantom|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 [[http://dx.doi.org/10.1016/j.scico.2012.02.007|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 [[http://dx.doi.org/10.1016/j.scico.2011.12.004|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 [[http://ieonline.typepad.com/reviews/2012/02/featured-in-five-alexandre-bergel.html|ACM reviewer]] * Article "Object Centric Debugging", accepted as technical paper at ICSE'12 * Three papers of PLEIAD accepted at [[http://www.eecs.ucf.edu/FOAL/index-2012.shtml|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 [[http://pleiad.dcc.uchile.cl/_media/people/etanter/award-dcc2011.jpg|Best professor award]] (for undergrad teaching), Computer Science Dept, University of Chile, 2011 * ACM **Best Paper award** at [[http://ecs.victoria.ac.nz/Events/MODELS2011|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 [[http://www.conicyt.cl/573/articles-38387_resultados.pdf|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 [[http://splashcon.org/2012/cfp/378|OOPSLA 2012]] * É. Tanter is Program Chair of [[http://aosd.net/2012|AOSD 2012]] * Our paper on [[http://doi.ieeecomputersociety.org/10.1109/MS.2010.154|Access Control in JavaScript]] has been published in IEEE Software * R. Robbes had a FONDECYT project accepted! * Paper [[http://www.springerlink.com/content/t2826332t8668282/|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 * [[http://www.computer.org/portal/web/csdl/doi/10.1109/TSE.2010.66|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 [[research:software:phantom|PHANtom]] by J. Fabry and D. Galdames was accepted at the [[http://www.esug.org/wiki/pier/Conferences/2011/International-Workshop-on-Smalltalk-Technologies|International Workshop On Smalltalk Technologies]] at the [[http://www.esug.org/wiki/pier/Conferences/2011|ESUG 2011 conference]]. * R. Robbes will give a tutorial on Mining Software Repositories at ICSM 2011 * Paper on [[http://dx.doi.org/10.1007/s00779-010-0355-z|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 [[http://ecs.victoria.ac.nz/Events/MODELS2011|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 [[http://splashcon.org/2011/cfp/100|OOPSLA 2011]] * Our paper "How Developers Use the Dynamic Features of Programming Languages: the Case of Smalltalk" won the **Best Paper Award** [[http://www.msrconf.org/|MSR 2011]]! * Three (3!!!) papers of PLEIAD accepted at [[http://ecoop11.comp.lancs.ac.uk/|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). * [[http://bergel.eu/download/Postdoc-ChileINRIA.txt|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 [[http://icpc2011.cs.usask.ca/|ICPC 2011]]. ([[research/software/aspectmaps|AspectMaps]] page) * [[http://bergel.eu/download/papers/Berg11a-icssp11.pdf|"Analyzing Software Process Models with AVISPA"]] has been accepted at ICSSP 2011 * A. Bergel is a reviewer of the journal Science of Computer Programming * [[research:software:aspectmaps|AspectMaps]], a scalable visualization of join point shadows, version 1.0 has been released. * The first release of [[http://hapao.dcc.uchile.cl/|Hapao]], a test coverage tool for Pharo, is now out. * É. Tanter has been promoted to Associate Professor. * [[research:plomo|PLOMO]]: The INRIA Equipe Associée between PLEIAD and [[http://rmod.lille.inria.fr/web/pier|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 [[http://scg.unibe.ch/wiki/events/dyla2011|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 [[http://2011.icse-conferences.org/|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 [[http://www.cs.wm.edu/icsm2011/|ICSM 2011]], ERA track, and of [[http://2011.esec-fse.org/|ESEC/FSE 2011]], tool demos track. * R. Robbes is PC Co-Chair of [[http://www.pleiad.cl/iwpse-evol/|IWPSE-EVOL 2011]]. * É. Tanter is PC member of the 10th ACM Intl Conference on Generative Programming and Component Engineering ([[http://program-transformation.org/GPCE11/|GPCE 2011]]) * R. Robbes is PC member of [[http://confsys.encs.concordia.ca/c3s2e/c3s2e-11/|C3S2E 2011]] * A. Bergel is PC member of the 9th IEEE International Conference on Software Engineering and Formal Methods * Our paper [[http://www.springerlink.com/content/042h2g06v8513576/|Refining Code Ownership With Synchronous Changes]] was accepted in [[http://www.springer.com/computer/swe/journal/10664|Empirical Software Engineering]] * R. Robbes is Publicity Chair for [[http://www.cs.wm.edu/icsm2011/|ICSM 2011]] * Our paper [[http://www.springerlink.com/content/5402w997n12n3138/|On Porting Software Visualization Tools to The Web]] was accepted in [[http://www.springer.com/computer/swe/journal/10009|Software Tools for Technology Transfer]] * [[http://www.dcc.uchile.cl/node/376|Talk by Arturo Zambrano]] on Digital TV in Argentina and the implementation of the middleware for interactivity performed by his team. Slides available {{research:adi:tvd-desarrollo.pdf|here}}. * Paper on [[research:scope|Composition of Dynamic Analysis Aspects]] accepted at [[http://program-transformation.org/GPCE10|GPCE 2010]]! * R. Robbes is part of the program committee of [[http://2011.msrconf.org/|MSR 2011]] and [[http://se.uni-oldenburg.de/csmr2011/|CSMR 2011]] * É. Tanter is invited speaker at the [[http://www.labes.icmc.usp.br/lawasp2010/|4th Latin American workshop on AOSD]], Salvador BA, Brazil * Our paper "Language-Independent Clone Detection Applied to Plagiarism Detection" was accepted to [[http://www2010.ieee-scam.org/|SCAM 2010]] * Our paper "Recovering Inter-Project Dependencies in Software Ecosystems" has been accepted as a short paper to [[http://soft.vub.ac.be/ase2010/|ASE 2010]] * R. Robbes is reviewer for [[http://www.computer.org/portal/web/tse/|IEEE TSE]] * [[http://www.moosetechnology.org/events/famoosr2010|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 [[http://fse18.cse.wustl.edu/|FSE-18]], [[http://soft.vub.ac.be/ase2010/|ASE 2010]], and [[http://icpc2010.di.uminho.pt/index.php|ICPC 2010]] * É. Tanter is part of the Program Committee of the 10th ACM International Conference on Aspect-Oriented Software Development ([[http://aosd.net/2011|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 ([[http://www.dynamic-languages-symposium.org/dls-10/index.html|DLS 2010]]) * Our paper [[http://dx.doi.org/10.1007/978-3-642-13953-6_16|Visualizing Dynamic Metrics with Profiling Blueprints]] was accepted at [[http://www.cs.purdue.edu/TOOLS10/|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 ([[http://www.doesnotunderstand.org/wikka.php?wakka=DSLRob10|DSLRob 2010]]) * R. Robbes is part of the program committee for the [[http://icsm2010.upt.ro/home/committees/demospc|Tool Demonstrations]] and the [[http://icsm2010.upt.ro/home/committees/erapc|Early Research Achievements]] tracks of ICSM 2010 * **Best paper award** at AOSD 2010 for the paper on [[research:scope|Execution Levels]]! * Doublé of PLEIAD at [[http://aosd.net/2010|AOSD 2010]]! our papers on [[aspectscript|AspectScript]] and on [[research:scope|Execution Levels]] have been accepted! * R.Robbes is a program committee member of [[http://www.info.fundp.ac.be/wasdett2010/|WASDeTT-3]] and [[http://seaa2010.liacs.nl/|SEAA 2010]] * Our paper [[http://springerlink.metapress.com/content/u84055g80732x672/|Improving Code Completion with Program History]] is published in [[http://www.springer.com/computer/ai/journal/10515|Automated Software Engineering]] * Our IEEE Software paper on [[http://pleiad.dcc.uchile.cl/tod/|TOD]] is now published: see the [[http://www.computer.org/portal/web/csdl/doi/10.1109/MS.2009.169|publisher page]] * É. Tanter is now Associate Editor of the [[http://www.springer.com/computer/lncs?SGWID=0-164-2-109318-0|LNCS Transactions on AOSD]] * Our paper [[http://portal.acm.org/citation.cfm?doid=1809198.1809204|Commit 2.0]] was accepted at [[http://sites.google.com/site/web2se/|Web2SE 2010]] * É. Tanter is part of the Program Committee of the 9th Workshop on the Foundations of Aspect-Oriented Languages ([[http://www.eecs.ucf.edu/FOAL/index-2010.shtml|FOAL 2010]]) * Doublé of PLEIAD at [[http://msr.uwaterloo.ca/msr2010/|MSR 2010]]! Our papers [[http://dx.doi.org/10.1109/MSR.2010.5463278|Replaying IDE interactions to evaluate and improve change prediction approaches]] and [[http://dx.doi.org/10.1109/MSR.2010.5463279|An extensive comparison of bug prediction approaches]] were accepted. * An aspect language for Web programming! check out [[http://pleiad.cl/aspectscript|AspectScript]] * Our paper [[http://doi.acm.org/10.1145/1806799.1806855|Linking e-mails and source code artifacts]] has been accepted at [[www.sbs.co.za/ICSE2010/|ICSE 2010]]. * R. Robbes joined PLEIAD. * We are organizing the second summer school on programming languages [[http://pleiad.cl/pl2009|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"** [[http://marcusdenker.de/talks/09DCCSqueakEtoy/ComputerMediumSqueak.pdf|slides]] [[http://www.marcusdenker.de/talks/09DCCSqueakEtoy/Abstract.txt|abstract]] * [[research:scope|Beyond Static and Dynamic Scope]] accepted at [[http://www.hpi.uni-potsdam.de/swa/dls/dls-09|DLS 2009]]! * É. Tanter is part of the Program Committee of [[http://2010.ecoop.org/|ECOOP 2010]]. * New professor at PLEIAD: [[people:abergel|Alexandre Bergel]] has joined the lab! * [[http://dcc.comopapel.com/revista_bits_de_ciencia/2/#/page/4-5|Articulo sobre TOD]] en la Revista Bits de Ciencias del DCC. * É. Tanter is part of the Program Committee of [[http://aosd.net/2010|AOSD 2010]]. * Fondecyt project [[research:EC-DSAL|"Engineering and Composition of Domain-Specific Aspect Languages"]] approved. * J. Fabry is Program Committee co-Chair of the [[http://www.2009.software-composition.org/|8th International Conference on Software Composition (SC2009)]], co-located with [[http://tools.ethz.ch/|TOOLS-Europe 2009]]. * Paper on [[research:scope|Expressive Scoping of Distributed Aspects]] accepted at [[http://aosd.net/2009|AOSD 2009]]! * Stic-AmSud project [[research:corea|CoReA]]: Comprehension and Remodularization of Applications based on Aspects, Classboxes and Traits, approved. * [[research:software:tod|TOD]] featured at the [[http://wiki.eclipse.org/Eclipse_DemoCamps_November_2008/Vancouver|Vancouver Eclipse demo camp]]! * [[http://dsal.dcc.uchile.cl/2009|4th workshop on Domain-Specific Aspect Languages]] to be held at [[http://aosd.net/2009|AOSD 2009]]. * Best paper award for [[research:scope|Controlling Aspect Reentrancy]] at SBLP 2008! * [[http://pleiad.dcc.uchile.cl/pl2008|Summer School on Programming Languages]], organized by PLEIAD. * Paper on [[research:scope|Contextual Values]] accepted at the [[http://www.swa.hpi.uni-potsdam.de/dls/dls08/|ACM Dynamic Languages Symposium 2008]]! * "doublé" of PLEIAD at the Brazilian Symposium on Programming Languages ([[http://www.lia.ufc.br/sblp2008/|SBLP 2008]]):\\ Paper on A Lightweight and Extensible AspectJ Implementation, and on [[research:scope|Controlling Aspect Reentrancy]] * [[events:workshops:laosd2008|Second Latin-American Workshop on AOSD]] June 2-6 2008 Organized by PLEIAD * [[articulo|Articulo sobre PLEIAD]] para la nueva revista del DCC | [[articulo_translated|article about PLEIAD]] for the new DCC magazine. * Paper on [[research:scope|Expressive Scoping of Aspects]] at [[http://aosd.net/2008|AOSD 2008]]! * Demo on [[research:software:tod|Omniscient Debugging of Aspects with TOD]] at [[http://aosd.net/2008|AOSD 2008]]! * [[http://dsal.dcc.uchile.cl/2008|3rd workshop on Domain-Specific Aspect Languages]] organized at [[http://aosd.net/2008|AOSD 2008]]. * Paper on [[research:software:tod|Omniscient Debugging]] for Aspect-Oriented Programming accepted at [[http://www.acm.org/conferences/sac/sac2008/|SAC 2008]]! * INRIA/CONICYT Collaboration Project [[research:cordial|CORDIAL]] accepted (2008-2009) * **Slides of the Talk of Ron Goldman (Sun Microsystems Labs) available on** [[http://pleiad.dcc.uchile.cl/goldman|What Everyone Should Know About Open Source]]. * [[events:launch|Pleiad Launch at DCC]]