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