Registered user since Tue 19 Sep 2017
Name: Sheshansh Agrawal
Affiliation: IIT Bombay
POPL 2018 Activities
- Author of Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs within the Artifact Evaluation-track in POPL 2018
- Author of Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs within the Research Papers-track in POPL 2018
- Show activities from other conferences
POPL 2018-profile
View general profile
View general profile