BibTeX records: Vasu Singh

download as .bib file

@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 in System Design},
  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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/fmsd/GuerraouiHS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/HenzingerSWZ11,
  author    = {Thomas A. Henzinger and
               Vasu Singh and
               Thomas Wies and
               Damien Zufferey},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/eurosys/2011},
  url       = {http://doi.acm.org/10.1145/1966445.1966476},
  doi       = {10.1145/1966445.1966476},
  timestamp = {Tue, 01 May 2012 15:03:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/eurosys/HenzingerSWZ11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/hotcloud/HenzingerSSWZ11,
  author    = {Thomas A. Henzinger and
               Anmol V. Singh and
               Vasu Singh and
               Thomas Wies and
               Damien Zufferey},
  title     = {Static Scheduling in Clouds},
  booktitle = {3rd {USENIX} Workshop on Hot Topics in Cloud Computing, HotCloud'11,
               Portland, OR, USA, June 14-15, 2011},
  year      = {2011},
  crossref  = {DBLP:conf/hotcloud/2011},
  url       = {https://www.usenix.org/conference/hotcloud11/static-scheduling-clouds},
  timestamp = {Fri, 23 May 2014 17:03:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/hotcloud/HenzingerSSWZ11},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2011},
  crossref  = {DBLP:conf/qest/2011},
  url       = {https://doi.org/10.1109/QEST.2011.40},
  doi       = {10.1109/QEST.2011.40},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/qest/HalalaiHS11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dc/GuerraouiHS10,
  author    = {Rachid Guerraoui and
               Thomas A. Henzinger and
               Vasu Singh},
  title     = {Model checking transactional memories},
  journal   = {Distributed Computing},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/dc/GuerraouiHS10},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2010},
  crossref  = {DBLP:conf/IEEEcloud/2010},
  url       = {https://doi.org/10.1109/CLOUD.2010.71},
  doi       = {10.1109/CLOUD.2010.71},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/IEEEcloud/HenzingerSSWZ10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cc/BurckhardtMS10,
  author    = {Sebastian Burckhardt and
               Madanlal Musuvathi and
               Vasu Singh},
  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},
  pages     = {104--123},
  year      = {2010},
  crossref  = {DBLP:conf/cc/2010},
  url       = {https://doi.org/10.1007/978-3-642-11970-5_7},
  doi       = {10.1007/978-3-642-11970-5_7},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cc/BurckhardtMS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/HenzingerSSWZ10,
  author    = {Thomas A. Henzinger and
               Anmol V. Singh and
               Vasu Singh and
               Thomas Wies and
               Damien Zufferey},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/emsoft/2010},
  url       = {http://doi.acm.org/10.1145/1879021.1879022},
  doi       = {10.1145/1879021.1879022},
  timestamp = {Wed, 05 Jan 2011 12:48:21 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/emsoft/HenzingerSSWZ10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/rv/Singh10,
  author    = {Vasu Singh},
  title     = {Runtime Verification for Software Transactional Memories},
  booktitle = {Runtime Verification - First International Conference, {RV} 2010,
               St. Julians, Malta, November 1-4, 2010. Proceedings},
  pages     = {421--435},
  year      = {2010},
  crossref  = {DBLP:conf/rv/2010},
  url       = {https://doi.org/10.1007/978-3-642-16612-9_32},
  doi       = {10.1007/978-3-642-16612-9_32},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/rv/Singh10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/spaa/GuerraouiHKS10,
  author    = {Rachid Guerraoui and
               Thomas A. Henzinger and
               Michal Kapalka and
               Vasu Singh},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/spaa/2010},
  url       = {http://doi.acm.org/10.1145/1810479.1810529},
  doi       = {10.1145/1810479.1810529},
  timestamp = {Thu, 23 Jun 2011 21:55:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spaa/GuerraouiHKS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/GuerraouiHS09,
  author    = {Rachid Guerraoui and
               Thomas A. Henzinger and
               Vasu Singh},
  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},
  pages     = {321--336},
  year      = {2009},
  crossref  = {DBLP:conf/cav/2009},
  url       = {https://doi.org/10.1007/978-3-642-02658-4_26},
  doi       = {10.1007/978-3-642-02658-4_26},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/GuerraouiHS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/podc/DragojevicGSS09,
  author    = {Aleksandar Dragojevic and
               Rachid Guerraoui and
               Anmol V. Singh and
               Vasu Singh},
  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},
  year      = {2009},
  crossref  = {DBLP:conf/podc/2009},
  url       = {http://doi.acm.org/10.1145/1582716.1582725},
  doi       = {10.1145/1582716.1582725},
  timestamp = {Wed, 23 May 2012 14:26:11 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/podc/DragojevicGSS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/concur/GuerraouiHS08,
  author    = {Rachid Guerraoui and
               Thomas A. Henzinger and
               Vasu Singh},
  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},
  pages     = {21--35},
  year      = {2008},
  crossref  = {DBLP:conf/concur/2008},
  url       = {https://doi.org/10.1007/978-3-540-85361-9_6},
  doi       = {10.1007/978-3-540-85361-9_6},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/concur/GuerraouiHS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GuerraouiHJS08,
  author    = {Rachid Guerraoui and
               Thomas A. Henzinger and
               Barbara Jobstmann and
               Vasu Singh},
  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},
  year      = {2008},
  crossref  = {DBLP:conf/pldi/2008},
  url       = {http://doi.acm.org/10.1145/1375581.1375626},
  doi       = {10.1145/1375581.1375626},
  timestamp = {Mon, 16 Jun 2008 08:26:28 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/GuerraouiHJS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/wdag/GuerraouiHS08,
  author    = {Rachid Guerraoui and
               Thomas A. Henzinger and
               Vasu Singh},
  title     = {Permissiveness in Transactional Memories},
  booktitle = {Distributed Computing, 22nd International Symposium, {DISC} 2008,
               Arcachon, France, September 22-24, 2008. Proceedings},
  pages     = {305--319},
  year      = {2008},
  crossref  = {DBLP:conf/wdag/2008},
  url       = {https://doi.org/10.1007/978-3-540-87779-0_21},
  doi       = {10.1007/978-3-540-87779-0_21},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wdag/GuerraouiHS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cav/BeyerHS07,
  author    = {Dirk Beyer and
               Thomas A. Henzinger and
               Vasu Singh},
  title     = {Algorithms for Interface Synthesis},
  booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
               2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  pages     = {4--19},
  year      = {2007},
  crossref  = {DBLP:conf/cav/2007},
  url       = {https://doi.org/10.1007/978-3-540-73368-3_4},
  doi       = {10.1007/978-3-540-73368-3_4},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/BeyerHS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2011,
  editor    = {Christoph M. Kirsch and
               Gernot Heiser},
  title     = {European Conference on Computer Systems, Proceedings of the Sixth
               European conference on Computer systems, EuroSys 2011, Salzburg, Austria,
               April 10-13, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0634-8},
  timestamp = {Tue, 01 May 2012 15:03:20 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/eurosys/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/hotcloud/2011,
  editor    = {Ion Stoica and
               John Wilkes},
  title     = {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/publications/proceedings/?f[0]=im_group_audience%3A326},
  timestamp = {Fri, 23 May 2014 17:03:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/hotcloud/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/qest/2011,
  title     = {Eighth International Conference on Quantitative Evaluation of Systems,
               {QEST} 2011, Aachen, Germany, 5-8 September, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6041098},
  isbn      = {978-1-4577-0973-9},
  timestamp = {Fri, 08 Aug 2014 15:28:23 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/qest/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/IEEEcloud/2010,
  title     = {{IEEE} International Conference on Cloud Computing, {CLOUD} 2010,
               Miami, FL, USA, 5-10 July, 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5557896},
  isbn      = {978-1-4244-8207-8},
  timestamp = {Thu, 22 Dec 2016 15:12:59 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/IEEEcloud/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cc/2010,
  editor    = {Rajiv Gupta},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11970-5},
  doi       = {10.1007/978-3-642-11970-5},
  isbn      = {978-3-642-11969-9},
  timestamp = {Fri, 26 May 2017 00:49:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cc/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2010,
  editor    = {Luca P. Carloni and
               Stavros Tripakis},
  title     = {Proceedings of the 10th International conference on Embedded software,
               {EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-904-6},
  timestamp = {Wed, 05 Jan 2011 12:48:21 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/emsoft/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/rv/2010,
  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 - First International Conference, {RV} 2010,
               St. Julians, Malta, November 1-4, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6418},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16612-9},
  doi       = {10.1007/978-3-642-16612-9},
  isbn      = {978-3-642-16611-2},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/rv/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/spaa/2010,
  editor    = {Friedhelm Meyer auf der Heide and
               Cynthia A. Phillips},
  title     = {{SPAA} 2010: Proceedings of the 22nd Annual {ACM} Symposium on Parallelism
               in Algorithms and Architectures, Thira, Santorini, Greece, June 13-15,
               2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0079-7},
  timestamp = {Thu, 23 Jun 2011 21:55:19 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/spaa/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2009,
  editor    = {Ahmed Bouajjani and
               Oded Maler},
  title     = {Computer Aided Verification, 21st International Conference, {CAV}
               2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5643},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02658-4},
  doi       = {10.1007/978-3-642-02658-4},
  isbn      = {978-3-642-02657-7},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/podc/2009,
  editor    = {Srikanta Tirthapura and
               Lorenzo Alvisi},
  title     = {Proceedings of the 28th Annual {ACM} Symposium on Principles of Distributed
               Computing, {PODC} 2009, Calgary, Alberta, Canada, August 10-12, 2009},
  publisher = {{ACM}},
  year      = {2009},
  url       = {http://dl.acm.org/citation.cfm?id=1582716},
  isbn      = {978-1-60558-396-9},
  timestamp = {Wed, 23 May 2012 14:26:11 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/podc/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/concur/2008,
  editor    = {Franck van Breugel and
               Marsha Chechik},
  title     = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
               {CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5201},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85361-9},
  doi       = {10.1007/978-3-540-85361-9},
  isbn      = {978-3-540-85360-2},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/concur/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pldi/2008,
  editor    = {Rajiv Gupta and
               Saman P. Amarasinghe},
  title     = {Proceedings of the {ACM} {SIGPLAN} 2008 Conference on Programming
               Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-59593-860-2},
  timestamp = {Mon, 16 Jun 2008 08:26:28 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/pldi/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/wdag/2008,
  editor    = {Gadi Taubenfeld},
  title     = {Distributed Computing, 22nd International Symposium, {DISC} 2008,
               Arcachon, France, September 22-24, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5218},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-87779-0},
  doi       = {10.1007/978-3-540-87779-0},
  isbn      = {978-3-540-87778-3},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/wdag/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cav/2007,
  editor    = {Werner Damm and
               Holger Hermanns},
  title     = {Computer Aided Verification, 19th International Conference, {CAV}
               2007, Berlin, Germany, July 3-7, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4590},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73368-3},
  doi       = {10.1007/978-3-540-73368-3},
  isbn      = {978-3-540-73367-6},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/cav/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier