POPL 2018
Sun 7 - Sat 13 January 2018 Los Angeles, California, United States
POPL 2018 (series) / Sheshansh Agrawal

Registered user since Tue 19 Sep 2017

Name: Sheshansh Agrawal

Affiliation: IIT Bombay

Contributions

POPL 2018Author of Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs within the Artifact Evaluation-track
Author of Lexicographic Ranking Supermartingales: An Efficient Approach to Termination of Probabilistic Programs within the Research Papers-track
Show activities from other conferences

POPL 2018-profile
View general profile