MAJ terminée. Nous sommes passés en version 14.6.2 . Pour consulter les "releases notes" associées c'est ici :

https://about.gitlab.com/releases/2022/01/11/security-release-gitlab-14-6-2-released/
https://about.gitlab.com/releases/2022/01/04/gitlab-14-6-1-released/

Commit 5da09606 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Bib.

parent 66e3de7e
......@@ -20,6 +20,9 @@
 
@String{asian = "Asian Computer Science Conference ({ASIAN})"}
 
@String{atva = "Automated Technology for Verification and Analysis
(ATVA)"}
@String{aw = "Addison-Wesley"}
 
@String{cacm = "Communications of the {ACM}"}
......@@ -633,6 +636,20 @@
URL = "http://www.brics.dk/RS/94/44/BRICS-RS-94-44.ps.gz",
}
 
@Article{ahman-18,
author = "Danel Ahman and C{\'{e}}dric Fournet and Catalin
Hritcu and Kenji Maillard and Aseem Rastogi and Nikhil
Swamy",
title = "Recalling a witness: foundations and applications of
monotonic state",
journal = pacmpl,
volume = "2",
number = "{POPL}",
pages = "65:1--65:30",
year = "2018",
URL = "https://doi.org/10.1145/3158153",
}
@InProceedings{ahman-al-17,
author = "Danel Ahman and Catalin Hritcu and Kenji Maillard and
Guido Mart{\'{\i}}nez and Gordon D. Plotkin and
......@@ -2081,6 +2098,18 @@
URL = "http://niatec.info/pdf/bell76.pdf",
}
 
@Article{bellegarde-hook-94,
author = "Fran{\c{c}}oise Bellegarde and James Hook",
title = "Substitution: {A} Formal Methods Case Study Using
Monads and Transformations",
journal = scp,
volume = "23",
number = "2-3",
pages = "287--311",
year = "1994",
URL = "https://doi.org/10.1016/0167-6423(94)00022-0",
}
@Article{bender-fineman-gilbert-tarjan-16,
author = "Michael A. Bender and Jeremy T. Fineman and Seth
Gilbert and Robert E. Tarjan",
......@@ -2843,6 +2872,16 @@
URL = "https://www.fpcomplete.com/user/edwardk/bound",
}
 
@InProceedings{bour-clement-scherer-21,
author = "Frédéric Bour and Basile Clément and Gabriel
Scherer",
title = "Tail Modulo Cons",
booktitle = jfla,
month = apr,
year = "2021",
URL = "https://arxiv.org/abs/2102.09823",
}
@TechReport{bourdoncle-merz-96,
author = "François Bourdoncle and Stephan Merz",
title = "On the integration of functional programming,
......@@ -3690,7 +3729,7 @@
publisher = springer,
series = lncs,
volume = "4807",
URL = "http://okmij.org/ftp/papers/tagless-final-APLAS.pdf",
URL = "https://doi.org/10.1007/978-3-540-76637-7_15",
}
 
@Article{carette-gauss-05,
......@@ -3706,6 +3745,19 @@
URL = "http://www.cas.mcmaster.ca/~carette/publications/ge.pdf",
}
 
@Article{carette-kiselyov-shan-09,
author = "Jacques Carette and Oleg Kiselyov and Chung{-}chieh
Shan",
title = "Finally tagless, partially evaluated: Tagless staged
interpreters for simpler typed languages",
journal = jfp,
volume = "19",
number = "5",
pages = "509--543",
year = "2009",
URL = "http://okmij.org/ftp/tagless-final/JFP.pdf",
}
@InProceedings{carlier-04,
author = "Sébastien Carlier and Jeff Polakow and J. B. Wells
and A. J. Kfoury",
......@@ -3774,6 +3826,18 @@
URL = "http://www.pps.univ-paris-diderot.fr/~gc/papers/icalp-ppdp05.pdf",
}
 
@Article{catala,
author = "Denis Merigoux and Nicolas Chataing and Jonathan
Protzenko",
title = "Catala: a programming language for the law",
journal = pacmpl,
volume = "5",
number = "{ICFP}",
pages = "1--29",
year = "2021",
URL = "https://doi.org/10.1145/3473582",
}
@InProceedings{cejtin-al-00,
author = "Henry Cejtin and Suresh Jagannathan and Stephen
Weeks",
......@@ -3810,7 +3874,7 @@
author = "Arthur Charguéraud",
title = "The {CFML} tool and library",
howpublished = "\url{http://www.chargueraud.org/softs/cfml/}",
year = "2019",
year = "2021",
}
 
@InProceedings{chakravarty-associated-05,
......@@ -3883,6 +3947,17 @@
URL = "http://www.chargueraud.org/research/2011/cfml/main.pdf",
}
 
@InProceedings{chargueraud-16,
author = "Arthur Charguéraud",
title = "Higher-order representation predicates in separation
logic",
booktitle = cpp,
pages = "3--14",
month = jan,
year = "2016",
URL = "https://hal.inria.fr/hal-01408670",
}
@Article{chargueraud-20,
author = "Arthur Chargu{\'{e}}raud",
title = "Separation logic for sequential programs (functional
......@@ -3953,6 +4028,19 @@
URL = "http://gallium.inria.fr/~fpottier/publis/chargueraud-pottier-uf.pdf",
}
 
@InProceedings{chargueraud-pottier-slro-17,
author = "Arthur Charguéraud and François Pottier",
title = "Temporary Read-Only Permissions for Separation Logic",
booktitle = esop,
publisher = springer,
series = lncs,
volume = "10201",
month = apr,
year = "2017",
pages = "260--286",
URL = "http://cambium.inria.fr/~fpottier/publis/chargueraud-pottier-slro.pdf",
}
@Article{chargueraud-pottier-uf-sltc-17,
author = "Arthur Charguéraud and François Pottier",
title = "Verifying the Correctness and Amortized Complexity of
......@@ -3964,6 +4052,20 @@
URL = "http://gallium.inria.fr/~fpottier/publis/chargueraud-pottier-uf-sltc.pdf",
}
 
@Article{chargueraud-pottier-uf-sltc-19,
author = "Arthur Charguéraud and François Pottier",
title = "Verifying the Correctness and Amortized Complexity of
a Union-Find Implementation in Separation Logic with
Time Credits",
journal = jar,
month = mar,
year = "2019",
volume = "62",
number = "3",
pages = "331--365",
URL = "http://cambium.inria.fr/~fpottier/publis/chargueraud-pottier-uf-sltc.pdf",
}
@Misc{chargueraud-rainey-17,
title = "Efficient Representations for Large Dynamic Sequences
in {ML}",
......@@ -3974,6 +4076,16 @@
month = sep,
}
 
@Book{chargueraud-sf6,
author = "Arthur Charguéraud",
editor = "Benjamin C. Pierce",
title = "Separation Logic Foundations",
series = "Software Foundations",
volume = "6",
year = "2021",
note = "\url{http://softwarefoundations.cis.upenn.edu}",
}
@TechReport{chen-al-99,
author = "Martin Odersky and Christoph Zenger and Matthias
Zenger and Gang Chen",
......@@ -5936,6 +6048,18 @@
URL = "https://people.mpi-sws.org/~dreyer/papers/stslr/journal.pdf",
}
 
@Article{driscoll-89,
author = "James R. Driscoll and Neil Sarnak and Daniel Dominic
Sleator and Robert Endre Tarjan",
title = "Making Data Structures Persistent",
journal = "Journal of Computer and System Sciences",
volume = "38",
number = "1",
pages = "86--124",
year = "1989",
URL = "https://doi.org/10.1016/0022-0000(89)90034-2",
}
@InProceedings{dubois-menissier-97,
author = "Catherine Dubois and Valérie Ménissier-Morain",
title = "Typage de {ML}: Spécification et preuve en {Coq}",
......@@ -6950,6 +7074,16 @@
alturl = "http://dx.doi.org/10.1016/S0304-3975(00)00314-5",
}
 
@TechReport{friedman-wise-75,
author = "Daniel P. Friedman and David S. Wise",
title = "Unwinding stylized recursions into iterations",
institution = "Computer Science Department, Indiana University,
Bloomington",
year = "1975",
number = "19",
URL = "https://legacy.cs.indiana.edu/ftp/techreports/TR19.pdf",
}
@InProceedings{frisch-castagna-benzaken-02,
author = "Alain Frisch and Giuseppe Castagna and V{\'e}ronique
Benzaken",
......@@ -7553,6 +7687,22 @@
URL = "http://doi.acm.org/10.1145/1297081.1297090",
}
 
@InProceedings{gospel,
author = "Arthur Chargu{\'{e}}raud and Jean{-}Christophe
Filli{\^{a}}tre and Cl{\'{a}}udio Louren{\c{c}}o and
M{\'{a}}rio Pereira",
title = "{GOSPEL} - Providing {OCaml} with a Formal
Specification Language",
booktitle = fm,
series = lncs,
volume = "11800",
pages = "484--501",
publisher = springer,
month = oct,
year = "2019",
URL = "https://hal.inria.fr/hal-02157484v2",
}
@InProceedings{gotsman-aplas-07,
author = "Alexey Gotsman and Josh Berdine and Byron Cook and
Noam Rinetzky and Mooly Sagiv",
......@@ -7657,7 +7807,7 @@
year = "2008",
publisher = springer,
series = "Monographs in computer science",
URL = "http://www.cs.vu.nl/~dick/PT2Ed.html",
URL = "https://dickgrune.com/Books/PTAPG_2nd_Edition/",
}
 
@Book{grune-jacobs-90,
......@@ -7665,7 +7815,17 @@
title = "Parsing techniques: a practical guide",
year = "1990",
publisher = ellis,
URL = "http://www.cs.vu.nl/~dick/PTAPG.html",
URL = "https://dickgrune.com/Books/PTAPG_1st_Edition/",
}
@PhdThesis{gueneau-19,
author = "Armaël Guéneau",
title = "Mechanized Verification of the Correctness and
Asymptotic Complexity of Programs",
school = "Université de Paris",
month = dec,
year = "2019",
URL = "https://tel.archives-ouvertes.fr/tel-02437532",
}
 
@InProceedings{gueneau-cakeml-17,
......@@ -7872,6 +8032,17 @@
URL = "http://www.macs.hw.ac.uk/~jbw/papers/Haack+Wells:Type-Error-Slicing-in-Implicitly-Typed-Higher-Order-Languages:ESOP-2003.pdf",
}
 
@Article{hague-ong-08,
author = "Matthew Hague and C.{-}H. Luke Ong",
title = "Symbolic Backwards-Reachability Analysis for
Higher-Order Pushdown Systems",
journal = lmcs,
volume = "4",
number = "4",
year = "2008",
URL = "https://doi.org/10.2168/LMCS-4(4:14)2008",
}
@InProceedings{hall-94,
author = "Cordelia Hall and Kevin Hammond and Simon {Peyton
Jones} and Philip Wadler",
......@@ -8132,8 +8303,7 @@
author = "Guanhua He and Shengchao Qin and Chenguang Luo and
Wei{-}Ngan Chin",
title = "Memory Usage Verification Using {Hip/Sleek}",
booktitle = "Automated Technology for Verification and Analysis
(ATVA)",
booktitle = atva,
series = lncs,
volume = "5799",
pages = "166--181",
......@@ -9001,10 +9171,11 @@
title = "An $n\log n$ algorithm for minimizing states in a
finite automaton",
booktitle = "Theory of Machines and Computations",
editor = "Z. Kohavi",
editor = "Zvi Kohavi and Azaria Paz",
publisher = ap,
year = "1971",
pages = "189--196",
URL = "https://www.sciencedirect.com/science/article/pii/B9780124177505500221",
}
 
@Book{hopcroft-motwani-ullman-00,
......@@ -10225,6 +10396,16 @@
URL = "http://homepages.inf.ed.ac.uk/wadler/papers/monadscomb/monadscomb.ps.gz",
}
 
@Unpublished{kiselyov-beyond-church-12,
author = "Oleg Kiselyov",
title = "Beyond {Church} encoding: {Boehm-Berarducci}
isomorphism of algebraic data types and polymorphic
lambda-terms",
note = "\url{http://okmij.org/ftp/tagless-final/course/Boehm-Berarducci.html}",
month = apr,
year = "2012",
}
@InProceedings{kiselyov-shan-07,
author = "Oleg Kiselyov and Chung{-}chieh Shan",
title = "A Substructural Type System for Delimited
......@@ -10239,6 +10420,20 @@
URL = "http://homes.soic.indiana.edu/ccshan/binding/context.pdf",
}
 
@InProceedings{kiselyov-tagless-final-10,
author = "Oleg Kiselyov",
title = "Typed Tagless Final Interpreters",
booktitle = "International Spring School on Generic and Indexed
Programming (SSGIP)",
series = lncs,
volume = "7470",
pages = "130--174",
publisher = springer,
month = mar,
year = "2010",
URL = "http://okmij.org/ftp/tagless-final/course/lecture.pdf",
}
@InProceedings{klees-18,
author = "George Klees and Andrew Ruef and Benji Cooper and
Shiyi Wei and Michael Hicks",
......@@ -10727,6 +10922,19 @@
URL = "http://www.acsac.org/1999/papers/thu-b-1500-lai.pdf",
}
 
@InProceedings{lal-reps-06,
author = "Akash Lal and Thomas W. Reps",
title = "Improving Pushdown System Model Checking",
booktitle = cav,
series = lncs,
volume = "4144",
pages = "343--357",
publisher = springer,
month = aug,
year = "2006",
URL = "https://minds.wisconsin.edu/handle/1793/60484",
}
@InProceedings{lammich-13,
author = "Peter Lammich",
title = "Automatic Data Refinement",
......@@ -11089,6 +11297,18 @@
URL = "http://www.pps.jussieu.fr/~lebresne/papers/SystemFWithExceptions.pdf",
}
 
@Article{lee-81,
author = "Tony T. Lee",
title = "Order-Preserving Representations of the Partitions on
the Finite Set",
journal = "Journal of Combinatorial Theory, Series {A}",
volume = "31",
number = "2",
pages = "136--145",
year = "1981",
URL = "https://core.ac.uk/download/pdf/82548255.pdf",
}
@Article{lee-yi-98,
author = "Oukseh Lee and Kwangkeun Yi",
title = "Proofs about a folklore let-polymorphic type inference
......@@ -11109,6 +11329,17 @@
URL = "http://gallium.inria.fr/~maranget/papers/opt-pat.ps.gz",
}
 
@Article{lehmann-77,
author = "Daniel J. Lehmann",
title = "Algebraic Structures for Transitive Closure",
journal = tcs,
volume = "4",
number = "1",
pages = "59--76",
year = "1977",
URL = "https://doi.org/10.1016/0304-3975(77)90056-1",
}
@InProceedings{leijen-17,
author = "Daan Leijen",
title = "Type directed compilation of row-typed algebraic
......@@ -11397,6 +11628,17 @@
URL = "http://dreixel.net/research/pdf/lgph.pdf",
}
 
@InProceedings{li-ogawa-10,
author = "Xin Li and Mizuhito Ogawa",
title = "Conditional weighted pushdown systems and
applications",
booktitle = pepm,
pages = "141--150",
month = jan,
year = "2010",
URL = "http://www.jaist.ac.jp/~mizuhito/papers/conference/PEPM10.pdf",
}
@InProceedings{liang-hudak-jones-95,
author = "Sheng Liang and Paul Hudak and Mark P. Jones",
title = "Monad Transformers and Modular Interpreters",
......@@ -12290,6 +12532,21 @@
URL = "https://www.cs.cmu.edu/~rwh/papers/closures/popl96.pdf",
}
 
@InProceedings{minamide-mori-12,
author = "Yasuhiko Minamide and Shunsuke Mori",
title = "Reachability Analysis of the {HTML5} Parser
Specification and Its Application to Compatibility
Testing",
booktitle = fm,
series = lncs,
volume = "7436",
pages = "293--307",
publisher = springer,
month = aug,
year = "2012",
URL = "https://sv.c.titech.ac.jp/minamide/papers/minamide-FM2012.pdf",
}
@InProceedings{minamide-okuma-03,
author = "Yasuhiko Minamide and Koji Okuma",
title = "Verifying {CPS} transformations in {Isabelle/HOL}",
......@@ -13544,7 +13801,7 @@
pages = "973--989",
month = dec,
year = "1987",
URL = "http://locus.siam.org/fulltext/SICOMP/volume-16/0216062.pdf",
URL = "https://scholarsmine.mst.edu/cgi/viewcontent.cgi?article=1348&context=math_stat_facwork",
}
 
@InProceedings{pale-01,
......@@ -15164,6 +15421,17 @@
URL = "https://groups.csail.mit.edu/cgs/pubs/lfp94.pdf",
}
 
@InProceedings{reloc,
author = "Dan Frumin and Robbert Krebbers and Lars Birkedal",
title = "ReLoC: {A} Mechanised Relational Logic for
Fine-Grained Concurrency",
booktitle = lics,
pages = "442--451",
month = jul,
year = "2018",
URL = "https://iris-project.org/pdfs/2018-lics-reloc-final.pdf",
}
@InProceedings{remy-89,
author = "Didier Rémy",
title = "Type checking records and variants in a natural
......@@ -15336,6 +15604,19 @@
URL = "http://www.cs.wisc.edu/wpis/papers/tr1386.pdf",
}
 
@Article{reps-schwoon-jha-melski-05,
author = "Thomas W. Reps and Stefan Schwoon and Somesh Jha and
David Melski",
title = "Weighted pushdown systems and their application to
interprocedural dataflow analysis",
journal = scp,
volume = "58",
number = "1-2",
pages = "206--263",
year = "2005",
URL = "https://doi.org/10.1016/j.scico.2005.02.009",
}
@PhdThesis{retert-09,
author = "William S. Retert",
title = "Implementing Permission Analysis",
......@@ -15538,6 +15819,16 @@
URL = "http://www.cs.washington.edu/homes/miker/coord/coordinated_tldi05.pdf",
}
 
@TechReport{risch-73,
author = "Tore Risch",
title = "{REMREC} -- {A} Program for Automatic Recursion
Removal in {Lisp}",
institution = "Dept. of Computer Science, Uppsala University",
year = "1973",
number = "DLU73/24",
URL = "http://user.it.uu.se/~torer/publ/remrec.pdf",
}
@Article{rittri-89,
author = "Mikael Rittri",
title = "Using types as Search Keys in Function Libraries",
......@@ -16137,6 +16428,18 @@
URL = "http://www.nd.edu/~esha/papers/oldsha/alg.ps",
}
 
@InProceedings{shaikha-17,
author = "Amir Shaikhha and Andrew W. Fitzgibbon and Simon
Peyton Jones and Dimitrios Vytiniotis",
title = "Destination-passing style for efficient memory
management",
booktitle = "Workshop on Functional High-Performance Computing",
pages = "12--23",
month = sep,
year = "2017",
URL = "https://www.microsoft.com/en-us/research/wp-content/uploads/2016/11/dps-fhpc17.pdf",
}
@Article{shao-certified-05,
author = "Zhong Shao and Valery Trifonov and Bratin Saha and
Nikolaos Papaspyrou",
......@@ -16752,6 +17055,19 @@
URL = "ftp://ftp.ccs.neu.edu/pub/people/wand/papers/steckler-wand-97.ps",
}
 
@InProceedings{steele-ultimate-77,
author = "Guy L. Steele Jr.",
title = "Debunking the {"}expensive procedure call{"} myth or,
procedure call implementations considered harmful or,
{LAMBDA:} The Ultimate {GOTO}",
booktitle = "Proceedings of the 1977 annual conference",
pages = "153--162",
publisher = "{ACM}",
month = oct,
year = "1977",
URL = "https://dspace.mit.edu/bitstream/handle/1721.1/5753/AIM-443.pdf?sequence=2&isAllowed=y",
}
@InProceedings{steensgaard-96,
author = "Bjarne Steensgaard",
booktitle = popl,
......@@ -16972,6 +17288,22 @@
URL = "http://www.kb.ecei.tohoku.ac.jp/~sumii/pub/poly-ref.pdf",
}
 
@InProceedings{suwimonteerabuth-schwoon-esparza-06,
author = "Dejvuth Suwimonteerabuth and Stefan Schwoon and Javier
Esparza",
title = "Efficient Algorithms for Alternating Pushdown Systems
with an Application to the Computation of Certificate
Chains",
booktitle = atva,
series = lncs,
volume = "4218",
pages = "141--153",
publisher = springer,
month = oct,
year = "2006",
URL = "http://www.lsv.fr/Publis/PAPERS/PDF/SSE-atva06.pdf",
}
@InProceedings{svendsen-18,
author = "Kasper Svendsen and Jean Pichon-Pharabod and Marko
Doko and Ori Lahav and Viktor Vafeiadis",
......@@ -17307,6 +17639,17 @@
URL = "http://dx.doi.org/10.1137/0606031",
}
 
@Article{tarjan-fast-81,
author = "Robert Endre Tarjan",
title = "Fast Algorithms for Solving Path Problems",
journal = jacm,
volume = "28",
number = "3",
pages = "594--614",
year = "1981",
URL = "https://doi.org/10.1145/322261.322273",
}
@Article{tarjan-leeuwen-84,
author = "Robert E. Tarjan and Jan {van Leeuwen}",
title = "Worst-Case Analysis of Set Union Algorithms",
......@@ -17319,6 +17662,17 @@
URL = "http://dx.doi.org/10.1145/62.2160",
}
 
@Article{tarjan-unified-81,
author = "Robert Endre Tarjan",
title = "A Unified Approach to Path Problems",
journal = jacm,
volume = "28",
number = "3",
pages = "577--593",
year = "1981",
URL = "https://doi.org/10.1145/322261.322272",
}
@Article{tarjan-yannakakis-84,
author = "Robert E. Tarjan and Mihalis Yannakakis",
title = "Simple Linear-Time Algorithms to Test Chordality of
......@@ -17467,6 +17821,16 @@
URL = "http://doi.acm.org/10.1145/3341709",
}
 
@InProceedings{timany-birkedal-21,
author = "Amin Timany and Lars Birkedal",
title = "Reasoning about monotonicity in separation logic",
booktitle = cpp,
pages = "91--104",
month = jan,
year = "2021",
URL = "https://iris-project.org/pdfs/2021-CPP-monotone-final.pdf",
}
@InProceedings{tiuryn-92,
author = "Jerzy Tiuryn",
title = "Subtype inequalities",
......@@ -17617,6 +17981,18 @@
URL = "http://flint.cs.yale.edu/trifonov/papers/subcon.pdf",
}
 
@Unpublished{trillium,
author = "Amin Timany and Simon Oddershede Gregersen and Léo
Stefanesco and Léon Gondelman and Abel Nieto and Lars
Birkedal",
title = "Trillium: Unifying Refinement and Higher-Order
Distributed Separation Logic",
note = "Submitted",
month = oct,
year = "2021",
URL = "https://arxiv.org/pdf/2109.07863.pdf",
}
@InProceedings{tschantz-ernst-05,
author = "Matthew S. Tschantz and Michael D. Ernst",
title = "Javari: adding reference immutability to {Java}",
......
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