Matin Amini

According to our database, Matin Amini authored at least 3 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Membership Testing for Semantic Regular Expressions.

Yifei Huang, Matin Amini, Alexis Le Glaunec, Konstantinos Mamouras, Mukund Raghothaman

Proc. ACM Program. Lang., 2025

"How Does my Circuit Work?": Local Explanations for the Behavior of Sequential Circuits.

Amirmohammad Nazari, Matin Amini, Mukund Raghothaman

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, 2025

Efficient Parallel Execution of Blockchain Transactions Leveraging Conflict Specifications.

Parwat Singh Anjana, Matin Amini, Rohit Kapoor, Rahul Parmar, Raghavendra Ramesh, Srivatsan Ravi, Joshua Tobkin

Proceedings of the 7th Conference on Advances in Financial Technologies, 2025