Portfolio 1
Posts by Collection
portfolio
publications
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
“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
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
talks
teaching
Teaching Asistant - Spring 2020
Advanced Programming, Sharif University of Technology, Department of Mathematical Sciences, 2020
Course Instructor: Dr. Hossein Boomari, Mojtaba Ostovari
Teaching Asistant - Fall 2021
Operation Research, Sharif University of Technology, Department of Mathematical Sciences, 2021
Course Instructor: Dr. Hani Ahmadzadeh
Teaching Asistant - Spring 2025
Theory of Computation, University of Southern California, Thomas Lord Department of Computer Science, 2025
Course Instructor: Dr. Aaron Cote