Valerio
Panzica La Manna

I am a Roberto Rocca Postdoctoral fellow at Object-Based Media Group at MIT Media Lab. My research currently focuses on the application of proximity-based technologies for mobile and wearable devices to enable future smart spaces. At MIT Media Lab, I am working on ShAir, a platform for mobile content sharing even without Internet access.

In February 2014, I received the PhD with honors in Software Engineering at Politecnico di Milano, Italy under the supervision of Prof. Carlo Ghezzi. My PhD dissertation focuses on dynamic software updates and proposes novel model-based approaches to automatically identify under which condition a distributed software system can be safely and efficiently updated at run-time, without the need of being restarted. For this work I received the Dimitris N. Chorafas Foundation Award.
In 2009, I received the Master Degree summa cum laude in Computer Science and Engineering at Politecnico di Milano, Italy and in 2010, the Master Of Science in Computer Science at UIC, University of Illinois at Chicago, USA.

In 2013, I was a Research Intern at the IBM R&D Labs in Israel working on a new approach for the automatic generation of minimized test suites from scenario-based software specifications. Based on this collaboration I received the IBM PhD Fellowship Award.

My research interests cover different areas of software engineering including distributed systems and middleware, dynamic software evolution and self-adaptive systems, software testing, and smart spaces.

Research Projects

This is an incomplete list of the projects I am currently involved.

ShAir

ShAir is a platform for mobile devices on which users can share their digital content with nearby people wirelessly in the background, even when they have no Internet access.

SPF

Social Proximity Framework (SPF) enables social interactions in a social smart spaces. It provides an additional software layer on top of a networking middleware to offer different functions enabling social interaction in proximity. External applications may leverage SPF to advertise a social profile in proximity or to discover other profiles matching different queries associated to social interests.

ScenarioTools

Scenariotools is an Eclipse-based toolsuite for scenario-based specifications. It supports the modeling, simulation and synthesis of Modal Sequence Diagram (MSD) Specifications. ScenarioTools also support the synthesis of dynamically updating controllers from changes in the specification.

Publications

1. Carlo Ghezzi, Alfredo Motta, Valerio Panzica La Manna, and Giordano Tamburrelli. Qos driven dynamic binding in-the-many. In Research into Practice–Reality and Gaps, pages 68–83, 2010.
2. Xiaoxing Ma, Luciano Baresi, Carlo Ghezzi, Valerio Panzica La Manna, and Jian Lu. Version-consistent dynamic reconfiguration of component-based distributed systems. Proceedings of the 19th Symposium and the 13th European Conference on Foundations of Software Engineering, ESEC/FSE, 11, 2010.
3. Valerio Panzica La Manna. Dynamic software update for component-based distributed systems. In Proceedings of the 16th international workshop on Component-oriented programming (WCOP 2011), pages 1–8. ACM, 2011.
4. Carlo Ghezzi, Joel Greenyer, and Valerio Panzica La Manna. Synthesizing dynamically updating controllers from changes in scenario-based specifications. In Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), pages 145–154. IEEE, 2012.
5. Valerio Panzica La Manna. Local dynamic update for component-based distributed systems. In Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE 2012), pages 167–176. ACM, 2012.
6. Joel Greenyer, Christian Brenner, and Valerio Panzica La Manna. The scenariotools play-out of modal sequence diagram specifications with environment assumptions. In Proceedings of 12th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2013), volume 58, 2013.
7. Valerio Panzica La Manna, Joel Greenyer, Carlo Ghezzi, and Christian Brenner. Formalizing correctness criteria of dynamic updates derived from specification changes. In Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2013), pages 63–72. IEEE Press, 2013.
8. Luciano Baresi, Sam Guinea, and Valerio Panzica La Manna. Consistent runtime evolution of service-based business processes. In Proceedings of the 11th Working IEEE/IFIP Conference on Software Architecture, WICSA 2014, 2014.
9. Carlo Ghezzi, Valerio Panzica La Manna, Alfredo Motta, and Giordano Tamburrelli. Performance-driven dynamic service selection. Concurrency and Computation: Practice and Experience, 2014.
10. Valerio Panzica La Manna. Safe and Efficient Dynamic Updates of Distributed Software Systems. PhD thesis, Politecnico di Milano, Italy, 2014.

Curriculum Vitae

Contact