Commit 05bb9eeb authored by Jacques-Henri Jourdan's avatar Jacques-Henri Jourdan
Browse files

Ajout de tous les DOI.

parent e063582d
......@@ -2000,6 +2000,7 @@
pages = "142:1--142:28",
year = "2019",
URL = "https://johnbender.us/assets/oopsla-2019.pdf",
doi = {10.1145/3360568}
}
 
@InProceedings{bengtson-12,
......@@ -2987,6 +2988,7 @@
pages = "47--65",
year = "2016",
URL = "http://siglog.hosting.acm.org/wp-content/uploads/2016/07/siglog_news_9.pdf",
doi={10.1145/2984450.2984457}
}
 
@InProceedings{brotherston-cyclic-11,
......@@ -3153,6 +3155,7 @@
month = jan,
year = "2011",
URL = "https://www.cl.cam.ac.uk/~pes20/cpp/popl085ap-sewell.pdf",
doi = {10.1145/1926385.1926394}
}
 
@InProceedings{cachera-pichardie-10,
......@@ -4822,6 +4825,7 @@
pages = "34:1--34:29",
year = "2020",
URL = "https://hal.inria.fr/hal-02351793/",
doi={10.1145/3371102}
}
 
@InProceedings{danielsson-06,
......@@ -5460,6 +5464,7 @@
month = jan,
year = "2016",
URL = "https://plv.mpi-sws.org/fsl/base/paper.pdf",
doi = {10.1007/978-3-662-49122-5_20}
}
 
@InProceedings{doko-vafeiadis-17,
......@@ -5499,6 +5504,7 @@
month = jun,
year = "2018",
URL = "http://kcsrk.info/papers/pldi18-memory.pdf",
doi={10.1145/3192366.3192421}
}
 
@InProceedings{donnelly-xi-05,
......@@ -8743,6 +8749,7 @@
year = "2018",
pages = "e20",
URL = "https://people.mpi-sws.org/~dreyer/papers/iris-ground-up/paper.pdf",
doi={10.1017/S0956796818000151}
}
 
@InProceedings{iris-15,
......@@ -8756,6 +8763,7 @@
month = jan,
year = "2015",
URL = "http://plv.mpi-sws.org/iris/paper.pdf",
doi={10.1145/2775051.2676980}
}
 
@InProceedings{iris-16,
......@@ -9092,6 +9100,7 @@
month = jan,
year = "2005",
URL = "http://rsim.cs.uiuc.edu/Pubs/popl05.pdf",
doi={10.1145/1047659.1040336}
}
 
@TechReport{johnson-75,
......@@ -9342,6 +9351,7 @@
year = "2020",
pages = "45:1--45:32",
URL = "https://plv.mpi-sws.org/prophecies/paper.pdf",
doi={10.1145/3371113}
}
 
@InProceedings{kaiser-17,
......@@ -9354,6 +9364,7 @@
month = jun,
year = "2017",
URL = "https://people.mpi-sws.org/~dreyer/papers/iris-weak/paper.pdf",
doi={10.4230/LIPIcs.ECOOP.2017.17}
}
 
@InProceedings{kaiser-tebbi-smolka-17,
......@@ -10037,6 +10048,7 @@
month = apr,
year = "2020",
URL = "https://raw.githubusercontent.com/michael-emmi/research-papers/master/conf-esop-KrishnaEEJ20.pdf",
doi={10.1007/978-3-030-44914-8_11}
}
 
@InProceedings{krishna-summer-wies-20,
......@@ -10263,6 +10275,7 @@
pages = "690--691",
year = "1979",
URL = "https://www.microsoft.com/en-us/research/uploads/prod/2016/12/How-to-Make-a-Multiprocessor-Computer-That-Correctly-Executes-Multiprocess-Programs.pdf",
doi={10.1109/TC.1979.1675439}
}
 
@Article{lamport-97,
......@@ -10981,6 +10994,7 @@
month = mar,
year = "2012",
URL = "https://ethz.ch/content/dam/ethz/special-interest/infk/inst-infsec/information-security-group-dam/people/andreloc/lochbihler12esop.pdf",
doi={10.1007/978-3-642-28869-2_25},
}
 
@InProceedings{longley-99,
......@@ -11497,6 +11511,7 @@
volume = "4",
number = "ICFP",
URL = "http://cambium.inria.fr/~fpottier/publis/mevel-jourdan-pottier-cosmo-2020.pdf",
doi={10.1145/3408978}
}
 
@InProceedings{meyer-wand-85,
......@@ -12668,6 +12683,7 @@
pages = "271--307",
month = may,
URL = "http://www.cs.ucl.ac.uk/staff/p.ohearn/papers/concurrency.pdf",
doi={10.1016/j.tcs.2006.12.035}
}
 
