Registered user since Sun 19 Mar 2017
Formal Methods and Logic and their applications to Programming Languages and Software Engineering. I like to explore and re-investigate the foundations of traditional solutions for intractable problems arising in testing, verification and synthesis of software systems. The current focus of my research is on developing techniques for detecting concurrency bugs, and on developing techniques for decidable program verification and synthesis.
|Commute||Weakening Mazurkiewicz Traces|
|PLDI 2022|| Session Chair of Concurrency (part of SIGPLAN Track)|
(POPL 2021) Optimal Prediction of Synchronization-Preserving Races
|Show activities from other conferences|
View general profile