Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision |
news-history [2016/08/26 10:08] – etanter | news-history [2019/01/12 06:51] – etanter |
---|
| * É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) | * É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) |
| |