“There is no substitute for hard work”
Publications
- Aman Goel, and Karem Sakallah "Towards an Automatic Proof of Lamport's Paxos", in Proceedings of the Formal Methods in Computer-Aided Design FMCAD'21 [arXiv] [slides] [video]
- Aman Goel, and Karem Sakallah "On Symmetry and Quantification: A New Approach to Verify Distributed Protocols", in Proceedings of the NASA Formal Methods Symposium NFM'21 [paper] [video] [extended_version] [artifact]
- Aman Goel, and Karem Sakallah "AVR: Abstractly Verifying Reachability", in International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'20 [paper] [preprint]
- Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah "I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocols", in 27th ACM Symposium on Operating Systems Principles SOSP'19 [paper]
- Haojun Ma, Aman Goel, Jean-Baptiste Jeannin, Manos Kapritsos, Baris Kasikci, Karem A. Sakallah "Towards Automatic Inference of Inductive Invariants" was published in the Workshop on Hot Topics in Operating Systems HotOS'19 [paper]
- Aman Goel, and Karem Sakallah "Model Checking of Verilog RTL using IC3 with Syntax-guided Abstraction", in Proceedings of the NASA Formal Methods Symposium NFM'19 [paper] [preprint]
- Aman Goel, and Karem Sakallah "Empirical Evaluation of IC3-Based Model Checking Techniques on Verilog RTL Designs", in Proceedings of the Design Automation and Test in Europe DATE'19 [paper] [preprint] [poster]
- Chaitanya Peddawad, Aman Goel, Dheeraj B, and Nitin Chandrachoodan, "iitRACE: A Memory Efficient Engine for Fast Incremental Timing Analysis and Clock Pessimism Removal", in Proceedings of the IEEE/ACM International Conference on Computer-Aided Design ICCAD'15, pp. 903-909 [paper]
- Chaitanya Peddawad, Aman Goel, and Dheeraj B, "Matrix-Matrix Multiplication Using Systolic Array Architecture in Bluespec", in Project report, CS6230: CAD for VLSI, IIT Madras [paper] [artifact]
- Aman Goel, "Solar Charger for Rechargeable Batteries Used in Hearing Aid Devices", in International Journal of Engineering Science and Innovative Technology IJESIT, Volume 2, Issue 5, September 2013, pp. 109-113 [paper]
Current Status:
I am a Ph.D. student candidate in the CSE department at the University of Michigan, Ann Arbor.
