Vasu Singh

30 papers A* 5A 2B 5Misc 1Journal 8Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
ALBERTA: ALgorithm-Based Error Resilience in Transformer Architectures.
IEEE Open J. Comput. Soc.
Haoxuan Liu, Vasu Singh, Michal Filipiuk, Siva Kumar Sastry Hari
2025 B conf
Alignment Monitoring.
RV
Thomas A. Henzinger, Konstantin Kueffner, Vasu Singh, I Sun
2025 J jnl
Alignment Monitoring.
CoRR
Thomas A. Henzinger, Konstantin Kueffner, Vasu Singh, I Sun
2025 J jnl
HySafe-AI: Hybrid Safety Architectural Analysis Framework for AI Systems: A Case Study.
CoRR
Mandar Pitale, Jelena Frtunikj, Abhinaw Priyadershi, Vasu Singh, Maria Spence
2023 J jnl
ALBERTA: ALgorithm-Based Error Resilience in Transformer Architectures.
CoRR
Haoxuan Liu, Vasu Singh, Michal Filipiuk, Siva Kumar Sastry Hari
2022 — conf
Comparing Vision Transformers and Convolutional Nets for Safety Critical Systems.
SafeAI@AAAI
Michal Filipiuk, Vasu Singh
2022 — conf
Exploring Diversity in Neural Architectures for Safety.
AISafety@IJCAI
Michal Filipiuk, Vasu Singh
2022 J jnl
Zhuyi: Perception Processing Rate Estimation for Safety in Autonomous Vehicles.
CoRR
Yu-Shun Hsiao, Siva Kumar Sastry Hari, Michal Filipiuk, Timothy Tsai, Michael B. Sullivan, Vijay Janapa Reddi, Vasu Singh, Stephen W. Keckler
2022 A* conf
Zhuyi: perception processing rate estimation for safety in autonomous vehicles.
DAC
Yu-Shun Hsiao, Siva Kumar Sastry Hari, Michal Filipiuk, Timothy Tsai, Michael B. Sullivan, Vijay Janapa Reddi, Vasu Singh, Stephen W. Keckler
2021 — conf
Impact of Automotive System Safety Design on Machine Learning Based Perception Systems.
ICPS
Vasu Singh, Mandar Pitale
2021 — conf
Simulation Driven Design and Test for Safety of AI Based Autonomous Vehicles.
CVPR Workshops
Vasu Singh, Siva Kumar Sastry Hari, Timothy Tsai, Mandar Pitale
2020 — conf
Practical Solutions for Machine Learning Safety in Autonomous Vehicles.
SafeAI@AAAI
Sina Mohseni, Mandar Pitale, Vasu Singh, Zhangyang Wang
2019 J jnl
Practical Solutions for Machine Learning Safety in Autonomous Vehicles.
CoRR
Sina Mohseni, Mandar Pitale, Vasu Singh, Zhangyang Wang
2011 — conf
Quantitative Evaluation of BFT Protocols.
QEST
Raluca Halalai, Thomas A. Henzinger, Vasu Singh
2011 A conf
Scheduling large jobs by abstraction refinement.
EuroSys
Thomas A. Henzinger, Vasu Singh, Thomas Wies, Damien Zufferey
2011 — conf
Static Scheduling in Clouds.
HotCloud
Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey
2011 J jnl
Verification of STM on relaxed memory models.
Formal Methods Syst. Des.
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
2010 Misc conf
A marketplace for cloud resources.
EMSOFT
Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey
2010 — conf
FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment.
IEEE CLOUD
Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey
2010 — —
Formalizing and verifying transactional memories.
Vasu Singh
2010 J jnl
Model checking transactional memories.
Distributed Comput.
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
2010 B conf
Runtime Verification for Software Transactional Memories.
RV
Vasu Singh
2010 B conf
Transactions in the jungle.
SPAA
Rachid Guerraoui, Thomas A. Henzinger, Michal Kapalka, Vasu Singh
2010 B conf
Verifying Local Transformations on Relaxed Memory Models.
CC
Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh
2009 A* conf
Preventing versus curing: avoiding conflicts in transactional memories.
PODC
Aleksandar Dragojevic, Rachid Guerraoui, Anmol V. Singh, Vasu Singh
2009 A* conf
Software Transactional Memory on Relaxed Memory Models.
CAV
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
2008 B conf
Completeness and Nondeterminism in Model Checking Transactional Memories.
CONCUR
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
2008 A* conf
Model checking transactional memories.
PLDI
Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh
2008 A conf
Permissiveness in Transactional Memories.
DISC
Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
2007 A* conf
Algorithms for Interface Synthesis.
CAV
Dirk Beyer, Thomas A. Henzinger, Vasu Singh