Registered user since Fri 16 Jan 2015
I work on programming languages and formal methods. My research helps programmers build more reliable software using automated programming tools: verification tools that check program correctness, and synthesis tools that generate correct programs from specifications.
|SPLASH 2022||Synthesizing fine-grained synchronization protocols for implicit monitors|
|Show activities from other conferences|