talks

  • Plume: Efficient and Complete Black‑box Checking of Weak Isolation Levels. OOPSLA’24, Pasadena, USA, 2024.

  • NOC-NOC: Towards Performance-optimal Distributed Transactions. SIGMOD’24, Santiago, Chile, 2024.

  • Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs. NFM’20, Virtual, 2020.

  • Design, Verification and Automatic Implementation of Correct-by-Construction Distributed Transaction Systems in Maude. University Paris Diderot, France, 2019.

  • Design, Verification and Automatic Implementation of Correct-by-Construction Distributed Transaction Systems in Maude. ETH Zurich, Switzerland, 2019.

  • Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude. TACAS’19, Prague, Czech Republic, 2019.

  • Exploring Design Alternatives for RAMP Transactions through Statistical Model Checking. ICFEM’17, Xi’an, China, 2017.

  • Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude. Huawei, Urbana-Champaign, USA, 2017.

  • Exploring Design Alternatives for the RAMP Transaction System Through Statistical Model Checking. Assured Cloud Computing Center, Urbana-Champaign, USA, 2017.

  • Formal Modeling and Analysis of Ramp Transaction Systems. SAC’16, Pisa, Italy, 2016.

  • Formal Modeling and Analysis of Ramp Transaction Systems. Assured Cloud Computing Center, Urbana-Champaign, USA, 2016.

  • Quantitative Analysis of Consistency in NoSQL Key-value Stores. QEST’15, Madrid, Spain, 2015.

  • Quantitative Analysis of Consistency in NoSQL Key-value Stores. Assured Cloud Computing Center, Urbana-Champaign, USA, 2015.

  • A Framework for Mobile Ad hoc Networks in Real-Time Maude. WRLA’14, Grenoble, France, 2014.

  • Formal Modeling and Analysis of Cassandra in Maude. Assured Cloud Computing Center, Urbana-Champaign, USA, 2014.

  • A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective. HASE’11, Boca Raton, USA, 2011.

  • Towards a Probabilistic Calculus for Mobile Ad Hoc Networks. University of Science and Technology of China, Suzhou, China, 2011.

  • Towards a Probabilistic Calculus for Mobile Ad Hoc Networks. TASE’11, Xi’an, China, 2011.

  • Formal Approaches to Wireless Sensor Networks. SSIRI’11, Jeju Island, Korea, 2011.