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

Recent publications of the team “Formal Specification, Verification and Implementation of Concurrent Real-Time Embedded Systems”