research
∙
08/09/2023
Fixing Rust Compilation Errors using LLMs
The Rust programming language, with its safety guarantees, has establish...
share
research
∙
05/01/2020
Studying Ransomware Attacks Using Web Search Logs
Cyber attacks are increasingly becoming prevalent and causing significan...
research
∙
02/12/2020
Building Reliable Cloud Services Using P# (Experience Report)
Cloud services must typically be distributed across a large number of ma...
research
∙
02/25/2019