Abhishek Anand
Abhishek Anand
Tuntematon yhteys
Ei vahvistettua sähköpostiosoitetta
Nimike
Viittaukset
Viittaukset
Vuosi
Semantic labeling of 3d point clouds for indoor scenes
HS Koppula, A Anand, T Joachims, A Saxena
Neural Information Processing Systems (NIPS), 2011
4392011
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, 0278364912461538, 2012
2382012
CertiCoq: A verified compiler for Coq
A Anand, AW Appel, G Morrisett, Z Paraskevopoulou, R Pollack, ...
Coq Workshop at POPL 2017, 2017
812017
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
492018
Towards a formally verified proof assistant
A Anand, V Rahli
Interactive Theorem Proving 2014, accepted for publication, 2014
422014
The MetaCoq Project
M Sozeau, A Anand, S Boulier, C Cohen, Y Forster, F Kunze, G Malecha, ...
Journal of Automated Reasoning, 1-53, 2020
402020
ROSCoq: Robots Powered by Constructive Reals
A Anand, R Knepper
Interactive Theorem Proving, 2015
352015
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
24*2011
Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types
V Rahli, M Bickford, A Anand
ITP, 2013
212013
A Type Theory with Partial Equivalence Relations as Types
A Anand, M Bickford, RL Constable, V Rahli
TYPES, 2014
122014
Revisiting Parametricity: Inductives and Uniformity of Propositions
A Anand, G Morrisett
arXiv preprint arXiv:1705.01163, 2017
102017
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
92018
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
52009
A Generic Approach to Proofs about Substitution
A Anand, V Rahli
Proceedings of the 2014 International Workshop on Logical Frameworks and …, 2014
42014
3D Scene Grammar for Parsing RGB-D Pointclouds
A Anand, S Li
arXiv preprint arXiv:1211.1752, 2012
12012
Towards a Formally Verified Proof Assistant (technical report)
A Anand, V Rahli
Cornell University, 2014
2014
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
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–18