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
news-history [2015/10/05 16:43] etanternews-history [2023/02/25 07:34] (current) etanter
Line 1: Line 1:
 +  * {{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 on {{bib>garciaAl-toplas2014|Foundations of Typestate-Oriented Programming}} (Garcia, Tanter, Wolff, Aldrich) appeared in the ACM Transactions on Programming Languages and Systems!