Pinaka: Symbolic Execution Meets Incremental Solving - (Competition Contribution). | 0 | 0.34 | 2019 |
Utility of Visual Analytics for Identifying Patient Subgroups in EMRs - Insights for Accelerating Precision Medicine. | 0 | 0.34 | 2018 |
Automatically finding atomic regions for fixing bugs in Concurrent programs. | 1 | 0.34 | 2014 |
A 130.7mm2 2-layer 32Gb ReRAM memory device in 24nm technology | 0 | 0.34 | 2013 |
Underspecified harnesses and interleaved bugs | 21 | 0.76 | 2012 |
A New Method of MHP Analysis for Languages with Dynamic Barriers | 4 | 0.42 | 2012 |