alan-workshop.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: bib2bib -ob alan-workshop.bib -oc alan-workshop.keys -c '(Alan:"1") & ($type="INPROCEEDINGS") & (Workshop:"1")' alan.bib}}
@inproceedings{Bidinger2005Dream-Types---A-Doma,
  address = {Lisbon, Portugal},
  alan = {1},
  author = {Bidinger, Philippe and Leclercq, Matthieu and Qu{\'e}ma, Vivien and Schmitt, Alan and Stefani, Jean-Bernard},
  booktitle = {4th Workshop on Specification and Verification of Component-Based Systems (SAVCBS'05), in association with ESEC/FSE'05},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/savcbs.pdf},
  date-modified = {2011-02-22 10:52:47 +0100},
  month = sep,
  read = {1},
  title = {{Dream Types - A Domain Specific Type System for Component-Based Message-Oriented Middleware}},
  workshop = {1},
  year = 2005,
  bdsk-url-1 = {http://www.irisa.fr/celtique/aschmitt/papers/savcbs.pdf}
}
@inproceedings{BodinJensenSchmitt2013,
  alan = 1,
  author = {Bodin, Martin and Jensen, Thomas and Schmitt, Alan},
  booktitle = {Semantics, Abstract Interpretation, and Reasoning about
                  Programs: Essays Dedicated to David A. Schmidt on the
                  Occasion of his Sixtieth Birthday},
  month = sep,
  pages = {360--383},
  read = 1,
  series = {EPTCS},
  title = {Pretty-big-step-semantics-based Certified Abstract
                  Interpretation (Preliminary version)},
  volume = 129,
  year = 2013,
  workshop = 1
}
@inproceedings{BodinJensenSchmitt2014,
  alan = 1,
  author = {Bodin, Martin and Jensen, Thomas and Schmitt, Alan},
  booktitle = {Actes des 25{\`e}mes Journ{\'e}es Francophones des Langages
                  Applicatifs},
  month = jan,
  read = 1,
  title = {Pretty-big-step-semantics-based Certified Abstract
                  Interpretation},
  year = 2014,
  workshop = 1
}
@inproceedings{BodinSchmitt2013,
  alan = 1,
  author = {Bodin, Martin and Schmitt, Alan},
  booktitle = {Actes des 24{\`e}mes Journ{\'e}es Francophones des Langages
                  Applicatifs},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/Bodin2013A-Certified-JavaScri.pdf},
  month = feb,
  pages = {79--93},
  title = {A Certified JavaScript Interpreter},
  year = 2013,
  workshop = 1
}
@inproceedings{BoulierSchmitt2012,
  alan = 1,
  author = {Boulier, Simon and Schmitt, Alan},
  booktitle = {Actes des 23{\`e}mes Journ{\'e}es Francophones des Langages
                  Applicatifs},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/Boulier2012Formalisation-de-HOC.pdf},
  month = jan,
  read = 1,
  title = {Formalisation de HOCore en Coq},
  year = 2012,
  workshop = 1
}
@inproceedings{CabonSchmitt2017,
  alan = 1,
  author = {Cabon, Gurvan and Schmitt, Alan},
  title = {Non-Interference through Annotated Multisemantics},
  month = jan,
  year = {2017},
  booktitle = { Vingt-huiti{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs},
  hal = {https://hal.inria.fr/hal-01503094},
  workshop = {1}
}
@inproceedings{EscarraPetarSchmitt-JFLA-2015,
  acronym = {JFLA 2015},
  address = {Le Val d'Ajol, France},
  alan = {1},
  author = {Escarr{\'a}, Mart{\'\i}n and Petar, Maksimovi{\'c} and Schmitt, Alan},
  booktitle = {{Vingt-sixi{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs}},
  date-added = {2015-02-02 14:47:02 +0000},
  date-modified = {2015-02-02 14:48:52 +0000},
  editor = {David Baelde and Jade Alglave},
  hal_id = {hal-01099130},
  hal_version = {v1},
  month = jan,
  read = {1},
  title = {{HOCore in Coq}},
  url = {https://hal.inria.fr/hal-01099130},
  workshop = {1},
  year = {2015},
  bdsk-url-1 = {https://hal.inria.fr/hal-01099130}
}
@inproceedings{Foster2007A-Logic-Your-Typeche,
  alan = {1},
  author = {J. Nathan Foster and Benjamin C. Pierce and Alan Schmitt},
  booktitle = {ACM SIGPLAN Workshop Programming Language Technologies for XML (PLAN-X)},
  date-added = {2009-10-28 10:39:35 +0100},
  date-modified = {2010-05-21 15:29:43 +0200},
  read = {1},
  title = {A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice},
  workshop = {1},
  year = {2007}
}
@inproceedings{Fournet1999An-Implementation-of,
  alan = {1},
  author = {C\'{e}dric Fournet and Alan Schmitt},
  booktitle = {5th Mobile Object System Workshop},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/ambdjn.ps.gz},
  date-modified = {2011-01-06 10:53:30 +0100},
  month = jun,
  note = {[Software available from \url{http://join.inria.fr/ambients.html}]},
  read = {1},
  title = {An Implementation of {Ambients} in {JoCAML}},
  workshop = {1},
  year = 1999,
  bdsk-url-1 = {http://www.irisa.fr/celtique/aschmitt/papers/ambdjn.ps.gz}
}
@inproceedings{Gapeyev2005The-Xtatic-Experienc,
  alan = {1},
  author = {Vladimir Gapeyev and Michael Y. Levin and Benjamin C. Pierce and Alan Schmitt},
  booktitle = {Workshop on Programming Language Technologies for XML (PLAN-X)},
  date-modified = {2010-06-01 15:47:20 +0200},
  keys = {xtatic},
  keywords = {Xtatic, XML typing},
  month = jan,
  note = {University of Pennsylvania Technical Report MS-CIS-04-24, Oct 2004},
  read = {1},
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/xtatic-experience-slides.pdf},
  title = {The {Xtatic} Experience},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/xtatic-experience-TR.pdf},
  workshop = {1},
  year = 2005
}
@inproceedings{Geneves2007XPath-Typing-Using-a,
  alan = {1},
  author = {Genev{\`e}s, Pierre and Laya{\"\i}da, Nabil and Schmitt, Alan},
  booktitle = {ACM SIGPLAN Workshop Programming Language Technologies for XML (PLAN-X)},
  date-added = {2009-10-28 10:43:24 +0100},
  date-modified = {2011-03-04 15:19:24 +0100},
  keywords = {XPath, XML typing},
  read = {1},
  title = {XPath Typing Using a Modal Logic with Converse for Finite Trees},
  workshop = {1},
  year = {2007}
}
@inproceedings{PousSchmitt-JFLA-2014,
  acronym = {JFLA 2014},
  alan = {1},
  author = {Pous, Damien and Schmitt, Alan},
  booktitle = {Actes des 25{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs},
  month = jan,
  read = {1},
  title = {De la KAM avec un Processus d'Ordre Sup{\'e}rieur},
  workshop = {1},
  year = {2014}
}
@inproceedings{Schmitt2004The-Kell-Calculus:-A,
  alan = {1},
  author = {A. Schmitt and J.B. Stefani},
  booktitle = {Global Computing},
  conf = {http://www.irisa.fr/celtique/aschmitt/papers/LNCS_GC_04_Kells.ps.gz},
  date-added = {2007-07-23 15:17:06 +0200},
  date-modified = {2010-10-07 15:32:02 +0200},
  keywords = {Kell},
  month = mar,
  pages = {146--178},
  publisher = {Springer Berlin / Heidelberg},
  read = {1},
  series = {Lecture Notes in Computer Science},
  title = {{The Kell Calculus: A Family of Higher-Order Distributed Process Calculi}},
  volume = {3267},
  workshop = {1},
  year = {2004},
  bdsk-file-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QPi4uLy4uL0RvY3VtZW50cy9CaWJEZXNrRG9jcy9TY2htaXR0MjAwNFRoZS1LZWxsLUNhbGN1bHVzLUEucGRm0hcLGBlXTlMuZGF0YU8RAfAAAAAAAfAAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAM/URuZIKwAAAA/nmR9TY2htaXR0MjAwNFRoZS1LZWxsLUMjRkU4NkMucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD+hsyC6Q8QAAAAAAAAAAAAIAAwAACSAAAAAAAAAAAAAAAAAAAAALQmliRGVza0RvY3MAABAACAAAz9QqxgAAABEACAAAyC500QAAAAEAEAAP55kAD7KIAAmg9gACZvkAAgBVTWFjaW50b3NoIEhEOlVzZXJzOgBzY2htaXR0YToARG9jdW1lbnRzOgBCaWJEZXNrRG9jczoAU2NobWl0dDIwMDRUaGUtS2VsbC1DI0ZFODZDLnBkZgAADgBGACIAUwBjAGgAbQBpAHQAdAAyADAAMAA0AFQAaABlAC0ASwBlAGwAbAAtAEMAYQBsAGMAdQBsAHUAcwAtAEEALgBwAGQAZgAPABoADABNAGEAYwBpAG4AdABvAHMAaAAgAEgARAASAEdVc2Vycy9zY2htaXR0YS9Eb2N1bWVudHMvQmliRGVza0RvY3MvU2NobWl0dDIwMDRUaGUtS2VsbC1DYWxjdWx1cy1BLnBkZgAAEwABLwAAFQACAA///wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgDPANQA3ALQAtIC1wLiAusC+QL9AwQDDQMSAx8DIgM0AzcDPAAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAM+}
}
@comment{{Local Variables:
  bibtex-dialect: biblatex
  End:
}}