Recent publications of the team "Formal Specification, Verification and Implementation of Concurrent Real-Time Embedded Systems"
Hernan Melgratti and Luca Padovani. “Chaperone Contracts for Higher-Order Sessions”. 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017).
Diego Garbervetsky, Edgardo Zoppi, and Benjamin Livshits, “Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph Analysis”, acepted for the main track of ESEC/FSE 2017.
Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz, and Edgardo Zoppi, “Static Analysis for Optimizing Big Data Queries” acepted for the industrial track of ESEC/FSE 2017.
Hernan Melgratti et Luca Padovani. “Chaperone Contracts for Higher-Order Sessions”. 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017).
Diego Garbervetsky, Edgardo Zoppi et Benjamin Livshits, “Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph Analysis”, acepté dans le main track à ESEC/FSE 2017.
Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz et Edgardo Zoppi, “Static Analysis for Optimizing Big Data Queries” acepté au industrial track à ESEC/FSE 2017.
Hernan Melgratti y Luca Padovani. “Chaperone Contracts for Higher-Order Sessions”. 22nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2017).
Diego Garbervetsky, Edgardo Zoppi y Benjamin Livshits, “Toward Full Elasticity in Distributed Static Analysis: The Case of Callgraph Analysis”, aceptado en track principal de ESEC/FSE 2017.
Diego Garbervetsky, Zvonimir Pavlinovic, Michael Barnett, Madanlal Musuvathi, Todd Mytkowicz y Edgardo Zoppi, “Static Analysis for Optimizing Big Data Queries” aceptado al track industrial de ESEC/FSE 2017.