@Article{ohearn-19,
......@@ -13050,7 +13066,7 @@
booktitle = popl,
pages = "297--302",
year = "2007",
URL = "https://doi.org/10.1145/1190216.1190261",
doi = "10.1145/1190216.1190261",
}
 
@InProceedings{parnas-71,
......@@ -14293,6 +14309,7 @@
pages = "68:1--68:31",
year = "2019",
URL = "https://spiral.imperial.ac.uk/bitstream/10044/1/75940/4/Libraries.pdf",
doi={10.1145/3290381}
}
 
@TechReport{raffalli-98,
......@@ -14353,6 +14370,7 @@
month = jun,
year = "2017",
URL = "https://plv.mpi-sws.org/scfix/paper.pdf",
doi={10.1145/3062341.3062352}
}
 
@Book{real-world-ocaml,
......@@ -14689,6 +14707,7 @@
pages = "55--74",
year = "2002",
URL = "http://www.cs.cmu.edu/~jcr/seplogic.pdf",
doi={10.1109/LICS.2002.1029817}
}
 
@InProceedings{reynolds-69,
......@@ -16248,6 +16267,7 @@
month = mar,
year = "2013",
URL = "http://cs.au.dk/~birke/papers/hocap-conf.pdf",
doi={10.1007/978-3-642-37036-6_11}
}
 
@InProceedings{svendsen-birkedal-parkinson-joins-13,
......@@ -16945,6 +16965,7 @@
month = oct,
year = "2014",
URL = "http://plv.mpi-sws.org/gps/paper.pdf",
doi={10.1145/2714064.2660243}
}
 
@InProceedings{ullrich-de-moura-19,
......@@ -17050,6 +17071,7 @@
month = oct,
year = "2013",
URL = "https://people.mpi-sws.org/~viktor/papers/oopsla2013-rsl.pdf",
doi={10.1145/2544173.2509532}
}
 
@InProceedings{vaziri-jackson-03,
......@@ -17196,6 +17218,7 @@
month = jan,
year = "2021",
URL = "https://cs.au.dk/~birke/papers/2021-ms-queue-final.pdf",
doi={10.1145/3437992.3439930}
}
 
@InCollection{viper,
......
......@@ -60,7 +60,7 @@
note = {Submitted for publication},
month = mar,
year = 2021,
note = {\url{https://cs.au.dk/~birke/papers/mpmc-queue.pdf}},
URl = {https://cs.au.dk/~birke/papers/mpmc-queue.pdf},
}
@Misc{rigtorp,
......@@ -101,7 +101,8 @@
author={L{\^e}, Nhat Minh and Pop, Antoniu and Cohen, Albert and Zappa Nardelli, Francesco},
booktitle={Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming},
pages={69--80},
year={2013}
year={2013},
doi={10.1145/2442516.2442524}
}
@inproceedings{le2013correctfifo,
......@@ -110,7 +111,8 @@
booktitle={2013 25th International Symposium on Computer Architecture and High Performance Computing},
pages={144--151},
year={2013},
organization={IEEE}
organization={IEEE},
doi={10.1109/SBAC-PAD.2013.8}
}
@inproceedings{lahav2015owicki,
......@@ -142,7 +144,8 @@
volume = "5",
number = "ICFP",
year={2021},
url={https://cs.au.dk/~birke/papers/free-theorems-sep-logic.pdf}
url={https://cs.au.dk/~birke/papers/free-theorems-sep-logic.pdf},
doi={10.1145/3473586}
}
@inproceedings{zakowski2018verified,
......@@ -150,7 +153,8 @@
author={Zakowski, Yannick and Cachera, David and Demange, Delphine and Pichardie, David},
booktitle={Proceedings of the 33rd Annual ACM Symposium on Applied Computing},
pages={1881--1890},
year={2018}
year={2018},
doi={10.1145/3167132.3167333}
}
@article{smith2019linearizability,
......@@ -159,7 +163,8 @@
journal={Formal Aspects of Computing},
pages={1--32},
year={2019},
publisher={Springer}
publisher={Springer},
doi={10.1007/s00165-019-00499-8}
}
@inproceedings{timany2021monotonicity,
......@@ -169,7 +174,8 @@
month= jan,
year = {2021},
pages = {91–104},
url = {https://cs.au.dk/~timany/publications/files/2021_CPP_monotone.pdf}
url = {https://cs.au.dk/~timany/publications/files/2021_CPP_monotone.pdf},
doi={10.1145/3437992.3439931}
}
@techreport{fraser2004practical,
......@@ -177,5 +183,4 @@
author={Fraser, Keir},
year={2004},
institution={University of Cambridge, Computer Laboratory},
doi={}
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment