Quantitative Monitoring of Semantic Regular Expressions with Oracle-Defined Trace Predicates
Published in RV (to appear), 2026
Publications
Efficient Parallel Execution of Blockchain Transactions Leveraging Conflict Specifications
Published in AFT, 2025
Parwat Singh Anjana, Matin Amini, Rohit Kapoor, Rahul Parmar, Raghavendra Ramesh, Srivatsan Ravi, Joshua Tobkin. https://advfintech.org/aft25/program.html
“How Does my Circuit Work? ” Local Explanations for the Behavior of Sequential Circuits
Published in FMCAD, 2025
Amirmohammad Nazari, Matin Amini, Mukund Raghothaman. https://r-mukund.github.io/pdf/submitted/2025-SS3.pdf
Membership Testing for Semantic Regular Expressions
Published in PLDI, 2025
Yifei Huang, Matin Amini, Alexis Le Guanc, Konstantinos Mamouras, Mukund Raghothaman. https://dl.acm.org/doi/pdf/10.1145/3729300