Programming languages and software engineering
Publication
WhoDo: Automating Reviewer Suggestions at Scale
Video
Compacting the Uncompactable: The Mesh Compacting Memory Allocator
Programs written in C/C++ can suffer from serious memory fragmentation, leading to low utilization of memory, degraded performance, and even application failure due to memory exhaustion. This problem extends to languages like Ruby and Python,…
Video
Tea: A High-level Language and Runtime System for Automating Statistical Analysis
Current statistical tools place the burden of valid, reproducible statistical analyses on the user. Users must have deep knowledge of statistics to not only identify their research questions, hypotheses, and domain assumptions but also select…
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