Programming languages and software engineering
Video
Stamping Out Concurrency Bugs
The shift to multi-core architectures in the past ten years pushed developers to write concurrent software to leverage hardware parallelism. The transition to multi-core hardware happened at a more rapid pace than the evolution of…
Publication
Memory Mutation Testing
Video
Stamping Out Concurrency Bugs
The shift to multi-core architectures in the past ten years pushed developers to write concurrent software to leverage hardware parallelism. The transition to multi-core hardware happened at a more rapid pace than the evolution of…
Publication
Semi-Supervised Verified Feedback Generation
Video
Can DRAM Do More Than Just Store Data?
In my Ph.D. thesis, I propose mechanisms to address the inefficiency caused by existing memory abstractions, which manage and access memory at different granularities at different resources. In this talk, I will focus my attention…
