Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Vasu Singh
@article{DBLP:journals/corr/abs-2310-03841, author = {Haoxuan Liu and Vasu Singh and Michal Filipiuk and Siva Kumar Sastry Hari}, title = {{ALBERTA:} ALgorithm-Based Error Resilience in Transformer Architectures}, journal = {CoRR}, volume = {abs/2310.03841}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2310.03841}, doi = {10.48550/ARXIV.2310.03841}, eprinttype = {arXiv}, eprint = {2310.03841}, timestamp = {Thu, 19 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2310-03841.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/FilipiukS22, author = {Michal Filipiuk and Vasu Singh}, editor = {Gabriel Pedroza and Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and Xin Cynthia Chen and Xiaowei Huang and Hu{\'{a}}scar Espinoza and Mauricio Castillo{-}Effen and John A. McDermid and Richard Mallah and Se{\'{a}}n {\'{O}} h{\'{E}}igeartaigh}, title = {Comparing Vision Transformers and Convolutional Nets for Safety Critical Systems}, booktitle = {Proceedings of the Workshop on Artificial Intelligence Safety 2022 (SafeAI 2022) co-located with the Thirty-Sixth {AAAI} Conference on Artificial Intelligence (AAAI2022), Virtual, February, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3087}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3087/paper\_31.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:15 +0100}, biburl = {https://dblp.org/rec/conf/aaai/FilipiukS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dac/HsiaoHF00RSK22, author = {Yu{-}Shun Hsiao and Siva Kumar Sastry Hari and Michal Filipiuk and Timothy Tsai and Michael B. Sullivan and Vijay Janapa Reddi and Vasu Singh and Stephen W. Keckler}, editor = {Rob Oshana}, title = {Zhuyi: perception processing rate estimation for safety in autonomous vehicles}, booktitle = {{DAC} '22: 59th {ACM/IEEE} Design Automation Conference, San Francisco, California, USA, July 10 - 14, 2022}, pages = {289--294}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3489517.3530445}, doi = {10.1145/3489517.3530445}, timestamp = {Thu, 25 Aug 2022 14:23:32 +0200}, biburl = {https://dblp.org/rec/conf/dac/HsiaoHF00RSK22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/FilipiukS22, author = {Michal Filipiuk and Vasu Singh}, editor = {Gabriel Pedroza and Xin Cynthia Chen and Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and Xiaowei Huang and Hu{\'{a}}scar Espinoza and Richard Mallah and John A. McDermid and Mauricio Castillo{-}Effen}, title = {Exploring Diversity in Neural Architectures for Safety}, booktitle = {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), Vienna, Austria, July 24-25, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3215}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3215/16.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:32 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/FilipiukS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-03347, author = {Yu{-}Shun Hsiao and Siva Kumar Sastry Hari and Michal Filipiuk and Timothy Tsai and Michael B. Sullivan and Vijay Janapa Reddi and Vasu Singh and Stephen W. Keckler}, title = {Zhuyi: Perception Processing Rate Estimation for Safety in Autonomous Vehicles}, journal = {CoRR}, volume = {abs/2205.03347}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.03347}, doi = {10.48550/ARXIV.2205.03347}, eprinttype = {arXiv}, eprint = {2205.03347}, timestamp = {Wed, 11 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-03347.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cvpr/SinghH0P21, author = {Vasu Singh and Siva Kumar Sastry Hari and Timothy Tsai and Mandar Pitale}, title = {Simulation Driven Design and Test for Safety of {AI} Based Autonomous Vehicles}, booktitle = {{IEEE} Conference on Computer Vision and Pattern Recognition Workshops, {CVPR} Workshops 2021, virtual, June 19-25, 2021}, pages = {122--128}, publisher = {Computer Vision Foundation / {IEEE}}, year = {2021}, url = {https://openaccess.thecvf.com/content/CVPR2021W/SAIAD/html/Singh\_Simulation\_Driven\_Design\_and\_Test\_for\_Safety\_of\_AI\_Based\_CVPRW\_2021\_paper.html}, doi = {10.1109/CVPRW53098.2021.00022}, timestamp = {Mon, 18 Jul 2022 16:47:41 +0200}, biburl = {https://dblp.org/rec/conf/cvpr/SinghH0P21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icphys/SinghP21, author = {Vasu Singh and Mandar Pitale}, title = {Impact of Automotive System Safety Design on Machine Learning Based Perception Systems}, booktitle = {4th {IEEE} International Conference on Industrial Cyber-Physical Systems, {ICPS} 2021, Victoria, BC, Canada, May 10-12, 2021}, pages = {591--596}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ICPS49255.2021.9468225}, doi = {10.1109/ICPS49255.2021.9468225}, timestamp = {Tue, 20 Jul 2021 15:32:47 +0200}, biburl = {https://dblp.org/rec/conf/icphys/SinghP21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/MohseniPSW20, author = {Sina Mohseni and Mandar Pitale and Vasu Singh and Zhangyang Wang}, editor = {Hu{\'{a}}scar Espinoza and Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and Xin Cynthia Chen and Se{\'{a}}n S. {\'{O}}h{\'{E}}igeartaigh and Xiaowei Huang and Mauricio Castillo{-}Effen and Richard Mallah and John A. McDermid}, title = {Practical Solutions for Machine Learning Safety in Autonomous Vehicles}, booktitle = {Proceedings of the Workshop on Artificial Intelligence Safety, co-located with 34th {AAAI} Conference on Artificial Intelligence, SafeAI@AAAI 2020, New York City, NY, USA, February 7, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2560}, pages = {162--169}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2560/paper40.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:15 +0100}, biburl = {https://dblp.org/rec/conf/aaai/MohseniPSW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1912-09630, author = {Sina Mohseni and Mandar Pitale and Vasu Singh and Zhangyang Wang}, title = {Practical Solutions for Machine Learning Safety in Autonomous Vehicles}, journal = {CoRR}, volume = {abs/1912.09630}, year = {2019}, url = {http://arxiv.org/abs/1912.09630}, eprinttype = {arXiv}, eprint = {1912.09630}, timestamp = {Fri, 03 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1912-09630.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/GuerraouiHS11, author = {Rachid Guerraoui and Thomas A. Henzinger and Vasu Singh}, title = {Verification of {STM} on relaxed memory models}, journal = {Formal Methods Syst. Des.}, volume = {39}, number = {3}, pages = {297--331}, year = {2011}, url = {https://doi.org/10.1007/s10703-011-0131-3}, doi = {10.1007/S10703-011-0131-3}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/GuerraouiHS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurosys/HenzingerSWZ11, author = {Thomas A. Henzinger and Vasu Singh and Thomas Wies and Damien Zufferey}, editor = {Christoph M. Kirsch and Gernot Heiser}, title = {Scheduling large jobs by abstraction refinement}, booktitle = {European Conference on Computer Systems, Proceedings of the Sixth European conference on Computer systems, EuroSys 2011, Salzburg, Austria, April 10-13, 2011}, pages = {329--342}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/1966445.1966476}, doi = {10.1145/1966445.1966476}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurosys/HenzingerSWZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hotcloud/HenzingerSSWZ11, author = {Thomas A. Henzinger and Anmol V. Singh and Vasu Singh and Thomas Wies and Damien Zufferey}, editor = {Ion Stoica and John Wilkes}, title = {Static Scheduling in Clouds}, booktitle = {3rd {USENIX} Workshop on Hot Topics in Cloud Computing, HotCloud'11, Portland, OR, USA, June 14-15, 2011}, publisher = {{USENIX} Association}, year = {2011}, url = {https://www.usenix.org/conference/hotcloud11/static-scheduling-clouds}, timestamp = {Tue, 09 Feb 2021 08:31:35 +0100}, biburl = {https://dblp.org/rec/conf/hotcloud/HenzingerSSWZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qest/HalalaiHS11, author = {Raluca Halalai and Thomas A. Henzinger and Vasu Singh}, title = {Quantitative Evaluation of {BFT} Protocols}, booktitle = {Eighth International Conference on Quantitative Evaluation of Systems, {QEST} 2011, Aachen, Germany, 5-8 September, 2011}, pages = {255--264}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/QEST.2011.40}, doi = {10.1109/QEST.2011.40}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qest/HalalaiHS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/ch/Singh10, author = {Vasu Singh}, title = {Formalizing and verifying transactional memories}, school = {EPFL, Switzerland}, year = {2010}, url = {https://doi.org/10.5075/epfl-thesis-4541}, doi = {10.5075/EPFL-THESIS-4541}, timestamp = {Tue, 02 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/ch/Singh10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dc/GuerraouiHS10, author = {Rachid Guerraoui and Thomas A. Henzinger and Vasu Singh}, title = {Model checking transactional memories}, journal = {Distributed Comput.}, volume = {22}, number = {3}, pages = {129--145}, year = {2010}, url = {https://doi.org/10.1007/s00446-009-0092-6}, doi = {10.1007/S00446-009-0092-6}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dc/GuerraouiHS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEcloud/HenzingerSSWZ10, author = {Thomas A. Henzinger and Anmol V. Singh and Vasu Singh and Thomas Wies and Damien Zufferey}, title = {FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment}, booktitle = {{IEEE} International Conference on Cloud Computing, {CLOUD} 2010, Miami, FL, USA, 5-10 July, 2010}, pages = {83--90}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/CLOUD.2010.71}, doi = {10.1109/CLOUD.2010.71}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/IEEEcloud/HenzingerSSWZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cc/BurckhardtMS10, author = {Sebastian Burckhardt and Madanlal Musuvathi and Vasu Singh}, editor = {Rajiv Gupta}, title = {Verifying Local Transformations on Relaxed Memory Models}, booktitle = {Compiler Construction, 19th International Conference, {CC} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6011}, pages = {104--123}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-11970-5\_7}, doi = {10.1007/978-3-642-11970-5\_7}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/cc/BurckhardtMS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/emsoft/HenzingerSSWZ10, author = {Thomas A. Henzinger and Anmol V. Singh and Vasu Singh and Thomas Wies and Damien Zufferey}, editor = {Luca P. Carloni and Stavros Tripakis}, title = {A marketplace for cloud resources}, booktitle = {Proceedings of the 10th International conference on Embedded software, {EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010}, pages = {1--8}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1879021.1879022}, doi = {10.1145/1879021.1879022}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/emsoft/HenzingerSSWZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rv/Singh10, author = {Vasu Singh}, editor = {Howard Barringer and Yli{\`{e}}s Falcone and Bernd Finkbeiner and Klaus Havelund and Insup Lee and Gordon J. Pace and Grigore Rosu and Oleg Sokolsky and Nikolai Tillmann}, title = {Runtime Verification for Software Transactional Memories}, booktitle = {Runtime Verification - First International Conference, {RV} 2010, St. Julians, Malta, November 1-4, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6418}, pages = {421--435}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16612-9\_32}, doi = {10.1007/978-3-642-16612-9\_32}, timestamp = {Thu, 26 Jan 2023 14:05:55 +0100}, biburl = {https://dblp.org/rec/conf/rv/Singh10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/spaa/GuerraouiHKS10, author = {Rachid Guerraoui and Thomas A. Henzinger and Michal Kapalka and Vasu Singh}, editor = {Friedhelm Meyer auf der Heide and Cynthia A. Phillips}, title = {Transactions in the jungle}, booktitle = {{SPAA} 2010: Proceedings of the 22nd Annual {ACM} Symposium on Parallelism in Algorithms and Architectures, Thira, Santorini, Greece, June 13-15, 2010}, pages = {263--272}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1810479.1810529}, doi = {10.1145/1810479.1810529}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/spaa/GuerraouiHKS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/GuerraouiHS09, author = {Rachid Guerraoui and Thomas A. Henzinger and Vasu Singh}, editor = {Ahmed Bouajjani and Oded Maler}, title = {Software Transactional Memory on Relaxed Memory Models}, booktitle = {Computer Aided Verification, 21st International Conference, {CAV} 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5643}, pages = {321--336}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-02658-4\_26}, doi = {10.1007/978-3-642-02658-4\_26}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/GuerraouiHS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/podc/DragojevicGSS09, author = {Aleksandar Dragojevic and Rachid Guerraoui and Anmol V. Singh and Vasu Singh}, editor = {Srikanta Tirthapura and Lorenzo Alvisi}, title = {Preventing versus curing: avoiding conflicts in transactional memories}, booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Principles of Distributed Computing, {PODC} 2009, Calgary, Alberta, Canada, August 10-12, 2009}, pages = {7--16}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1582716.1582725}, doi = {10.1145/1582716.1582725}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/podc/DragojevicGSS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/GuerraouiHS08, author = {Rachid Guerraoui and Thomas A. Henzinger and Vasu Singh}, editor = {Franck van Breugel and Marsha Chechik}, title = {Completeness and Nondeterminism in Model Checking Transactional Memories}, booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference, {CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5201}, pages = {21--35}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-85361-9\_6}, doi = {10.1007/978-3-540-85361-9\_6}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/GuerraouiHS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/GuerraouiHJS08, author = {Rachid Guerraoui and Thomas A. Henzinger and Barbara Jobstmann and Vasu Singh}, editor = {Rajiv Gupta and Saman P. Amarasinghe}, title = {Model checking transactional memories}, booktitle = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008}, pages = {372--382}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1375581.1375626}, doi = {10.1145/1375581.1375626}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pldi/GuerraouiHJS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wdag/GuerraouiHS08, author = {Rachid Guerraoui and Thomas A. Henzinger and Vasu Singh}, editor = {Gadi Taubenfeld}, title = {Permissiveness in Transactional Memories}, booktitle = {Distributed Computing, 22nd International Symposium, {DISC} 2008, Arcachon, France, September 22-24, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5218}, pages = {305--319}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87779-0\_21}, doi = {10.1007/978-3-540-87779-0\_21}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/wdag/GuerraouiHS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/BeyerHS07, author = {Dirk Beyer and Thomas A. Henzinger and Vasu Singh}, editor = {Werner Damm and Holger Hermanns}, title = {Algorithms for Interface Synthesis}, booktitle = {Computer Aided Verification, 19th International Conference, {CAV} 2007, Berlin, Germany, July 3-7, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4590}, pages = {4--19}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73368-3\_4}, doi = {10.1007/978-3-540-73368-3\_4}, timestamp = {Sat, 30 Sep 2023 09:35:55 +0200}, biburl = {https://dblp.org/rec/conf/cav/BeyerHS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.