Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ranjit Jhala
Refinement Types for Haskell
ACM SIGPLAN Notices
Computer Science
Verifying GPU Kernels by Test Amplification