| 2024 | EMNLP | InterIntent: Investigating Social Intelligence of LLMs via Intention Understanding in an Interactive Game Context. | Ziyi Liu, Abhishek Anand, Pei Zhou, Jen-tse Huang, Jieyu Zhao |
| 2024 | VLSID | An Integrated Multipurpose Low-Power Electrochemical Readout Interface with On-Chip Input Waveform Generator. | Sayan Sarkar, Abhishek Anand |
| 2018 | ITP | Towards Certified Meta-Programming with Typed Template-Coq. | Abhishek Anand, Simon Boulier, Cyril Cohen, Matthieu Sozeau, Nicolas Tabareau |
| 2015 | ITP | ROSCoq: Robots Powered by Constructive Reals. | Abhishek Anand, Ross A. Knepper |
| 2014 | ITP | Towards a Formally Verified Proof Assistant. | Abhishek Anand, Vincent Rahli |
| 2013 | ITP | Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types. | Vincent Rahli, Mark Bickford, Abhishek Anand |
| 2011 | SRDS | Finding Almost-Invariants in Distributed Systems. | Maysam Yabandeh, Abhishek Anand, Marco Canini, Dejan Kostic |
| 2009 | ICDCN | QDMAC: An Energy Efficient Low Latency MAC Protocol for Query Based Wireless Sensor Networks. | Abhishek Anand, Shikhar Sachan, Kalpesh Kapoor, Sukumar Nandi |