| Semantic labeling of 3d point clouds for indoor scenes HS Koppula, A Anand, T Joachims, A Saxena Neural Information Processing Systems (NIPS), 2011 | 480 | 2011 |
| Contextually guided semantic labeling and search for three-dimensional point clouds A Anand, HS Koppula, T Joachims, A Saxena The International Journal of Robotics Research 32 (1), 19-34, 2013 | 258 | 2013 |
| CertiCoq: A verified compiler for Coq A Anand, AW Appel, G Morrisett, Z Paraskevopoulou, R Pollack, ... Coq Workshop at POPL 2017, 2017 | 134 | 2017 |
| The MetaCoq Project M Sozeau, A Anand, S Boulier, C Cohen, Y Forster, F Kunze, G Malecha, ... Journal of Automated Reasoning, 1-53, 2020 | 111 | 2020 |
| Towards Certified Meta-Programming with Typed Template-Coq A Anand, S Boulier, C Cohen, M Sozeau, N Tabareau ITP 2018-9th Conference on Interactive Theorem Proving, 2018 | 64 | 2018 |
| Towards a formally verified proof assistant A Anand, V Rahli Interactive Theorem Proving 2014, accepted for publication, 2014 | 53 | 2014 |
| ROSCoq: Robots Powered by Constructive Reals A Anand, R Knepper Interactive Theorem Proving, 2015 | 51 | 2015 |
| Finding almost-invariants in distributed systems M Yabandeh, A Anand, M Canini, D Kostić Reliable Distributed Systems (SRDS), 2011 30th IEEE Symposium on, 177-182, 2011 | 27* | 2011 |
| Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types V Rahli, M Bickford, A Anand ITP, 2013 | 20 | 2013 |
| Revisiting Parametricity: Inductives and Uniformity of Propositions A Anand, G Morrisett arXiv preprint arXiv:1705.01163, 2017 | 13 | 2017 |
| A Type Theory with Partial Equivalence Relations as Types A Anand, M Bickford, RL Constable, V Rahli TYPES, 2014 | 12 | 2014 |
| Typed Template Coq--Certified Meta-Programming in Coq A Anand, S Boulier, N Tabareau, M Sozeau The Fourth International Workshop on Coq for Programming Languages, 2018 | 9 | 2018 |
| A Generic Approach to Proofs about Substitution A Anand, V Rahli Proceedings of the 2014 International Workshop on Logical Frameworks and …, 2014 | 7 | 2014 |
| QDMAC: An energy efficient low latency MAC protocol for query based wireless sensor networks A Anand, S Sachan, K Kapoor, S Nandi International Conference on Distributed Computing and Networking, 306-317, 2009 | 4 | 2009 |
| 3D Scene Grammar for Parsing RGB-D Pointclouds A Anand, S Li arXiv preprint arXiv:1211.1752, 2012 | 1 | 2012 |
| The MetaCoq Project S Matthieu, A Anand, S Boulier, C Cohen, F Yannick, K Fabian, ... Journal of Automated Reasoning 64 (5), 947-999, 2020 | | 2020 |
| Towards a Formally Verified Proof Assistant (technical report) A Anand, V Rahli Cornell University, 2014 | | 2014 |
| Towards an Axiomatic Basis for C+ G Malecha, A Anand, G Stewart | | |
| Extracting from F* to C: a progress report P Wang, K Bhargavan, JK Zinzindohoué, A Anand, C Fournet, B Parno, ... | | |
| A ROS (Robot Operating System) shim for Coq A Anand | | |
Hema Swetha KoppulaResearch Scientist, SkydioVerified email at cs.cornell.edu
