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 [2017/05/30 16:36]
etanter
news-history [2021/04/10 20:55] (current)
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)   * É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)