MARCO SERAFINI

Yahoo! Research
Avinguda Diagonal 177, 8th Floor
08018 Barcelona
Catalunya (Spain)

Email: (family name) yahoo-inc.com

  

 

 

 

 

 

 

 

 




About me


I received my MS degree in Computer Science from the University of Florence and my PhD from the DEEDS group of TU Darmstadt.
I was also a member of the GK "Cooperative, Adaptive and Responsive Monitoring in Mixed Mode Environments".

I defended my thesis in September 2010. Currently I am a visiting scientist at Yahoo! Research.

 

RESEARCH INTERESTS

I am interested in distributed systems, with a focus on dependability, scalability and formal verification


BOOK CHAPTERS


  • Marco Serafini
    "Effiziente Fehlertoleranz fuer Web-Basierte Systeme" (Efficient fault tolerance for Web-Based Systems)
    in "Ausgezeichnete Informatikdissertationen 2010" (Outstanding PhD Dissertations in Computer Science 2010),
    Editor: Steffen Hoelldobler et al. Publisher: Gesellschaft fuer Informatik (the German Computer Science Society).
    ISBN 978-3-88579-415-8


JOURNAL PUBLICATIONS


  • Marco Serafini, Peter Bokor, Neeraj Suri, Jonny Vinter, Astrit Ademaj, Wolfgang Brandstaetter, Fulvio Tagliabo' and Jens Koch
    "Application-Level Diagnostic and Membership Protocols for Generic Time-Triggered Systems"
    IEEE Transactions on Dependable and Secure Computing, 8(2), pp. 177-193, Mar. 2011. (pdf)

  • Marco Serafini, Andrea Bondavalli and Neeraj Suri
    "On-Line Diagnosis and Recovery: On the Choice and Impact of Tuning Parameters"
    IEEE Transactions on Dependable and Secure Computing, 4(4), pp. 295-312, Oct. 2007. (pdf)


CONFERENCE PUBLICATIONS AND TECHNICAL REPORTS


  • Diogo Becker, Flavio Junqueira and Marco Serafini,
    "Leader Election for Replicated Services Using Application Scores"
     Proc. of ACM/IFIP/USENIX Middleware 2011


  • Peter Bokor, Johannes Kinder, Marco Serafini and Neeraj Suri,
    "Supporting Domain-Specific State Space Reductions through Local Partial-Order Reduction"
     Proc. of the IEEE/ACM Int'l Conf. on Automated Software Engineering (ASE) 2011


  • Flavio Junqueira, Benjamin Reed and Marco Serafini,
    " Zab: High-performance broadcast for primary-backup systems"
     Proc. of the IEEE Int'l Conf. on Dependable Systems and Networks (DSN-DCCS) 2011


  • Peter Bokor, Johannes Kinder, Marco Serafini, and Neeraj Suri,
    " Efficient Model Checking of Fault-Tolerant Distributed Protocols "
     Proc. of the IEEE Int'l Conf. on Dependable Systems and Networks (DSN-DCCS) 2011


  • Marco Serafini and Flavio Junqueira,
    "Weak Consistency as a Last Resort"
    Proc. of the ACM Workshop on Large Scale Distributed Systems and Middleware (LADIS) 2010 (pdf)

  • Marco Serafini, Dan Dobre, Matthias Majuntke, Peter Bokor and Neeraj Suri,
    "Eventually Linearizable Shared Objects"
     Proc. of the ACM Symp. on Principles of Distributed Computing (PODC) 2010 (pdf)


  • Marco Serafini, Peter Bokor, Dan Dobre, Matthias Majuntke and Neeraj Suri,
    "Scrooge: Reducing the Costs of Fast Byzantine Replication in Presence of Unresponsive Replicas"
     Proc. of the IEEE Int'l Conf. on Dependable Systems and Networks (DSN-DCCS) 2010 (pdf)


  • Peter Bokor, Marco Serafini and Neeraj Suri,
    "On Efficient Models for Model Checking Message-Passing Distributed Protocols"
     Proc. Formal Techniques for Networked and Distributed Systems (FORTE) 2010 (pdf)

  • Dan Dobre, Matthias Majuntke, Marco Serafini and Neeraj Suri,
    "HP: Hybrid Paxos for WANs"
     Proc. European Dependable Computing Conference (EDCC) 2010 (pdf)

  • Matthias Majuntke, Dan Dobre, Marco Serafini and Neeraj Suri,
    "Abortable Fork-Linearizable Storage "
     Proc. of Int'l Conf. on Principles of Distributed Systems (OPODIS) 2009 (pdf)

  • Peter Bokor, Marco Serafini and Neeraj Suri,
    "Role-Based Reduction of Fault-Tolerant Distributed Protocols with Language Support "
     Proc. of Int'l Conf. on Formal Engineering Methods (ICFEM) 2009 (pdf)

  • Peter Bokor, Marco Serafini, Helmut Veith and Neeraj Suri,
    "Efficient Model Checking of Fault-tolerant Distributed Protocols Using Symmetry Reduction (Brief Announcement)"
     Proc. of the IEEE Int'l Symp. on Distributed Computing (DISC) 2009 (pdf)

  • Dan Dobre, Matthias Majuntke, Marco Serafini and Neeraj Suri,
    "Efficient Robust Storage using Secret Tokens"
     Proc. of the IEEE Int'l Symp. on Stabilization, Safety, and Security of Distributed Systems (SSS) 2009 (pdf)


  • Marco Serafini and Neeraj Suri,
    "Reducing the Costs of Large-Scale BFT Replication"
     Proc. of Large-Scale Distributed Systems and Middleware (LADIS) 2008 (pdf)


  • Marco Serafini and Neeraj Suri,
    "The Fail-Heterogeneous Architectural Model"
     Proc. of the IEEE Int'l Symp. on Reliable Distributed Systems (SRDS) 2007 (pdf)


  • Marco Serafini, Neeraj Suri, Jonny Vinter, Astrit Ademaj, Wolfgang Brandstätter, Fulvio Tagliabò and Jens Koch
    "A Tunable Add-On Diagnostic Protocol for Time-Triggered Systems"
     Proc. of the IEEE Int'l Conf. on Dependable Systems and Networks (DSN-DCCS) 2007 (pdf)

  • Kohei Sakurai, Masahiro Matsubara, Marco Serafini and Neeraj Suri
    "Dependable and Cost-Effective Architecture for X-by-Wire Systems with Membership Middleware"
     Proc. of FISITA World Automotive Congress 2008.

  • Peter Bokor, Marco Serafini, Aron Sisak, Andras Pataricza and Neeraj Suri,
    "Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation"
     Proc. of the IEEE Int'l Symp. on High Assurance Systems Engineering (HASE) 2007 (pdf)


PROFESSIONAL ACTIVITIES

Program Committee member for EDCC 2012, EWDCC 2012, WRAITS 2011, EWDC 2011 and SOFSEM 2011.

Reviewer for journals such as Distributed Computing, the IEEE Transactions on Computers, IEEE Transactions on Parallel and Distributed Systems, and IEEE Computer.