alan-workshop.bib

@comment{{This file has been generated by bib2bib 1.99}}

@comment{{Command line: bib2bib -ob alan-workshop.bib -oc alan-workshop.keys -c '(Alan:"1") & ($type="INPROCEEDINGS") & (Workshop:"1")' alan.bib}}

@inproceedings{BidingerLeclercqQuemaSchmittStefani2005,
  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{BodinJensenSchmitt2016,
  alan = 1,
  workshop = 1,
  author = {Bodin, Martin and Jensen, Thomas and Schmitt, Alan},
  title = {{An Abstract Separation Logic for Interlinked Extensible
                  Records}},
  year = 2016,
  booktitle = {{Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016)}},
  editor = {Julien Signoles},
  month = jan,
  hal = {https://hal.inria.fr/hal-01333600},
  address = {Saint-Malo, France},
  pdf = {https://hal.inria.fr/hal-01333600/file/main.pdf},
  hal_id = {hal-01333600},
  hal_version = {v1}
}

@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{EscarraPetarSchmitt2015,
  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{FosterPierceSchmitt2007,
  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{FournetSchmitt1999,
  alan = 1,
  author = {Cé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,
  url = {http://www.irisa.fr/celtique/aschmitt/papers/ambdjn.ps.gz},
  note = {Conference web page at \url{https://web.archive.org/web/20010517193244/http://cui.unige.ch/~ecoopws/ws99/}}
}

@inproceedings{GapeyevLevinPierceSchmitt2005-planx,
  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{SchmittStefani2004,
  alan = 1,
  author = {Schmitt, Alan and Stefani, Jean-Bernard},
  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
}

@inproceedings{CabonSchmitt2017b,
  title = {{Annotated multisemantics to prove Non-Interference analyses}},
  author = {Cabon, Gurvan and Schmitt, Alan},
  hal = {https://hal.inria.fr/hal-01656404},
  booktitle = {{PLAS 2017 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security}},
  address = {Dallas, United States},
  publisher = {{ACM}},
  series = {PLAS '17 Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security},
  pages = {49-62},
  year = {2017},
  month = oct,
  alan = 1,
  workshop = 1,
  doi = {10.1145/3139337.3139344},
  keywords = {multisemantics ; non-interference ; pretty-big-step ; annotation},
  pdf = {https://hal.archives-ouvertes.fr/hal-01656404/file/final_version_plas17_cabon_schmitt.pdf},
  hal_id = {hal-01656404},
  hal_version = {v1}
}

@inproceedings{ZoubritzkySchmitt-JFLA-2018,
  acronym = {JFLA 2018},
  alan = {1},
  author = {Zoubritzky, Lionel and Schmitt, Alan},
  booktitle = {Actes des 29{\`e}mes Journ{\'e}es Francophones des Langages Applicatifs},
  month = jan,
  read = {1},
  title = {HOcore en HOcore},
  workshop = {1},
  year = {2018}
}

@inproceedings{LeBonSchmitt2018,
  title = {{MLExplain}},
  author = {Le Bon, Kévin and Schmitt, Alan},
  hal = {https://hal.inria.fr/hal-02056392},
  booktitle = {{OCaml 2018}},
  address = {Saint Louis, United States},
  year = 2018,
  month = sep,
  pdf = {https://hal.inria.fr/hal-02056392/file/mlexplain.pdf},
  hal_id = {hal-02056392},
  hal_version = {v1},
  alan = 1,
  workshop = 1
}

@inproceedings{CourantCranceSchmitt2019,
  title = {{Necro: Animating Skeletons}},
  author = {Courant, Nathanaël and Crance, Enzo and Schmitt, Alan},
  booktitle = {{ML 2019}},
  address = {Berlin, Germany},
  year = 2019,
  month = aug,
  pdf = {http://skeletons.inria.fr/papers/ml2019_paper.pdf},
  alan = 1,
  workshop = 1
}

@inproceedings{NoizetSchmitt2020,
  title = {{Formalisation de Sémantiques Squelettiques}},
  author = {Noizet, Louis and Schmitt, Alan},
  url = {https://hal.inria.fr/hal-02512485},
  booktitle = {{JLFA 2020 - Journées Francophones des Langages Applicatifs}},
  address = {Gruissan, France},
  year = 2020,
  month = jan,
  pdf = {https://hal.inria.fr/hal-02512485/file/certification.pdf},
  hal_id = {hal-02512485},
  hal_version = {v1},
  alan = 1,
  workshop = 1
}

@inproceedings{KhayamNoizetSchmitt2021,
  title = {{JSkel: Towards a Formalization of JavaScript’s Semantics}},
  author = {Khayam, Adam and Noizet, Louis and Schmitt, Alan},
  pdf = {https://people.rennes.inria.fr/Alan.Schmitt/papers/JFLA2021.pdf},
  hal = {https://hal.inria.fr/hal-03509431},
  booktitle = {{JLFA 2021 - Journées Francophones des Langages Applicatifs}},
  year = 2021,
  alan = 1,
  workshop = 1
}

@inproceedings{JensenRebiscoulSchmitt2023,
  title = {{Building CFA for $\lambda$-calculus from Skeletal Semantics}},
  author = {Jensen, Thomas and Rébiscoul, Vincent and Schmitt, Alan},
  url = {https://hal.inria.fr/hal-03936686},
  booktitle = {{JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs}},
  address = {Praz-sur-Arly, France},
  editor = {Timothy Bourke and Delphine Demange},
  pages = {121-140},
  year = 2023,
  month = jan,
  pdf = {https://hal.inria.fr/hal-03936686/file/jfla23_paper_6136.pdf},
  hal_id = {hal-03936686},
  hal_version = {v1},
  alan = 1,
  workshop = 1
}

@inproceedings{NoizetSchmitt2023,
  title = {{Necro ML : Kit de Nécromancie (Démonstration)}},
  author = {Noizet, Louis and Schmitt, Alan},
  url = {https://hal.inria.fr/hal-03936885},
  booktitle = {{JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs}},
  address = {Praz-sur-Arly, France},
  editor = {Timothy Bourke and Delphine Demange},
  pages = {295-297},
  year = 2023,
  month = jan,
  pdf = {https://hal.inria.fr/hal-03936885/file/jfla23_paper_5372.pdf},
  hal_id = {hal-03936885},
  hal_version = {v1},
  alan = 1,
  workshop = 1
}

@inproceedings{JensenRébiscoulSchmitt2023,
  author = {Jensen, Thomas and Rébiscoul, Vincent and Schmitt, Alan},
  year = 2023,
  title = {Deriving Abstract Interpreters from Skeletal Semantics},
  editor = {Mezzina, Claudio Antares and Caltais, Georgiana},
  booktitle = {{\rm Proceedings Combined 30th International Workshop on}
               Expressiveness in Concurrency {\rm and 20th Workshop on} Structural Operational Semantics,
               {\rm Antwerp, Belgium, 18th September 2023}},
  series = {Electronic Proceedings in Theoretical Computer Science},
  volume = 387,
  alan = 1,
  workshop = 1,
  publisher = {Open Publishing Association},
  pages = {97--113},
  doi = {10.4204/EPTCS.387.8},
  pdf = {https://people.rennes.inria.fr/Alan.Schmitt/papers/EXPRESS_SOS2023.8.pdf}
}

@inproceedings{AndrieuxSchmitt2024,
  title = {{Skeletal Semantics of a Fragment of Python}},
  author = {Andrieux, Martin and Schmitt, Alan},
  url = {https://inria.hal.science/hal-04406392},
  booktitle = {{JFLA 2024 -- 35es Journ{\'e}es Francophones des Langages Applicatifs}},
  address = {Saint-Jacut-de-la-Mer, France},
  pages = {1-14},
  year = 2024,
  month = jan,
  pdf = {https://inria.hal.science/hal-04406392/file/jfla2024-paper-1.pdf},
  hal_id = {hal-04406392},
  hal_version = {v1},
  alan = 1,
  workshop = 1
}

@comment{{Local Variables:
  bibtex-dialect: biblatex
  End:
}}