News of the team Formal Specification, Verification and Implementation of Concurrent Real-Time Embedded Systems

Attendance and presentation of works at ESEC/FSE 17:

  • Diego Garbervetsky, Edgardo Zoppi, Benjamin Livshits: Toward full elasticity in distributed static analysis: the case of callgraph analysis. ESEC/SIGSOFT FSE 2017: 442-453.
  • Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, Edgardo Zoppi: Static analysis for optimizing big data queries. ESEC/SIGSOFT FSE 2017: 932-937.

Participation in PC of:

  • International Conference on Virtual Execution – VEE 2018
  • International Symposium on Formal Methods- FM 2018

Verónica Becher gives a highlight talk at joint session of LC and CSL – 20/Aug/17

Verónica Becher gives a highlight talk at joint session of Logic Colloquium 2017 and 26th Conference on Computer Science Logic CSL’2017 of European Association for Computer Science Logic; Stockholm University, August 20, 2017.