I'm interested in tools and techniques that enable us to write reliable and secure software, especially complex ones like concurrent and distributed systems.


  • Alexander Bakst, Klaus von Gleissenthall, Rami Gökhan Kici, Ranjit Jhala. Verifying distributed programs via canonical sequentialization. OOPSLA'17. [pdf]
  • Dimitar Bounov, Rami Gokhan Kici, Sorin Lerner. Protecting C++ Dynamic Dispatch Through VTable Interleaving. NDSS'16. [pdf]

Teaching Assistantships