Meta data
- BibTeX key
- conf/pldi/JiangLXZF19
- entry type
- inproceedings
- booktitle
- PLDI
- year
- 2019
- pages
- 111-125
- publisher
- ACM
- crossref
- conf/pldi/2019
- ee
- https://doi.org/10.1145/3314221.3314595
- isbn
- 978-1-4503-6712-7
- url
- http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#JiangLXZF19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/pldi/JiangLXZF19
%A Jiang, Hanru
%A Liang, Hongjin
%A Xiao, Siyang
%A Zha, Junpeng
%A Feng, Xinyu
%B PLDI
%D 2019
%E McKinley, Kathryn S.
%E Fisher, Kathleen
%I ACM
%K dblp
%P 111-125
%T Towards certified separate compilation for concurrent programs.
%U http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#JiangLXZF19
%@ 978-1-4503-6712-7
@inproceedings{conf/pldi/JiangLXZF19,
added-at = {2022-07-19T00:00:00.000+0200},
author = {Jiang, Hanru and Liang, Hongjin and Xiao, Siyang and Zha, Junpeng and Feng, Xinyu},
biburl = {https://www.bibsonomy.org/bibtex/2bca84f3b93b923b3037a673585a336bd/dblp},
booktitle = {PLDI},
crossref = {conf/pldi/2019},
editor = {McKinley, Kathryn S. and Fisher, Kathleen},
ee = {https://doi.org/10.1145/3314221.3314595},
interhash = {63f86333d1fc2dc458ff3d55c99dee81},
intrahash = {bca84f3b93b923b3037a673585a336bd},
isbn = {978-1-4503-6712-7},
keywords = {dblp},
pages = {111-125},
publisher = {ACM},
timestamp = {2024-04-10T06:17:16.000+0200},
title = {Towards certified separate compilation for concurrent programs.},
url = {http://dblp.uni-trier.de/db/conf/pldi/pldi2019.html#JiangLXZF19},
year = 2019
}