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