Search

Home
Projects
Publications
Teaching
Students

Akash Lal

Latest

Automatically finding atomic regions for fixing bugs in Concurrent Programs
Underspecified harnesses and interleaved bugs

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite