Khurram A. Jafery

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 4

Top Topics

Space Efficient

Conditional Probabilities

Inherent Uncertainty

Top Venues

Proc. ACM Program. Lang.

Publications

Felipe Bañados Schwerter, Alison M. Clark, Khurram A. Jafery, Ronald Garcia
Abstracting gradual typing moving forward: precise and space-efficient. Proc. ACM Program. Lang. 5 (POPL) (2021)
Felipe Bañados Schwerter, Alison M. Clark, Khurram A. Jafery, Ronald Garcia
Abstracting Gradual Typing Moving Forward: Precise and Space-Efficient. CoRR (2020)
Khurram A. Jafery, Jana Dunfield
Sums of uncertainty: refinements go gradual. POPL (2017)
Khurram A. Jafery, Jana Dunfield
Sums of Uncertainty: Refinements Go Gradual. CoRR (2016)