| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| news-history [2013/05/20 10:46] – etanter | news-history [2023/02/25 07:34] (current) – etanter |
|---|
| | * {{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/|<Programming> 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]]) | * 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]]) |
