Abhishek Anand
Abhishek Anand
Unknown affiliation
No verified email - Homepage
Cited by
Cited by
Semantic labeling of 3d point clouds for indoor scenes
HS Koppula, A Anand, T Joachims, A Saxena
Neural Information Processing Systems (NIPS), 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
CertiCoq: A verified compiler for Coq
A Anand, AW Appel, G Morrisett, Z Paraskevopoulou, R Pollack, ...
Coq Workshop at POPL 2017, 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
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
Towards a formally verified proof assistant
A Anand, V Rahli
Interactive Theorem Proving 2014, accepted for publication, 2014
ROSCoq: Robots Powered by Constructive Reals
A Anand, R Knepper
Interactive Theorem Proving, 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
Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types
V Rahli, M Bickford, A Anand
ITP, 2013
Revisiting Parametricity: Inductives and Uniformity of Propositions
A Anand, G Morrisett
arXiv preprint arXiv:1705.01163, 2017
A Type Theory with Partial Equivalence Relations as Types
A Anand, M Bickford, RL Constable, V Rahli
TYPES, 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
A Generic Approach to Proofs about Substitution
A Anand, V Rahli
Proceedings of the 2014 International Workshop on Logical Frameworks andá…, 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
3D Scene Grammar for Parsing RGB-D Pointclouds
A Anand, S Li
arXiv preprint arXiv:1211.1752, 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
Towards a Formally Verified Proof Assistant (technical report)
A Anand, V Rahli
Cornell University, 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
The system can't perform the operation now. Try again later.
Articles 1–20