Silvia Bonomi Dipartimento di Ingegneria Informatica, Automatica e Gestionale A. Ruberti Via Ariosto, 25 I-00185 Roma, Italy e-mail: bonomi@dis.uniroma1.it URL: www.dis.uniroma1.it/ bonomi Telephone: +39 06 7727 4057 Fax: +39 06 7727 4002 Personal Data Languages Education Current Position Previous Academic Appointments Born in Marino (Italy) on August, 3rd 1981. Italian citizenship. Italian, English, French. 2000: Diploma with the marks of 100/100, from Tecnical High School Michele Amari, Ciampino (RM). 2004: First Degree in Computer Engineering with the marks of 96/110, from University of Rome La Sapienza. 2006: Master Degree in Computer Engineering with the marks of 110/110 magna cum laude, from University of Rome La Sapienza. 2010: Joint Ph.D. in Computer Engineering and Computer Science (co-tutela) from University of Rome La Sapienza and University of Rennes 1. Fixed-term Assistant Professor at Dipartimento di Ingegneria Informatica Automatica e Gestionale Antonio Ruberti - SAPIENZA University of Rome From September 2008 to February 2009 Visiting l Institut de recherche en informatique et systèmes aléatoires (IRISA) in the ASAP group led by Dr. Anne-Marie Kermarrec. From November 1st, 2009 to November 30th, 2011 Post-doctoral fellow [assegno di ricerca] at University of Rome La Sapienza in the MIDLAB group led by Prof. Roberto Baldoni. Teaching Experience A. A. 2007/2008 1. Tutor of the Fondamenti di Informatica course 2. Tutor of the Sistemi Distribuiti course A. A. 2008/2009 1. Tutor of the Sistemi Distribuiti course A. A. 2009/2010 1. Tutor of the Distributed Systems course 2. Tutor of the Sistemi Distribuiti course 3. Seminars on Dynamic Distributed Systems inside the course of Distributed Systems Seminars. A. A. 2010/2011
1. Tutor of the Distributed Systems course 2. Tutor of the Sistemi Distribuiti course Research Interests Her main research interests are: Dynamic Distributed Systems: Distributed systems are rapidly evolving, and the advent of new classes of applications and technologies, such as VANET, Airborne Networks, Social Networks, Smart Environments, P2P, broad area supercomputing, and distributed cloud services, is radically changing the way we think about them. Dynamic distributed systems have structures that are self-defined at any instant by entities that might autonomously decide to participate in the same distributed application. These systems are characterized by dynamic arrival and departure of participating entities and normally it may not be possible to assume anything about the universe of participants, their identities, capabilities, or reliability. Understanding the fundamentals of how to master this dynamic dimension is of primary importance to design of robust, dependable, and predictable distributed systems. Publish/Subscribe Systems: The publish/subscribe paradigm provides communication services where message addressing is implicitly handled by an Event Notification Service (ENS) that matches the content of events produced by publishers against interests expressed by subscribers in the form of subscriptions. Such paradigm is characterized by the following fundamental properties: (i) asynchronous communication, (ii) decoupling between senders and receivers, (iii) decoupling in time and space. Several semantics have been defined concerning the possible structure of the ENS (i.e. topic vs. content) and a lot of research is now going in the direction of enriching such specifications with several Quality of Service (QoS) policies. Semantic Overlay Networks: Generally, overlay networks are defined by connecting different peers, regardless their interests, interaction etc... As a result, such networks results inefficient when used to retrieve information, i.e. queries are blindly forwarded from node to node. A particular case is represented from structured overlay network, where contents are placed according to hash functions, making it easier to retrieve them later on. Although such schemes provide good performance for point queries (where the search key is known exactly), they are not as effective for approximate, range, or text queries where more efficient solutions, considering also the semantics of the content, must be used. Peer-to-peer Systems: In the last decade the advent of peer-to-peer (p2p) computing introduced a new model of distributed computation where (i) the scale of the system can be very large, comprising up to millions of users (peers), (ii) each peer acts independently from all the others, actually precluding any form of centralized network-wide administration or management, (iii) each peer acts as a client of the service and cooperates with other peers to enable services for other participants, and (iv) the system, due to its size and the autonomy of each peer, is intrinsically dynamic as peers can join in or leave at any time. In this context, one of the main issues to be addressed in order to build distributed applications is how to guarantee connectivity among participants. Connectivity is, in fact, the basic building block to enable network communications among peers. Other interests are: Cloud Computing, Dependable Middleware, Information Systems, Distributed Computing, Mobile Computing.
Research Projects She has been involved in the following projects: 1. IST-FP6-STREP SemanticGov (Services for Public Administrations) June 2006 - April 2009. The aim of the project was the provisioning of the infrastructure (software, models, services, etc) necessary for enabling the offering of semantic web services by public administrations (PA). Inside the project, she has participated in the following activities: Requirement Analysis and Formalization phase; Design and Implementation of the Ontology describing the system domain Definition of the Methodology to Design and Develop PA web services Integration and Testing. 2. MIUR PRIN ESTEEM (Emergent Semantics and cooperation in multi-knowledge EnvironMents) June 2006 - December 2007. The main goal of the ESTEEM project is the design and the implementation of a platform for emergent semantics in multi-knowledge environments, where semantic communities can interoperate according to the P2P paradigm. Inside the project she has participated in the following activities: Definition of the system architecture Definition of the architecture module responsible of the semantic communities management Evaluation of the module performances 3. IST-FP6-NoE ReSIST (resilience for survivability) January 2007 - March 2009. The main goal of the project is was to investigate and solve issues concerning reliability aspects in distributed systems. Inside the project she has investigated problems related to the network connectivity. 4. ARTEMIS-JU European Project ediana (Embedded Systems for Energy Efficient Buildings) February 2010 - July 2010. The aim of the project is to address the need of achieving energy efficiency in buildings through innovative solutions based on embedded systems. Inside the project she has participated in the following activities: Definition of a middleware architecture supporting sensors collaboration Definition of a middleware module to enable event-based communication 5. ICT-FP7-STREP GreenerBuildings (An Ubiquitous Embedded Systems Framework for Energy-aware Buildings Using Activity and Context Knowledge) September 2010 - today. The core objective of the GreenerBuildings project is to develop generic principles and a scalable energy-aware framework for recognizing occupant activity and building context, and to adapt buildings for saving energy. The approach essentially builds on cooperative, goal-oriented sensing, processing, and actuation in large-scale distributed networks (1000+ cooperating smart objects in large office buildings) that dynamically minimize energy consumption and adhere to occupant comfort.
Academic Activities Currently, she is co-advisor of the following Master students at University of Rome La Sapienza : Amir Soltani Nezhad (BFT Storage in Dynamic Distributed Systems) Bruno Ambrogio (Scheduling with heterogeneous Resources) She has been co-advisor of the following Master students at University of Rome La Sapienza : Alessio Pompei Una metodologia per la rilevazione di guasti in Smart Environments, September 2011 Pasquale Lannunziato Event-based data distribution mechanisms for smart buildings, December 2010 Gianpaolo Siano The group membership problem in Mobile Ad-Hoc NETworks: a case study in the presence of churn, April 2010 Francesco D Addio Application for Geo-localized register: an experimental study for mobile ad-hoc network, March 2009 She has participated as speaker in the following International Conferences: 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2011) 16th International Euro-Par Conference, 2010 16th International Colloquium on Structural Information (SIROCCO 2009) 27th IEEE International International Symposium on Reliable Distributed Systems (SRDS), 2008 IEEE 21st International Conference on Advanced Information Networking and Applications (AINA-07) She served as reviewer for Information System Journal. IEEE Transactions on Parallel and Distributed Systems (TPDS). Workshop PC Memberships Organization of Conferences/Workshops List of Publications (December 2011) 1st International Workshop on Emergent Semantics and cooperation in open systems (ESTEEM 2008), Rome, Italy, July 2008. She has been member of the organizing committee of: 3rd Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS 2011) September 2011 Rome. 26th International Symposium on Distributed Computing (DISC2011) September 2011 Rome 1st International Conference on Autonomic Computing and Communication Systems (AUTONOMICS 2007) October 2007, Frascati (Rome) International Journal IJ1 R. Baldoni, S. Bonomi, G. Lodi, M. Platania, L. Querzoni, Data Dissemination Supporting Complex Event Pattern Detection (to appear) International Journal on Next Generation Computing, 2011
IJ2 R. Baldoni, S. Bonomi, M. Raynal, Implementing a Regular Register in an Eventually Synchronous Distributed System prone to Continuous Churn, article in press on IEEE Transactions on Parallel and Distributed Systems (TPDS), 14 March 2011. IJ3 S. Montanelli, D. Bianchini, C. Aiello, R. Baldoni, C. Bolchini, S. Bonomi, S. Castano, T. Catarci, V. De Antonellis, A. Ferrara, M. Melchiori, E. Quintarelli, M. Scannapieco, F. A. Schreiber, L. Tanca, The ESTEEM platform: enabling P2P semantic collaboration through emerging collective knowledge, in Journal of Intelligent Information Systems, 36(2) pag. 167-195 (2011) IJ4 D. Bianchini, S. Montanelli, C. Aiello, R. Baldoni, C. Bolchini, S. Bonomi, S. Castano, T. Catarci, V. De Antonellis, A. Ferrara, M. Melchiori, E. Quintarelli, M. Scannapieco, F. A. Schreiber, L. Tanca, Emergent Semantics and Cooperation in Multi-knowledge Communities: the ESTEEM Approach, in World Wide Web Vol. 13 N. 1-2, pag. 3-31, 2010 IJ5 R. Baldoni, S. Bonomi, L. Querzoni, S. Tucci Piergiovanni, Investigating the existence and the regularity of Logarithmic Harary Graphs, in Theoretical Computer Science 410(21-23), pag. 2110-2121 (2009) International Conferences and Workshops IC1 R. Baldoni, S. Bonomi, M. Platania, L. Querzoni Dynamic Message Ordering for Topic-Based Publish/Subscribe Systems, (to appear) in Proceedings of the 26th IEEE International Parallel & Distributed Processing Symposium (IPDPS) 2012. IC2 R. Baldoni, S. Bonomi, A. Cerocchi, L. Querzoni Virtual Tree: a Robust Overlay Network for Ensuring Interval Valid Queries in Dynamic Distributed Systems, (to appear) Proceedings of the 13th International conference on distributed computing and networking (ICDCN), 2012. IC3 R. Baldoni, S. Bonomi, Amir Soltani Nezhad, An Algorithm for implementing BFT Registers in Distributed Systems with Bounded Churn, in Proceedings of 13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) 2011. IC4 S. Bonomi, Amir Soltani Nezhad, Multi-writer Regular Registers in Dynamic Distributed Systems with Byzantine Failures, in Proceedings of 3rd Workshop on Theoretical Aspects of Dynamic Distributed Systems (TADDS), 2011. IC5 R, Baldoni, S, Bonomi, A, Soltani Nezhad, Brief Announcement: Validity Bound of Regular Registers with Churn and Byzantine Processes, in Proceedings of 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC11), June 2011. IC6 R. Baldoni, S. Bonomi, M. Raynal, k-bounded Set Objects in Eventually Synchronous Distributed Systems with Churn and Continuous Accesses in Proceedings of 13th European Workshop on Dependable Computing (EWDC11), May 2011 IC7 R. Baldoni, S. Bonomi, M. Raynal Value-based Sequential Consistency for Set Objects in Dynamic Distributed Systems in Proceedings of 16th International Euro-Par Conference, 2010 IC8 R. Baldoni, S. Bonomi, A. Cerocchi, L. Querzoni Improving Validity of Query Answering in Dynamic Systems in Proceeding of 3rd ACM SIGOPS/SIGACT Workshop on Reliability, Availability, and Security (WRAS), July 2010
IC9 R. Baldoni, S. Bonomi, G. Lodi, L. Querzoni Data Dissemination supporting collaborative complex event processing: characteristics and open issues in Proceedings of Workshop on Data Distribution for Large-Scale Complex Critical Infrastructures (DD4LCCI), 2010 IC10 R. Baldoni, S. Bonomi, M. Raynal Joining a Distributed Shared Memory Computation in a Dynamic Distributed System Workshop on Software Technologies for Future Embedded and Ubiquitous Systems (SEUS) 2009 IC11 R. Baldoni, S Bonomi, Y. Busnel, R. Prakash FAROES: Fairness And Reliability using Overlay Expenseless Set-out for duty-cycle optimization in WSN in Proceeding of 22nd International Conference on Parallel and Distributed Computing and Communication Systems (PDCCS) 2009 IC12 R. Baldoni, S. Bonomi, M. Raynal Regular Register: an Implementation in a Churn Prone Environment In Proceeding of 16th International Colloquium on Structural Information (SIROCCO) 2009 IC13 R. Baldoni, S. Bonomi, A. M. Kermarrek, M. Raynal Implementing a Register in a Dynamic Distributed System In Proceeding of 29th International Conference on Distributed Computing Systems (ICDCS), 2009 IC14 M. Roy, F. Bonnet, L. Querzoni, S. Bonomi, M. Killijian, D. Powell Georegisters : an abstraction for spatial-based distributed computing In Proceeding of 12th International Conference On Principles Of DIstributed Systems (OPODIS), 2008 IC15 R. Baldoni, S. Bonomi, L. Querzoni, S. Tucci Piergiovanni Investigating the Existence and the Regularity of Logarithmic Harary Graphs In Proceedings of the 27th IEEE International International Symposium on Reliable Distributed Systems (SRDS), 2008 IC16 S. Bonomi, V. Colaianni, F. Patrizi, D. Pozzi, R. Russo, M. Mecella SWSCE An Automatic Web Service Composition Engine in Proceedings of the First International Workshop on Emergent Semantics and cooperation in open systems (ESTEEM08) co-located with DEBS08, Roma, Italia IC17 S. Bonomi, S. Tucci Piergiovanni Core-Based Reconfiguration for Reliable Overlay Networks in Proceedings of the First International Workshop on Emergent Semantics and cooperation in open systems (ESTEEM08) co-located with DEBS08, Roma, Italia IC18 F. Bonnet, S. Bonomi, M. Killijian, L. Querzoni, S. Scipioni, S. Tucci Piergiovanni FADA: Formalisms and Algorithms for Resilient Services Design in Ambient Systems Fast Abstract of the 7th European Dependable Computing Conference (EDCC), 2008 IC19 The esteem team Emergent Semantics and Cooperation in MultiKnowledge Environments: the ESTEEM Architecture in Proceeding of International Workshop on Semantic Data and Service Integration (SDSI07) co-located with VLDB07, Vienna, Austria, 2007 IC20 R. Baldoni, S. Bonomi, L. Querzoni, A. Rippa, S. Tucci Piergiovanni, A. Virgillito Fighting Erosion in Dynamic Large-Scale Overlay Networks in Proceeding of IEEE 21st International Conference on Advanced Information Networking and Applications (AINA), 2007 IC21 R. Baldoni, S. Bonomi, L. Querzoni, A. Rippa, S. Tucci Piergiovanni, A. Virgillito Evaluation of Unstructured Overlay Maintenance Protocols under Churn, in Proceeding of International Workshop on Dynamic Distributed Systems (IWDDS), 2006
Ph.D Dissertation S. Bonomi Implementing Distributed Computing Abstractions in the presence of Churn, 2010