Commit 77e2ef70 authored by Mihaela SIGHIREANU's avatar Mihaela SIGHIREANU
Browse files

added bibstyle for LNCS; fixed DOI

parent 3f505fcd
......@@ -15,9 +15,9 @@
%\title{Decision Procedures for Heap-lists}
%%
\author{%
Mihaela Sighireanu\inst{1} \orcidID{0000-0002-1925-089X} \and
Mihaela Sighireanu\inst{1}\orcidID{0000-0002-1925-089X} \and
Wanyun Su\inst{2} \and
Zhilin Wu\inst{2} \orcidID{0000-0003-0899-628X}
Zhilin Wu\inst{2}\orcidID{0000-0003-0899-628X}
}
\institute{%
LMF, ENS Paris-Saclay, University Paris-Saclay and CNRS, France
......@@ -81,7 +81,7 @@ Zhilin Wu\inst{2} \orcidID{0000-0003-0899-628X}
\newpage
%------------------------------------------------------------------------------
\bibliographystyle{siam}
\bibliographystyle{splncs04}
\bibliography{../bibs/biblio}
\newpage
......
This diff is collapsed.
......@@ -98,6 +98,7 @@
series = {LNCS},
volume = {4260},
publisher = {Springer},
doi = {10.1007/11901433\_22},
OPTnote = {Reports on the verification with Coq of the memory allocator of Topsy.
Topsy malloc is a simple free-list allocator keeping only a
physical list inside which chunks are labeled by free status.
......@@ -116,6 +117,7 @@
OPTpages = {234--245},
year = {2011},
publisher = {{ACM}},
doi = {10.1145/1993498.1993526},
OPTnote = {Presents a Coq library based on Separation Logic that
allows to abstract low level details of the memory organisation
and in this way to obtain faster proof strategies.
......@@ -157,6 +159,7 @@ series = {ISMM 2020}
journal={ACM SIGLOG News},
year={2018},
volume={5},
url = {https://dl.acm.org/citation.cfm?id=3242964},
pages={67-82}
}
......@@ -171,7 +174,7 @@ series = {ISMM 2020}
volume = {3328},
year = {2005},
OPTpages = {97--109},
doi = {10.1007/978-3-540-30538-5_9},
doi = {10.1007/978-3-540-30538-5\_9},
ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3328{\&}spage=97},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
......@@ -243,7 +246,7 @@ series = {ISMM 2020}
series = {LNCS},
volume = {11429},
publisher = {Springer},
doi = {10.1007/978-3-030-17502-3_8},
doi = {10.1007/978-3-030-17502-3\_8},
keywords = {iconf},
OPTnote = {(Contribution 50\%)},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
......@@ -347,6 +350,7 @@ series = {ISMM 2020}
acmid = {664578},
publisher = {IEEE Computer Society},
OPTaddress = {Washington, DC, USA},
doi = {10.1109/LICS.2002.1029817},
}
@article{DBLP:journals/corr/abs-1802-05935,
......@@ -383,7 +387,7 @@ series = {ISMM 2020}
series = {LNCS},
volume = {10395},
isbn = {978-3-319-63045-8 978-3-319-63046-5},
url = {http://link.springer.com/10.1007/978-3-319-63046-5_29},
OPTurl = {http://link.springer.com/10.1007/978-3-319-63046-5_29},
eventtitle = {{CADE}},
OPTpages = {472--490},
booktitle = {{CADE} 26},
......@@ -392,7 +396,7 @@ series = {ISMM 2020}
OPTeditor = {de Moura, Leonardo},
urldate = {2018-09-14},
year = {2017},
doi = {10.1007/978-3-319-63046-5_29}
doi = {10.1007/978-3-319-63046-5\_29}
}
@inproceedings{DBLP:conf/csl/BrotherstonFPG14,
......@@ -421,15 +425,14 @@ series = {ISMM 2020}
volume = {4134},
isbn = {978-3-540-37756-6 978-3-540-37758-0},
shorttitle = {Beyond {Reachability}},
url = {http://link.springer.com/10.1007/11823230_13},
doi = {10.1007/11823230_13},
OPTurl = {http://link.springer.com/10.1007/11823230_13},
doi = {10.1007/11823230\_13},
language = {English},
urldate = {2018-09-14},
booktitle = {{SAS}},
publisher = {Springer},
author = {Calcagno, Cristiano and Distefano, Dino and O'Hearn, Peter W. and Yang, Hongseok},
year = {2006},
doi = {10.1007/11823230_13},
keywords = {Separation Logic, Shape Analysis, Memory Allocators},
OPTpages = {182--203}
}
......@@ -455,7 +458,7 @@ series = {ISMM 2020}
title = {A Complete Decision Procedure for Linearly Compositional Separation Logic with Data Constraints},
volume = {9706},
isbn = {978-3-319-40228-4 978-3-319-40229-1},
url = {http://link.springer.com/10.1007/978-3-319-40229-1_36},
OPTurl = {http://link.springer.com/10.1007/978-3-319-40229-1_36},
eventtitle = {{IJCAR}},
OPTpages = {532--549},
booktitle = {{IJCAR}},
......@@ -465,7 +468,7 @@ series = {ISMM 2020}
OPTeditor = {Olivetti, Nicola and Tiwari, Ashish},
urldate = {2018-09-14},
year = {2016},
doi = {10.1007/978-3-319-40229-1_36}
doi = {10.1007/978-3-319-40229-1\_36}
}
......@@ -474,8 +477,8 @@ series = {ISMM 2020}
title = {Hierarchical {Shape} {Abstraction} for {Analysis} of {Free} {List} {Memory} {Allocators}},
volume = {10184},
isbn = {978-3-319-63138-7 978-3-319-63139-4},
url = {http://link.springer.com/10.1007/978-3-319-63139-4_9},
doi = {10.1007/978-3-319-63139-4_9},
OPTurl = {http://link.springer.com/10.1007/978-3-319-63139-4_9},
doi = {10.1007/978-3-319-63139-4\_9},
urldate = {2018-10-22},
booktitle = {{LOPSTR}},
publisher = {Springer},
......@@ -528,6 +531,7 @@ series = {ISMM 2020}
OPTpages = {80--96},
publisher = {Springer},
year = {2015},
doi = {10.1007/978-3-319-24953-7\_7},
}
@TECHREPORT{BarST-RR-10,
......@@ -549,6 +553,7 @@ series = {ISMM 2020}
OPTpages = {169--189},
publisher = {Springer},
year = {2017},
doi = {10.1007/978-3-319-71237-6\_9},
}
@inproceedings{CD11,
......@@ -561,6 +566,7 @@ series = {ISMM 2020}
OPTpages = {459--465},
publisher = {Springer},
year = {2011},
doi = {10.1007/978-3-642-20398-5\_33},
}
@inproceedings{CDD+15,
......@@ -581,6 +587,7 @@ series = {ISMM 2020}
publisher = {Springer},
OPTpages = {3--11},
year = {2015},
doi = {10.1007/978-3-319-17524-9\_1},
}
@book{Knuth97,
......@@ -601,7 +608,8 @@ OPTaddress = {Berlin, Heidelberg},
booktitle = {{IWMM}},
OPTpages = {1--116},
numpages = {116},
OPTseries = {IWMM'95}
OPTseries = {IWMM'95},
doi = {10.1007/3-540-60368-9\_19},
}
@inproceedings{KatelaanMZ19,
......@@ -618,6 +626,7 @@ OPTseries = {IWMM'95}
OPTpages = {319--336},
publisher = {Springer},
year = {2019},
doi = {10.1007/978-3-030-17465-1\_18},
}
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