Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
About me
About me
Page not in menu
This is a page not in th emain menu
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
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