BibTeX record conf/lcpc/Aananthakrishnan16

• > Home > conf/lcpc/Aananthakrishnan16

@inproceedings{DBLP:conf/lcpc/Aananthakrishnan16,
  author       = {Sriram Aananthakrishnan and
                  Greg Bronevetsky and
                  Mark Baranowski and
                  Ganesh Gopalakrishnan},
  editor       = {Chen Ding and
                  John Criswell and
                  Peng Wu},
  title        = {ParFuse: Parallel and Compositional Analysis of Message Passing Programs},
  booktitle    = {Languages and Compilers for Parallel Computing - 29th International
                  Workshop, {LCPC} 2016, Rochester, NY, USA, September 28-30, 2016,
                  Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10136},
  pages        = {24--39},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-52709-3\_3},
  doi          = {10.1007/978-3-319-52709-3\_3},
  timestamp    = {Tue, 28 Jul 2020 07:46:49 +0200},
  biburl       = {https://dblp.org/rec/conf/lcpc/Aananthakrishnan16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}