Vineet Rajani -

Registered user since Sun 8 Nov 2020

Name:Vineet Rajani

Country:Germany

Affiliation:MPI-SP

Personal website:https://vineetrajani.github.io

Contributions

POPL 2021	Author of A Unifying Type-Theory for Higher-Order (Amortized) Cost Analysis within the POPL-track
POPL 2019	Author of From Fine- to Coarse-Grained Dynamic Information Flow Control and Back within the Research Papers-track