Vasu Singh

According to our database, Vasu Singh authored at least 24 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

ALBERTA: ALgorithm-Based Error Resilience in Transformer Architectures.

Haoxuan Liu, Vasu Singh, Michal Filipiuk, Siva Kumar Sastry Hari

CoRR, 2023

2022

Exploring Diversity in Neural Architectures for Safety.

Michal Filipiuk, Vasu Singh

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (AISafety 2022) co-located with the Thirty-First International Joint Conference on Artificial Intelligence and the Twenty-Fifth European Conference on Artificial Intelligence (IJCAI-ECAI-2022), 2022

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

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

Comparing Vision Transformers and Convolutional Nets for Safety Critical Systems.

Michal Filipiuk, Vasu Singh

Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth AAAI Conference on Artificial Intelligence (AAAI2022), 2022

2021

Impact of Automotive System Safety Design on Machine Learning Based Perception Systems.

Vasu Singh, Mandar Pitale

Proceedings of the 4th IEEE International Conference on Industrial Cyber-Physical Systems, 2021

Simulation Driven Design and Test for Safety of AI Based Autonomous Vehicles.

Vasu Singh, Siva Kumar Sastry Hari, Timothy Tsai, Mandar Pitale

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2021

2020

Practical Solutions for Machine Learning Safety in Autonomous Vehicles.

Sina Mohseni, Mandar Pitale, Vasu Singh, Zhangyang Wang

Proceedings of the Workshop on Artificial Intelligence Safety, 2020

2011

Verification of STM on relaxed memory models.

Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh

Formal Methods Syst. Des., 2011

Quantitative Evaluation of BFT Protocols.

Raluca Halalai, Thomas A. Henzinger, Vasu Singh

Proceedings of the Eighth International Conference on Quantitative Evaluation of Systems, 2011

Static Scheduling in Clouds.

Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey

Proceedings of the 3rd USENIX Workshop on Hot Topics in Cloud Computing, 2011

Scheduling large jobs by abstraction refinement.

Thomas A. Henzinger, Vasu Singh, Thomas Wies, Damien Zufferey

Proceedings of the European Conference on Computer Systems, 2011

2010

Formalizing and verifying transactional memories.

Vasu Singh

PhD thesis, 2010

Model checking transactional memories.

Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh

Distributed Comput., 2010

Transactions in the jungle.

Rachid Guerraoui, Thomas A. Henzinger, Michal Kapalka, Vasu Singh

Proceedings of the SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2010

Runtime Verification for Software Transactional Memories.

Vasu Singh

Proceedings of the Runtime Verification - First International Conference, 2010

A marketplace for cloud resources.

Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey

Proceedings of the 10th International conference on Embedded software, 2010

Verifying Local Transformations on Relaxed Memory Models.

Sebastian Burckhardt, Madanlal Musuvathi, Vasu Singh

Proceedings of the Compiler Construction, 19th International Conference, 2010

FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment.

Thomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey

Proceedings of the IEEE International Conference on Cloud Computing, 2010

2009

Preventing versus curing: avoiding conflicts in transactional memories.

Aleksandar Dragojevic, Rachid Guerraoui, Anmol V. Singh, Vasu Singh

Proceedings of the 28th Annual ACM Symposium on Principles of Distributed Computing, 2009

Software Transactional Memory on Relaxed Memory Models.

Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Permissiveness in Transactional Memories.

Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh

Proceedings of the Distributed Computing, 22nd International Symposium, 2008

Model checking transactional memories.

Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh

Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

Completeness and Nondeterminism in Model Checking Transactional Memories.

Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007

Algorithms for Interface Synthesis.

Dirk Beyer, Thomas A. Henzinger, Vasu Singh

Proceedings of the Computer Aided Verification, 19th International Conference, 2007