Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
Next revisionBoth sides next revision
news-history [2013/11/30 10:52] etanternews-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]]!   * 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]]!