BibTeX records: Vasu Singh

download as .bib file

@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 Alexander 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       = {http://ceur-ws.org/Vol-3087/paper\_31.pdf},
  timestamp = {Mon, 23 May 2022 13:16:23 +0200},
  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}
}
@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 Alexander 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       = {http://ceur-ws.org/Vol-2560/paper40.pdf},
  timestamp = {Mon, 23 May 2022 13:16:23 +0200},
  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 = {Fri, 13 Mar 2020 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 = {Tue, 06 Nov 2018 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 = {Wed, 16 Oct 2019 14:14:56 +0200},
  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 = {Fri, 13 Mar 2020 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 = {Wed, 16 Oct 2019 14:14:54 +0200},
  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 = {Tue, 06 Nov 2018 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 = {Mon, 03 Jan 2022 22:30:49 +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, 21 Nov 2018 11:15:55 +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 = {Tue, 06 Nov 2018 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 = {Fri, 25 Jun 2021 14:48:54 +0200},
  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 = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/conf/cav/BeyerHS07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics