Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision |
news-history [2015/10/05 16:43] – etanter | news-history [2017/05/30 16:36] – etanter |
---|
| * É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! |