Programming languages and software engineering
Publication
Making a faster curry with extensional types
Publication
Higher-order type-level programming in Haskell
Tool
Torch [1.0]
TSVD is an easy-to-use tool to efficiently detect thread-safety violation (e.g., data races) in .NET applications. It instruments application binaries to significantly increase the chance to find such violations with existing tests.
Publication
Validating datacenters at scale
Video
Programming Languages and Technical Disruption
[Video of my keynote presentation at PLDI 2016.] What do cheating on fuel economy, the London Whale, and building a better mosquito trap have in common? We are constantly bombarded with technical innovations that disrupt…
Video
Steel: A Concurrent Separation Logic Framework to Scale Up Verification in F*
In recent years, the F* ecosystem has been successfully used to formally verify real-world applications ranging from parsers to cryptographic providers. Nevertheless, verification is still time-consuming, and scaling up is still challenging due to (1)…
Video
Reproducible Codes and Cryptographic Applications
In this talk I will present a work in progress on structured linear block codes. The investigation starts from well-known examples and generalizes them to a wide class of codes that we call reproducible codes.…
Video
Towards Secure and Interpretable AI: Scalable Methods, Interactive Visualizations, and Practical Tools
The explosion of available idea repositories — scientific papers, patents, product descriptions — represents an unprecedented opportunity to accelerate innovation and lead to a wealth of discoveries. Given the scale of the problem and its…
Publication