I am a second year CS PhD at UW-Madison. My research interests are primarily in formal methods and programming languages. Specifically, my research aims to take program synthesizers -- automated tools that can generate programs -- and scale them to real-world tasks. Currently, I am a member of the MadPL group, where I'm advised by the wonderful Prof. Loris D'Antoni.

Outside of school, I like to travel, hike, cook (and eat), read books, and play games.

Publications

• Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (OOPSLA 2022)
  Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt, Isil Dillig
  [PDF] [Extended] [Code]

Teaching

• TA for CS536 Introduction to PL and Compilers, UW-Madison, Spring 2023 [link]
• TA for CS240 Discrete Mathematics, UW-Madison, Fall 2022
• TA for CS389L Automated Logical Reasoning (Grad), UT-Austin, Spring 2021 [link]
• TA for CS311H Discrete Math (Honors), UT-Austin, Fall 2020 [link]
• Mentor for Program Synthesis Directed Reading Program, Spring 2021 [reading list]