-
MSR India
- Mumbai
Highlights
- Pro
Popular repositories Loading
-
SuggestiveAnnotation
SuggestiveAnnotation PublicImplementation of the paper : https://arxiv.org/abs/1706.04737
-
e-commerceSimulation
e-commerceSimulation PublicSimulating the basic functionality in an e-commerce website
C++
-
-
-
assignments-cs736
assignments-cs736 PublicAssignments for the course CS736, Spring 2018 (Prof. Suyash Awate)
HTML 1
-
prob_termination
prob_termination PublicTermination checker for probabilistic programs using Lexicographic Ranking Supermartingales. Implementation for paper at POPL 2018. (https://dl.acm.org/citation.cfm?id=3158122)
TeX
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.