alan-conference.bib
@comment{{This file has been generated by bib2bib 1.99}}
@comment{{Command line: bib2bib -ob alan-conference.bib -oc alan-conference.keys -c '(Alan:"1") & ($type="INPROCEEDINGS") & (!Workshop:"1") & (!Talk:"1")' alan.bib}}
@inproceedings{BarcenasGenevesLayaidaSchmitt2011,
address = {Barcelona, Spain},
alan = 1,
author = {B{\'a}rcenas, Everardo and Genev{\`e}s, Pierre and
Laya{\"\i}da, Nabil and Schmitt, Alan},
booktitle = {Proceedings of the 22nd International Joint Conference on
Artificial Intelligence (IJCAI '11)},
conf = {http://www.irisa.fr/celtique/aschmitt/papers/Barcenas2011Query-Reasoning-on-T.pdf},
editor = {Walsh, Toby},
month = jul,
pages = {718--723},
publisher = {AAAI Press/International Joint Conferences on Artificial
Intelligence},
title = {Query Reasoning on Trees with Types, Interleaving, and
Counting},
year = 2011
}
@inproceedings{BidingerSchmittStefani2005,
address = {Athens, Greece},
alan = 1,
author = {Philippe Bidinger and Alan Schmitt and Jean-Bernard Stefani},
booktitle = {7th IFIP International Conference on Formal Methods for
Object-Based Distributed Systems (FMOODS)},
conf = {http://www.irisa.fr/celtique/aschmitt/papers/kell_abstract_machine.pdf},
month = jun,
note = {Best Paper Award},
pages = {43--58},
series = {Lecture Notes in Computer Science},
title = {An Abstract Machine for the {K}ell Calculus},
volume = 3535,
year = 2005
}
@inproceedings{BodinChargueraudFilarettiGardnerMaffeisNaudziunieneSchmittSmith2014,
address = {San Diego, CA, USA},
alan = 1,
author = {Bodin, Martin and Chargu{\'e}raud, Arthur and Filaretti,
Daniele and Gardner, Philippa and Maffeis, Sergio and
Naudziuniene, Daiva and Schmitt, Alan and Smith, Gareth},
booktitle = {Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on
Principles of Programming Languages (POPL 2014)},
conf = {http://www.irisa.fr/celtique/aschmitt/papers/JSCert-POPL14.pdf},
hal = {https://hal.inria.fr/hal-00910135v1},
month = jan,
pages = {87--100},
title = {A Trusted Mechanised JavaScript Specification},
year = 2014
}
@inproceedings{BodinJensenSchmitt2015,
month = jan,
alan = 1,
author = {Bodin, Martin and Jensen, Thomas and Schmitt, Alan},
booktitle = {Proceedings of the 2015 Conference on Certified Programs and
Proofs},
doi = {10.1145/2676724.2693174},
hal = {https://hal.inria.fr/hal-01111588},
isbn = {978-1-4503-3296-5},
location = {Mumbai, India},
numpages = 12,
pages = {29--40},
publisher = {ACM},
series = {CPP 2015},
title = {Certified Abstract Interpretation with Pretty-Big-Step
Semantics},
year = 2015
}
@inproceedings{LengletSchmitt2018,
title = {{HO$\pi$ in Coq}},
author = {Lenglet, Sergueï and Schmitt, Alan},
url = {https://hal.inria.fr/hal-01614987},
booktitle = {{CPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs}},
address = {Los Angeles, United States},
year = {2018},
month = jan,
doi = {10.1145/3167083},
keywords = {Higher-order process calculus ; Howe's method ; Coq formalization},
pdf = {https://hal.inria.fr/hal-01614987/file/cpp18.pdf},
hal_id = {hal-01614987},
hal_version = {v2},
alan = 1,
series = {CPP 2018}
}
@inproceedings{BohannonFosterPiercePilkiewiczSchmitt2008,
address = {San Francisco, California, USA},
alan = 1,
author = {Aaron Bohannon and J. Nathan Foster and Benjamin C. Pierce
and Alexandre Pilkiewicz and Alan Schmitt},
booktitle = {ACM SIGPLAN--SIGACT Symposium on Principles of Programming
Languages (POPL'08)},
conf = {http://www.irisa.fr/celtique/aschmitt/papers/Bohannon2008Boomerang-Resourcef.pdf},
doi = {10.1145/1328897.1328487},
month = jan,
pages = {407--419},
publisher = {ACM},
slides = {http://www.cis.upenn.edu/~jnfoster/papers/boomerang-slides.pdf},
title = {Boomerang: Resourceful Lenses for String Data},
tr = {http://www.cis.upenn.edu/~jnfoster/papers/boomerang-tr.pdf},
year = 2008
}
@inproceedings{FosterGreenwaldMoorePierceSchmitt2005,
acronym = {POPL 2005},
address = {Long Beach, CA, USA},
alan = 1,
author = {J. Nathan Foster and Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt},
booktitle = {Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages},
conf = {http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl.pdf},
date-added = {2007-07-23 15:24:42 +0200},
date-modified = {2015-02-02 13:50:50 +0000},
keywords = {Harmony},
note = {Most Influential POPL Paper Award, 2015},
pages = {233--246},
read = 1,
slides = {http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl-slides.pdf},
title = {Combinators for Bi-Directional Tree Transformations: {A} Linguistic Approach to the View Update Problem},
tr = {http://www.cis.upenn.edu/~bcpierce/papers/newlenses-full.pdf},
year = 2005,
bdsk-url-1 = {http://www.cis.upenn.edu/~bcpierce/papers/newlenses-popl.pdf}
}
@inproceedings{FosterGreenwaldKirkegaardPierceSchmitt2005,
alan = 1,
author = {J. Nathan Foster and Michael B. Greenwald and Christian Kirkegaard and Benjamin C. Pierce and Alan Schmitt},
booktitle = {Database Programming Languages (DBPL)},
conf = {http://www.irisa.fr/celtique/aschmitt/papers/schema-sync.pdf},
date-modified = {2011-01-06 10:47:47 +0100},
keywords = {Harmony},
month = aug,
read = 1,
title = {Exploiting Schemas in Data Synchronization},
tr = {http://www.irisa.fr/celtique/aschmitt/papers/sync-tr.pdf},
year = 2005,
bdsk-url-1 = {http://www.irisa.fr/celtique/aschmitt/papers/schema-sync.pdf}
}
@inproceedings{FournetLevySchmitt2000,
address = {Sendai, Japan},
alan = 1,
author = {C{\'e}dric Fournet and Jean-Jacques L{\'e}vy and Alan Schmitt},
booktitle = {Proceedings of the International {IFIP} Conference {TCS} 2000 (Sendai, Japan)},
conf = {http://www.irisa.fr/celtique/aschmitt/papers/ambabs.ps.gz},
date-modified = {2011-01-06 10:53:14 +0100},
editor = {J. van Leeuwen and O. Watanabe and M. Hagiya and P.D. Mosses and T. Ito},
month = aug,
organization = {IFIP},
pages = {348--364},
publisher = {Springer},
read = 1,
series = {Lecture Notes in Computer Science},
title = {An Asynchronous Distributed Implementation of Mobile Ambients},
volume = 1872,
year = 2000,
bdsk-url-1 = {http://www.irisa.fr/celtique/aschmitt/papers/ambabs.ps.gz}
}
@inproceedings{FragosoJensenRezkSchmitt2015,
hal = {https://hal.inria.fr/hal-01243029},
alan = {1},
month = aug,
venue = {Madrid, Spain},
booktitle = {Proceedings of the 10th International Symposium on Trustworthy Global Computing (TGC 2015)},
year = {2015},
title = {Hybrid Typing of Secure Information Flow in a JavaScript-like Language},
author = {Fragoso Santos, José and Jensen, Thomas and Rezk, Tamara and Schmitt, Alan}
}
@inproceedings{GapeyevLevinPierceSchmitt2005,
address = {Edinburgh, UK},
alan = 1,
author = {Vladimir Gapeyev and Michael Y. Levin and Benjamin C. Pierce and Alan Schmitt},
booktitle = {14th International Conference on Compiler Construction (CC)},
conf = {http://www.irisa.fr/celtique/aschmitt/papers/xtatic-runtime-CC.pdf},
date-modified = {2011-01-06 10:50:48 +0100},
keywords = {Xtatic},
month = apr,
read = 1,
title = {{XML} Goes Native: {R}un-time Representations for {Xtatic}},
tr = {http://www.irisa.fr/celtique/aschmitt/papers/xtatic-runtime-TR.pdf},
year = 2005,
bdsk-url-1 = {http://www.irisa.fr/celtique/aschmitt/papers/xtatic-runtime-CC.pdf}
}
@inproceedings{GenevèsLayaïdaSchmitt2007,
alan = 1,
author = {Genevès, Pierre and Layaïda, Nabil and Schmitt, Alan},
booktitle = {PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation},
conf = {http://www.irisa.fr/celtique/aschmitt/papers/Geneves2007Efficient-Static-Ana.pdf},
date-added = {2007-07-23 15:54:27 +0200},
date-modified = {2011-03-04 15:19:41 +0100},
doi = {http://doi.acm.org/10.1145/1250734.1250773},
isbn = {978-1-59593-633-2},
keywords = {XPath},
location = {San Diego, California, USA},
month = jun,
pages = {342--351},
publisher = {ACM Press},
read = 1,
title = {Efficient Static Analysis of {XML} Paths and Types},
year = 2007
}
@inproceedings{GenevesSchmitt2015,
pages = {311--317},
publisher = {AAAI Press},
month = jul,
hal = {https://hal.inria.fr/hal-00868724v4/},
alan = {1},
booktitle = {Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2015)},
year = {2015},
title = {Expressive Logical Combinators For Free},
author = {Genevès, Pierre and Schmitt, Alan}
}
@inproceedings{GreenwaldKhannaKunalPierceSchmitt2006,
address = {Stockholm, Sweden},
alan = 1,
author = {Michael B. Greenwald and Sanjeev Khanna and Keshav Kunal and Benjamin C. Pierce and Alan Schmitt},
booktitle = {20th International Symposium on Distributed Computing (DISC)},
conf = {http://www.irisa.fr/celtique/aschmitt/papers/Greenwald2006Agreeing-to-Agree-C.pdf},
doi = {10.1007/11864219_19},
keywords = {Harmony},
month = sep,
pages = {269--283},
read = 1,
series = {Lecture Notes in Computer Science},
slides = {http://www.irisa.fr/celtique/aschmitt/papers/DISC_2006_nway_talk.pdf},
title = {Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data},
volume = 4167,
year = 2006
}
@inproceedings{HirschkoffHirschowitzPousSchmittStefani2005,
address = {Tallinn, Estonia},
alan = 1,
author = {Hirschkoff, Daniel and Hirschowitz, Tom and Pous, Damien and Schmitt, Alan and Stefani, Jean-Bernard},
booktitle = {4th International Conference on Generative Programming and Component Engineering (GPCE)},
conf = {http://www.irisa.fr/celtique/aschmitt/papers/components_sharing.pdf},
date-modified = {2011-10-13 07:46:49 +0000},
keywords = {Kell},
month = sep,
pages = {389--404},
read = 1,
series = {Lecture Notes in Computer Science},
title = {Component-Oriented Programming with Sharing: Containment is not Ownership},
volume = 3676,
year = 2005,
bdsk-url-1 = {http://www.irisa.fr/celtique/aschmitt/papers/components_sharing.pdf}
}
@inproceedings{LanesePérezSangiorgiSchmitt2008,
address = {Pittsburgh, Pennsylvania, USA},
alan = 1,
author = {Ivan Lanese and Jorge A. Pérez and Davide Sangiorgi and Alan Schmitt},
booktitle = {Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)},
conf = {http://www.irisa.fr/celtique/aschmitt/papers/Lanese2008On-the-Expressivenes.pdf},
doi = {10.1109/LICS.2008.8},
month = jun,
pages = {145--155},
read = 1,
slides = {http://www.irisa.fr/celtique/aschmitt/papers/LICS_2008_short.html},
title = {On the Expressiveness and Decidability of Higher-Order Process Calculi},
year = 2008
}
@inproceedings{LanesePérezSangiorgiSchmitt2010,
address = {Bordeaux, France},
alan = 1,
author = {Ivan Lanese and Jorge A. Pérez and Davide Sangiorgi and Alan Schmitt},
booktitle = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP 2010)},
conf = {http://www.irisa.fr/celtique/aschmitt/papers/Lanese2010On-the-Expressivenes.pdf},
editor = {Samson Abramsky and Cyril Gavoille and Claude Kirchner and Friedhelm Meyer auf der Heide and Paul G. Spirakis},
keywords = {higher-order, process calculus},
month = jun,
pages = {442--453},
publisher = {Springer},
read = 1,
series = {Lecture Notes in Computer Science},
title = {On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi},
volume = 6199,
year = 2010
}
@inproceedings{LaneseMezzinaSchmittStefani2011,
address = {Aachen, Germany},
alan = 1,
author = {Lanese, Ivan and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard},
booktitle = {Proceedings of the 22nd International Conference on Concurrency Theory (CONCUR 2011)},
conf = {http://www.irisa.fr/celtique/aschmitt/papers/Lanese2011Controlling-Reversib.pdf},
date-added = {2011-08-05 13:31:03 +0200},
date-modified = {2013-10-16 13:47:13 +0000},
month = sep,
pages = {297--311},
publisher = {Springer},
read = 1,
series = {Lecture Notes in Computer Science},
title = {Controlling Reversibility in Higher-Order Pi},
volume = 6901,
year = 2011
}
@inproceedings{LaneseLienhardtMezzinaSchmittStefani2013,
acronym = {ESOP 2013},
alan = 1,
author = {Lanese, Ivan and Lienhardt, Michaël and Mezzina, Claudio Antares and Schmitt, Alan and Stefani, Jean-Bernard},
booktitle = {Proceedings of the 22nd European Symposium on Programming (ESOP 2013)},
conf = {http://www.irisa.fr/celtique/aschmitt/papers/Lanese2013Concurrent-Flexible-.pdf},
date-added = {2012-12-17 08:26:57 +0000},
date-modified = {2013-12-10 10:27:06 +0000},
month = mar,
pages = {370--390},
read = 1,
series = {Lecture Notes in Computer Science},
title = {Concurrent Flexible Reversibility},
volume = 7792,
year = 2013
}
@inproceedings{LengletSchmittStefani2009-concur,
address = {Bologna, Italy},
alan = 1,
author = {Sergueï Lenglet and Alan Schmitt and Jean-Bernard Stefani},
booktitle = {Proceedings of the 20th International Conference on Concurrency Theory (CONCUR 2009)},
conf = {http://www.irisa.fr/celtique/aschmitt/papers/Lenglet2009Howes-Method-for-Cal.pdf},
date-added = {2009-08-28 16:02:45 +0200},
date-modified = {2010-06-07 16:31:24 +0200},
editor = {Mario Bravetti and Gianluigi Zavattaro},
keywords = {Kell},
month = sep,
pages = {448--462},
publisher = {Springer},
read = 1,
series = {Lecture Notes in Computer Science},
title = {Howe's Method for Calculi with Passivation},
volume = 5710,
year = 2009
}
@inproceedings{LengletSchmittStefani2009-fossacs,
address = {York, United Kingdom},
alan = 1,
author = {Sergueï Lenglet and Alan Schmitt and Jean-Bernard Stefani},
booktitle = {Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009)},
conf = {http://www.irisa.fr/celtique/aschmitt/papers/Lenglet2009Normal-bisimulations.pdf},
date-added = {2009-03-30 11:10:02 +0200},
date-modified = {2010-06-14 11:23:26 +0200},
doi = {10.1007/978-3-642-00596-1_19},
editor = {Luca de Alfaro},
keywords = {Kell},
month = mar,
pages = {257--271},
publisher = {Springer},
read = 1,
series = {Lecture Notes in Computer Science},
title = {Normal bisimulations in process calculi with passivation},
volume = 5504,
year = 2009
}
@inproceedings{LengletSchmitt2015,
hal = {https://hal.inria.fr/hal-01192699},
alan = {1},
venue = {Madrid, Spain},
booktitle = {Proceedings of the 26th International Conference on Concurrency Theory (Concur 2015)},
month = sep,
year = {2015},
title = {Howe's Method for Contextual Semantics},
author = {Lenglet, Sergueï and Schmitt, Alan}
}
@inproceedings{LienhardtStefaniSchmitt2007,
address = {Salzburg, Austria},
alan = 1,
author = {Micha{\"e}l Lienhardt and Jean-Bernard Stefani and Alan Schmitt},
booktitle = {6th International Conference on Generative Programming and Component Engineering (GPCE'07)},
conf = {http://www.irisa.fr/celtique/aschmitt/papers/GPCE07-Lienhardt-Stefani-Schmitt.pdf},
date-added = {2007-07-23 16:05:45 +0200},
date-modified = {2011-01-06 10:45:41 +0100},
doi = {http://dx.doi.org/10.1145/1289971.1289980},
editor = {ACM},
keywords = {Kell},
month = oct,
pages = {43--52},
read = 1,
title = {Oz/K: A Kernel Language for Component-Based Open Programming},
year = 2007,
bdsk-url-1 = {http://dx.doi.org/10.1145/1289971.1289980},
bdsk-url-2 = {http://www.irisa.fr/celtique/aschmitt/papers/GPCE07-Lienhardt-Stefani-Schmitt.pdf}
}
@inproceedings{LienhardtSchmittStefani2008,
address = {Nashville, TN, USA},
alan = 1,
author = {Micha{\"e}l Lienhardt and Alan Schmitt and Jean-Bernard Stefani},
booktitle = {Proceedings of the 7th International Conference on Generative Programming and Component Engineering (GPCE'08)},
conf = {http://www.irisa.fr/celtique/aschmitt/papers/Lienhardt2008Typing-Communicating.pdf},
date-added = {2008-10-13 13:19:01 +0200},
date-modified = {2010-06-16 18:04:09 +0200},
doi = {10.1145/1449913.1449933},
month = oct,
pages = {125--136},
publisher = {ACM},
read = 1,
title = {Typing Communicating Component Assemblages},
year = 2008
}
@inproceedings{LienhardtMezzinaSchmittStefani2009,
address = {Lisbon, Portugal},
alan = 1,
author = {Micha{\"e}l Lienhardt and Claudio Antares Mezzina and Alan Schmitt and Jean-Bernard Stefani},
booktitle = {Proceedings of the 11th Formal Methods for Open Object-Based Distributed Systems (FMOODS) \& 29th Formal Techniques for Networked and Distributed Systems (FORTE)},
conf = {http://www.irisa.fr/celtique/aschmitt/papers/Lienhardt2009Typing-Component-Bas.pdf},
date-added = {2009-03-30 11:35:43 +0200},
date-modified = {2010-06-07 16:31:24 +0200},
doi = {http://dx.doi.org/10.1007/978-3-642-02138-1_11},
keywords = {Kell},
month = jun,
pages = {167--181},
publisher = {Springer-Verlag},
read = 1,
series = {Lecture Notes in Computer Science},
title = {Typing Component-Based Communication Systems},
volume = 5522,
year = 2009
}
@inproceedings{MaksimovicSchmitt2015,
hal = {https://hal.archives-ouvertes.fr/hal-01243017},
publisher = {Springer},
pages = {278--293},
series = {Lecture Notes in Computer Science},
volume = {9236},
editor = {Urban, Christian and Zhang, Xingyuan},
doi = {10.1007/978-3-319-22102-1_19},
month = aug,
alan = {1},
booktitle = {Proceedings of the 6th conference on Interactive Theorem Proving (ITP 2015)},
year = {2015},
title = {HOCore in Coq},
author = {Maksimović, Petar and Schmitt, Alan}
}
@inproceedings{Schmitt2002,
address = {Montreal, Canada},
alan = 1,
author = {Alan Schmitt},
booktitle = {Proceedings of IFIP TCS 2002},
conf = {http://www.irisa.fr/celtique/aschmitt/papers/dynjoin.ps.gz},
date-modified = {2011-01-06 10:52:49 +0100},
editor = {R. Baeza-Yates and U. Montanari and N. Santoro},
pages = {563--575},
publisher = {Kluwer},
read = 1,
series = {IFIP},
title = {{Safe Dynamic Binding in the Join Calculus}},
volume = 96,
year = 2002,
bdsk-url-1 = {http://www.irisa.fr/celtique/aschmitt/papers/dynjoin.ps.gz}
}
@inproceedings{SchmittStefani2003,
address = {New Orleans, LA, USA},
alan = 1,
author = {Alan Schmitt and Jean-Bernard Stefani},
booktitle = {Proceeding 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2003)},
conf = {http://www.irisa.fr/celtique/aschmitt/papers/mcalculus_popl03.ps.gz},
date-modified = {2011-02-18 14:39:42 +0100},
month = jan,
read = 1,
title = {{The M-Calculus: A Higher Order Distributed Process Calculus}},
year = 2003
}
@inproceedings{BiernackaBiernackiLengletPolesiukPousSchmitt2017,
author = {Biernacka, Malgorzata and Biernacki, Dariusz and Lenglet, Sergueï and Polesiuk, Piotr and Pous, Damien and Schmitt, Alan},
title = {{Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines}},
year = 2017,
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science,
{LICS} 2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--12},
alan = 1,
doi = {10.1109/LICS.2017.8005118},
url = {https://doi.org/10.1109/LICS.2017.8005118},
hal = {https://hal.inria.fr/hal-01479035},
pdf = {https://hal.inria.fr/hal-01479035/file/lics.pdf},
crossref = {DBLP:conf/lics/2017},
timestamp = {Thu, 07 Sep 2017 09:27:11 +0200},
biburl = {http://dblp.org/rec/bib/conf/lics/BiernackaBLPPS17},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lics/2017,
title = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7999337},
isbn = {978-1-5090-3018-7},
timestamp = {Tue, 15 Aug 2017 20:32:42 +0200},
biburl = {http://dblp.org/rec/bib/conf/lics/2017},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{ChargueraudSchmittWood2018,
title = {{JSExplain: A Double Debugger for JavaScript}},
author = {Chargu{\'e}raud, Arthur and Schmitt, Alan and Wood, Thomas},
hal = {https://hal.inria.fr/hal-01745792},
booktitle = {{The Web Conference 2018}},
address = {Lyon, France},
pages = {1-9},
year = 2018,
month = apr,
alan = 1,
doi = {10.1145/3184558.3185969},
pdf = {https://hal.inria.fr/hal-01745792/file/main.pdf},
hal_id = {hal-01745792},
hal_version = {v1}
}
@inproceedings{BodinGardnerJensenSchmitt2019,
title = {{Skeletal Semantics and their Interpretations}},
author = {Bodin, Martin and Gardner, Philippa and Jensen, Thomas and Schmitt, Alan},
hal = {https://hal.inria.fr/hal-01881863},
booktitle = {{Proceedings of the ACM on Programming Languages}},
publisher = {{ACM}},
volume = 44,
pages = {1-31},
year = 2019,
alan = 1,
doi = {10.1145/3290357},
keywords = {programming language ; semantics ; abstract interpretation},
pdf = {https://hal.inria.fr/hal-01881863/file/rule-format.pdf},
hal_id = {hal-01881863},
hal_version = {v3},
note = {Companion website with Coq development: \url{http://skeletons.inria.fr/popl2019/index.html}}
}
@inproceedings{AmbalLengletSchmitt2022,
title = {{Certified Abstract Machines for Skeletal Semantics}},
author = {Ambal, Guillaume and Lenglet, Sergueï and Schmitt, Alan},
hal = {https://hal.inria.fr/hal-03466807},
booktitle = {{Certified Programs and Proofs}},
address = {Philadelphia, United States},
year = 2022,
month = jan,
keywords = {Skeletal Semantics ; Operational Semantics ; Abstract Machines ; Certified Interpretation},
pdf = {https://hal.inria.fr/hal-03466807/file/cpp.pdf},
hal_id = {hal-03466807},
hal_version = {v1},
alan = 1
}
@inproceedings{AmbalLengletSchmittNous2022,
title = {{Certified Derivation of Small-Step From Big-Step Skeletal Semantics}},
author = {Ambal, Guillaume and Lenglet, Sergueï and Schmitt, Alan and No{\^u}s, Camille},
hal = {https://hal.inria.fr/hal-03768820},
booktitle = {Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming (PPDP 2022)},
location = {Tbilisi, Georgia},
year = 2022,
month = sep,
doi = {10.1145/3551357.3551384},
keywords = {Big-Step ; Small-Step ; Operational Semantics},
pdf = {https://hal.inria.fr/hal-03768820/file/ppdp.pdf},
hal_id = {hal-03768820},
hal_version = {v1},
alan = 1
}
@inproceedings{BiernackaBiernackiLengletSchmitt2022,
author = {Biernacka, Ma{\l}gorzata and Biernacki, Dariusz and Lenglet, Sergueï and Schmitt, Alan},
title = {{Non-Deterministic Abstract Machines}},
booktitle = {33rd International Conference on Concurrency Theory (CONCUR 2022)},
pages = {7:1--7:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
isbn = {978-3-95977-246-4},
issn = {1868-8969},
year = 2022,
volume = 243,
editor = {Klin, Bartek and Lasota, S{\l}awomir and Muscholl, Anca},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
url = {https://drops.dagstuhl.de/opus/volltexte/2022/17070},
hal = {https://hal.inria.fr/hal-03772712},
urn = {urn:nbn:de:0030-drops-170705},
doi = {10.4230/LIPIcs.CONCUR.2022.7},
alan = 1,
pdf = {https://drops.dagstuhl.de/opus/volltexte/2022/17070/pdf/LIPIcs-CONCUR-2022-7.pdf},
annote = {Keywords: Abstract machines, non-determinism, lambda-calculus, process calculi}
}
@inproceedings{KhayamNoizetSchmitt2022,
author = {Khayam, Adam and Noizet, Louis and Schmitt, Alan},
title = {A Faithful Description of ECMAScript Algorithms},
year = 2022,
isbn = 9781450397032,
doi = {10.1145/3551357.3551381},
abstract = {We present an ongoing formalization of algorithms of ECMAScript, the specification describing the semantics of JavaScript, in a tiny functional meta-language. We show that this formalization is concise, readable, maintainable, and textually close to the specification. We extract an OCaml interpreter from our description and run small JavaScript programs whose semantics is based on these algorithms.},
booktitle = {Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming (PPDP 2022)},
articleno = 8,
numpages = 14,
keywords = {Skeletal Semantics, ECMAScript, Monads, Functional programming},
location = {Tbilisi, Georgia},
hal = {https://hal.inria.fr/hal-03782992},
pdf = {https://hal.inria.fr/hal-03782992/file/paper.pdf},
alan = 1
}
@inproceedings{NoizetSchmitt2022ICTCS,
title = {{Semantics in Skel and Necro}},
author = {Noizet, Louis and Schmitt, Alan},
hal = {https://hal.inria.fr/hal-03784478},
address = {Rome, Italy},
year = 2022,
month = sep,
pdf = {https://hal.inria.fr/hal-03784478/file/paper.pdf},
hal_id = {hal-03784478},
hal_version = {v1},
editor = {Ugo Dal Lago and Daniele Gorla},
booktitle = {Proceedings of the 23rd Italian Conference on Theoretical Computer
Science, {ICTCS} 2022, Rome, Italy, September 7-9, 2022},
series = {{CEUR} Workshop Proceedings},
volume = {3284},
pages = {99--115},
publisher = {CEUR-WS.org},
url = {https://ceur-ws.org/Vol-3284/8939.pdf},
alan = 1
}
@comment{{Local Variables:
bibtex-dialect: biblatex
End:
}}