Skip to content

M
menhir
Commit c1af6807 authored by POTTIER Francois's avatar POTTIER Francois
Browse files
Options

Bibliography update.

parent 2e283044
Hide whitespace changes
Inline Side-by-side
Showing with 158 additions and 4 deletions
doc/english.bib
View file @ c1af6807
......@@ -120,6 +120,9 @@
@String{hav = "Heap Analysis and Verification (HAV)"}
@String{hilt = "ACM SIGAda Annual Conference on High Integrity
Language Technology (HILT)"}
@String{hlcl = "High-Level Concurrent Languages (HLCL)"}
@String{hoots = "Higher Order Operational Techniques in Semantics
......@@ -129,6 +132,9 @@
@String{hosc = "Higher-Order and Symbolic Computation"}
@String{hotpar = "USENIX Conference on Hot Topics in Parallelism
(HotPar)"}
@String{hs = "Haskell symposium"}
@String{hw = "Haskell workshop"}
......@@ -312,6 +318,8 @@
@String{sigops = "ACM Operating Systems Review"}
@String{snapl = "Summit on Advances in Programming Languages (SNAPL)"}
@String{soda = "Symposium on Discrete Algorithms (SODA)"}
@String{sp = "{IEEE} Symposium on Security and Privacy (S\&P)"}
......@@ -898,6 +906,19 @@
URL = "http://dx.doi.org/10.1007/3-540-19020-1_13",
}
@Article{amighi-15,
author = "Afshin Amighi and Christian Haack and Marieke Huisman
and Clément Hurlin",
title = "Permission-based separation logic for multithreaded
{Java} programs",
journal = lmcs,
year = "2015",
volume = "11",
number = "1",
pages = "1--66",
URL = "http://arxiv.org/abs/1411.0851",
}
@Article{andersen-94,
author = "Henrik Reif Andersen",
title = "Model checking and {Boolean} graphs",
......@@ -1188,7 +1209,7 @@
@InProceedings{baker-conquer-90,
author = "Henry G. Baker",
title = "Unify and conquer (Garbage, Updating, Aliasing, ...)
title = "Unify and conquer (Garbage, Updating, Aliasing, \ldots)
in Functional Languages",
booktitle = lfp,
year = "1990",
......@@ -1804,6 +1825,69 @@
URL = "http://www.cs.cmu.edu/afs/cs.cmu.edu/project/scandal/public/papers/fpca-pal.ps.gz",
}
@InProceedings{bocchino-09,
author = "Robert L. {Bocchino Jr.} and Vikram S. Adve and Sarita
V. Adve and Marc Snir",
title = "Parallel Programming Must Be Deterministic by
Default",
booktitle = hotpar,
year = "2009",
pages = "1--6",
URL = "http://dpj.cs.illinois.edu/DPJ/Publications_files/DPJ-HotPar-2009.pdf",
}
@InCollection{bocchino-13,
author = "Robert L. {Bocchino Jr.}",
title = "Alias Control for Deterministic Parallelism",
editor = "Dave Clarke and James Noble and Tobias Wrigstad",
booktitle = "Aliasing in Object-Oriented Programming. Types,
Analysis and Verification",
pages = "156--195",
year = "2013",
URL = "http://dx.doi.org/10.1007/978-3-642-36946-9_7",
series = lncs,
volume = "7850",
publisher = springer,
}
@InProceedings{bocchino-adve-11,
author = "Robert L. {Bocchino Jr.} and Vikram S. Adve",
title = "Types, Regions, and Effects for Safe Programming with
Object-Oriented Parallel Frameworks",
booktitle = ecoop,
pages = "306--332",
year = "2011",
series = lncs,
volume = "6813",
publisher = springer,
URL = "http://rob-bocchino.net/Professional/Publications_files/DPJ-ECOOP-2011-Frameworks.pdf",
}
@InProceedings{bocchino-dpj-09,
author = "Robert L. {Bocchino Jr.} and Vikram S. Adve and Danny
Dig and Sarita V. Adve and Stephen Heumann and Rakesh
Komuravelli and Jeffrey Overbey and Patrick Simmons and
Hyojin Sung and Mohsen Vakilian",
title = "A type and effect system for deterministic parallel
{Java}",
booktitle = oopsla,
pages = "97--116",
year = "2009",
URL = "http://rob-bocchino.net/Professional/Publications_files/Bocchino-OOPSLA-2009.pdf",
}
@InProceedings{bocchino-safe-11,
author = "Robert L. {Bocchino Jr.} and Stephen Heumann and Nima
Honarmand and Sarita V. Adve and Vikram S. Adve and
Adam Welc and Tatiana Shpeisman",
title = "Safe nondeterminism in a deterministic-by-default
parallel language",
booktitle = popl,
pages = "535--548",
year = "2011",
URL = "http://rob-bocchino.net/Professional/Publications_files/Bocchino-POPL-2011.pdf",
}
@InProceedings{bodei-al-99,
author = "Chiara Bodei and Pierpaolo Degano and Flemming Nielson
and Hanne Riis Nielson",
......@@ -2153,6 +2237,16 @@
URL = "http://www.dicosmo.org/Articles/MSCS.dvi",
}
@Unpublished{bugliesi-affine-15,
author = "Michele Bugliesi and Stefano Calzavara and Fabienne
Eigner and Matteo Maffei",
title = "Affine Refinement Types for Secure Distributed
Programming",
note = "To appear",
year = "2015",
URL = "http://www.sps.cs.uni-saarland.de/affine-rcf/resources/long.pdf",
}
@InProceedings{bugliesi-crafa-dynamic-99,
author = "Michele Bugliesi and Silvia Crafa",
title = "Object Calculi for Dynamic Messages",
......@@ -4148,6 +4242,15 @@
URL = "http://research.microsoft.com/en-us/projects/f7/",
}
@Misc{facebook-infer,
author = "Cristiano Calcagno and Dino Distefano and Peter
O'Hearn",
title = "Open-sourcing {Facebook Infer}: Identify bugs before
you ship",
howpublished = "\url{https://code.facebook.com/posts/1648953042007882/open-sourcing-facebook-infer-identify-bugs-before-you-ship/}",
year = "2015",
}
@InProceedings{faehndrich-al-00,
author = "Manuel Fähndrich and Jakob Rehof and Manuvir Das",
title = "Scalable Context-Sensitive Flow Analysis Using
......@@ -5283,6 +5386,30 @@
pages = "127--135",
}
@InProceedings{haack-huisman-hurlin-08,
author = "Christian Haack and Marieke Huisman and Cl{\'{e}}ment
Hurlin",
title = "Reasoning about {Java's} Reentrant Locks",
booktitle = aplas,
pages = "171--187",
year = "2008",
series = lncs,
volume = "5356",
publisher = springer,
URL = "http://www.cs.ru.nl/~chaack/papers/papers/reentrant.pdf",
}
@Article{haack-hurlin-09,
author = "Christian Haack and Cl{\'{e}}ment Hurlin",
title = "Resource Usage Protocols for Iterators",
journal = jot,
volume = "8",
number = "4",
pages = "55--83",
year = "2009",
URL = "http://www.jot.fm/issues/issue_2009_06/article3.pdf",
}
@InProceedings{haack-wells-03,
author = "Christian Haack and J. B. Wells",
title = "Type error slicing in implicitly typed, higher-order
......@@ -6199,7 +6326,7 @@
@PhdThesis{huet-76,
author = "G{\'e}rard Huet",
title = "{R}{\'e}solution d'{\'e}quations dans des langages
d'ordre $1$, $2$, $\ldots$, $\omega$.",
d'ordre $1$, $2$, $\ldots$, $\omega$",
school = "Universit{\'e} Paris 7",
year = "1976",
}
......@@ -8246,7 +8373,7 @@
@Article{mitchell-05,
author = "David G. Mitchell",
title = "A {SAT} Solver Primer.",
title = "A {SAT} Solver Primer",
journal = "Bulletin of the EATCS",
volume = "85",
year = "2005",
......@@ -9122,7 +9249,7 @@
}
@Manual{omega,
title = "${\Omega}$mega",
title = "{${\Omega}$}mega",
author = "Tim Sheard",
year = "2005",
URL = "http://www.cs.pdx.edu/~sheard/Omega/",
......@@ -10041,6 +10168,14 @@
URL = "http://gallium.inria.fr/~fpottier/publis/pottier-protzenko-mezzo.pdf",
}
@InProceedings{pottier-protzenko-lessons-mezzo-15,
author = "François Pottier and Jonathan Protzenko",
title = "A few lessons from the {Mezzo} project",
booktitle = snapl,
year = "2015",
URL = "http://gallium.inria.fr/~fpottier/publis/fpottier-protzenko-lessons-mezzo.pdf",
}
@InProceedings{pottier-regis-gianas-06,
author = "François Pottier and Yann Régis-Gianas",
title = "Stratified type inference for generalized algebraic
......@@ -10795,6 +10930,25 @@
URL = "http://www.rust-lang.org/",
}
@InProceedings{rust-14,
author = "Nicholas D. Matsakis and Felix S. {Klock,II}",
title = "The {Rust} Language",
booktitle = hilt,
year = "2014",
pages = "103--104",
URL = "http://doi.acm.org/10.1145/2663171.2663188",
}
@Unpublished{rust-servo-15,
author = "Brian Anderson and Lars Bergstrom and David Herman and
Josh Matthews and Keegan McAllister and Manish
Goregaokar and Jack Moffitt and Simon Sapin",
title = "Experience Report: Developing the {Servo} Web Browser
Engine using {Rust}",
year = "2015",
URL = "http://arxiv.org/abs/1505.07383",
}
@InProceedings{sabelfeld-sands-99,
author = "Andrei Sabelfeld and David Sands",
title = "A {PER} Model of Secure Information Flow in Sequential
......
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