BibTeX records: Rajesh K. Karmani

download as .bib file

@inproceedings{DBLP:conf/forte/TasharofiKLLMA12,
  author       = {Samira Tasharofi and
                  Rajesh K. Karmani and
                  Steven Lauterburg and
                  Axel Legay and
                  Darko Marinov and
                  Gul Agha},
  editor       = {Holger Giese and
                  Grigore Rosu},
  title        = {TransDPOR: {A} Novel Dynamic Partial-Order Reduction Technique for
                  Testing Actor Programs},
  booktitle    = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG}
                  6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1
                  International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16,
                  2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7273},
  pages        = {219--234},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-30793-5\_14},
  doi          = {10.1007/978-3-642-30793-5\_14},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/TasharofiKLLMA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppopp/NegaraKA11,
  author       = {Stas Negara and
                  Rajesh K. Karmani and
                  Gul A. Agha},
  editor       = {Calin Cascaval and
                  Pen{-}Chung Yew},
  title        = {Inferring ownership transfer for efficient message passing},
  booktitle    = {Proceedings of the 16th {ACM} {SIGPLAN} Symposium on Principles and
                  Practice of Parallel Programming, {PPOPP} 2011, San Antonio, TX, USA,
                  February 12-16, 2011},
  pages        = {81--90},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1941553.1941566},
  doi          = {10.1145/1941553.1941566},
  timestamp    = {Sun, 12 Jun 2022 19:46:08 +0200},
  biburl       = {https://dblp.org/rec/conf/ppopp/NegaraKA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ppopp/KarmaniMM11,
  author       = {Rajesh K. Karmani and
                  P. Madhusudan and
                  Brandon M. Moore},
  editor       = {Calin Cascaval and
                  Pen{-}Chung Yew},
  title        = {Thread contracts for safe parallelism},
  booktitle    = {Proceedings of the 16th {ACM} {SIGPLAN} Symposium on Principles and
                  Practice of Parallel Programming, {PPOPP} 2011, San Antonio, TX, USA,
                  February 12-16, 2011},
  pages        = {125--134},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1941553.1941573},
  doi          = {10.1145/1941553.1941573},
  timestamp    = {Sun, 12 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ppopp/KarmaniMM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:reference/parallel/KarmaniA11,
  author       = {Rajesh K. Karmani and
                  Gul Agha},
  editor       = {David A. Padua},
  title        = {Actors},
  booktitle    = {Encyclopedia of Parallel Computing},
  pages        = {1--11},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-0-387-09766-4\_125},
  doi          = {10.1007/978-0-387-09766-4\_125},
  timestamp    = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/reference/parallel/KarmaniA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fase/LauterburgKMA10,
  author       = {Steven Lauterburg and
                  Rajesh K. Karmani and
                  Darko Marinov and
                  Gul Agha},
  editor       = {David S. Rosenblum and
                  Gabriele Taentzer},
  title        = {Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction
                  Techniques},
  booktitle    = {Fundamental Approaches to Software Engineering, 13th International
                  Conference, {FASE} 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       = {6013},
  pages        = {308--322},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-12029-9\_22},
  doi          = {10.1007/978-3-642-12029-9\_22},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/LauterburgKMA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sigsoft/LauterburgKMA10,
  author       = {Steven Lauterburg and
                  Rajesh K. Karmani and
                  Darko Marinov and
                  Gul Agha},
  editor       = {Gruia{-}Catalin Roman and
                  Andr{\'{e}} van der Hoek},
  title        = {Basset: a tool for systematic testing of actor programs},
  booktitle    = {Proceedings of the 18th {ACM} {SIGSOFT} International Symposium on
                  Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
                  7-11, 2010},
  pages        = {363--364},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1882291.1882349},
  doi          = {10.1145/1882291.1882349},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/LauterburgKMA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pppj/KarmaniSA09,
  author       = {Rajesh K. Karmani and
                  Amin Shali and
                  Gul Agha},
  editor       = {Ben Stephenson and
                  Christian W. Probst},
  title        = {Actor frameworks for the {JVM} platform: a comparative analysis},
  booktitle    = {Proceedings of the 7th International Conference on Principles and
                  Practice of Programming in Java, {PPPJ} 2009, Calgary, Alberta, Canada,
                  August 27-28, 2009},
  pages        = {11--20},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596655.1596658},
  doi          = {10.1145/1596655.1596658},
  timestamp    = {Mon, 26 Nov 2018 15:05:58 +0100},
  biburl       = {https://dblp.org/rec/conf/pppj/KarmaniSA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/saso/KarmaniLA07,
  author       = {Rajesh K. Karmani and
                  Timo Latvala and
                  Gul Agha},
  title        = {On Scaling Multi-Agent Task Reallocation Using Market-Based Approach},
  booktitle    = {Proceedings of the First International Conference on Self-Adaptive
                  and Self-Organizing Systems, {SASO} 2007, Boston, MA, USA, July 9-11,
                  2007},
  pages        = {173--182},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/SASO.2007.41},
  doi          = {10.1109/SASO.2007.41},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saso/KarmaniLA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.