Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
news-history [2013/05/20 10:46]
etanter
news-history [2021/04/10 20:55]
etanter
Line 1: Line 1:
 +
 +  * {{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]])