Vasu Singh - RankMe

30 papers A* 5A 2B 5Misc 1Journal 8Unranked 8

Year	Rank	Type	Title / 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