Inproceedings,
Elixir: a system for synthesizing concurrent graph programs.
D. Prountzos, R. Manevich, and K. Pingali.OOPSLA, page 375-394. ACM, (2012)
Meta data
- BibTeX key
- conf/oopsla/PrountzosMP12
- entry type
- inproceedings
- booktitle
- OOPSLA
- year
- 2012
- pages
- 375-394
- publisher
- ACM
- crossref
- conf/oopsla/2012
- ee
- https://doi.org/10.1145/2398857.2384644
- isbn
- 978-1-4503-1561-6
- url
- http://dblp.uni-trier.de/db/conf/oopsla/oopsla2012.html#PrountzosMP12
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/oopsla/PrountzosMP12
%A Prountzos, Dimitrios
%A Manevich, Roman
%A Pingali, Keshav
%B OOPSLA
%D 2012
%E Leavens, Gary T.
%E Dwyer, Matthew B.
%I ACM
%K dblp
%P 375-394
%T Elixir: a system for synthesizing concurrent graph programs.
%U http://dblp.uni-trier.de/db/conf/oopsla/oopsla2012.html#PrountzosMP12
%@ 978-1-4503-1561-6
@inproceedings{conf/oopsla/PrountzosMP12,
added-at = {2021-06-24T00:00:00.000+0200},
author = {Prountzos, Dimitrios and Manevich, Roman and Pingali, Keshav},
biburl = {https://www.bibsonomy.org/bibtex/26531b7ed5c67c36879a2b5c0a06db49d/dblp},
booktitle = {OOPSLA},
crossref = {conf/oopsla/2012},
editor = {Leavens, Gary T. and Dwyer, Matthew B.},
ee = {https://doi.org/10.1145/2398857.2384644},
interhash = {fdc4f810659def15ae826511ac40979b},
intrahash = {6531b7ed5c67c36879a2b5c0a06db49d},
isbn = {978-1-4503-1561-6},
keywords = {dblp},
pages = {375-394},
publisher = {ACM},
timestamp = {2024-04-09T11:46:11.000+0200},
title = {Elixir: a system for synthesizing concurrent graph programs.},
url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2012.html#PrountzosMP12},
year = 2012
}