Vasu Singh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
17
Venues
13
Active years
2007–2026
Best venue rank
A*
Where they publish
Papers
17 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Ensuring Safety in Automotive Machine Learning Inference: From Pre-validated Static Kernels to Machine Learning Graph Compilation. | Jelena Frtunikj, Alex Latz, Ajit Mistry, Matthew Propp, Vasu Singh, Suresh Talapaneni, Amanda Tang, Damien Zufferey |
| 2025 | RV | Alignment Monitoring. | Thomas A. Henzinger, Konstantin Kueffner, Vasu Singh, I Sun |
| 2022 | AAAI | Comparing Vision Transformers and Convolutional Nets for Safety Critical Systems. | Michal Filipiuk, Vasu Singh |
| 2022 | DAC | Zhuyi: perception processing rate estimation for safety in autonomous vehicles. | Yu-Shun Hsiao, Siva Kumar Sastry Hari, Michal Filipiuk, Timothy Tsai, Michael B. Sullivan, Vijay Janapa Reddi, Vasu Singh, Stephen W. Keckler |
| 2022 | IJCAI | Exploring Diversity in Neural Architectures for Safety. | Michal Filipiuk, Vasu Singh |
| 2021 | CVPR | Simulation Driven Design and Test for Safety of AI Based Autonomous Vehicles. | Vasu Singh, Siva Kumar Sastry Hari, Timothy Tsai, Mandar Pitale |
| 2020 | AAAI | Practical Solutions for Machine Learning Safety in Autonomous Vehicles. | Sina Mohseni, Mandar Pitale, Vasu Singh, Zhangyang Wang |
| 2011 | EuroSys | Scheduling large jobs by abstraction refinement. | Thomas A. Henzinger, Vasu Singh, Thomas Wies, Damien Zufferey |
| 2010 | CC | Verifying Local Transformations on Relaxed Memory Models. | Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh |
| 2010 | EMSOFT | A marketplace for cloud resources. | Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey |
| 2010 | SPAA | Transactions in the jungle. | Rachid Guerraoui, Thomas A. Henzinger, Michal Kapalka, Vasu Singh |
| 2010 | RV | Runtime Verification for Software Transactional Memories. | Vasu Singh |
| 2009 | CAV | Software Transactional Memory on Relaxed Memory Models. | Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh |
| 2009 | PODC | Preventing versus curing: avoiding conflicts in transactional memories. | Aleksandar Dragojevic, Rachid Guerraoui, Anmol V. Singh, Vasu Singh |
| 2008 | CONCUR | Completeness and Nondeterminism in Model Checking Transactional Memories. | Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh |
| 2008 | PLDI | Model checking transactional memories. | Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh |
| 2007 | CAV | Algorithms for Interface Synthesis. | Dirk Beyer, Thomas A. Henzinger, Vasu Singh |