Alan Schmitt
64
Documents
Publications
- 3
- 7
- 1
- 3
- 1
- 3
- 4
- 1
- 8
- 3
- 2
- 2
- 4
- 2
- 4
- 6
- 7
- 1
- 1
- 1
|
Necro ML: Kit de NécromancieJFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.296-298
Conference papers
hal-03936885v1
|
|
Building CFA for λ-calculus from Skeletal SemanticsJFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.152-171
Conference papers
hal-03936686v1
|
|
Deriving Abstract Interpreters from Skeletal SemanticsEXPRESS/SOS 2023 - 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, Sep 2023, Antwerp, Belgium. pp.97-113, ⟨10.4204/EPTCS.387.8⟩
Conference papers
hal-04207565v1
|
|
Certified Derivation of Small-Step From Big-Step Skeletal SemanticsPPDP 2022 - 24th International Symposium on Principles and Practice of Declarative Programming, Sep 2022, Tbilisi, Georgia. pp.1-48, ⟨10.1145/3551357.3551384⟩
Conference papers
hal-03768820v1
|
|
Certified Abstract Machines for Skeletal SemanticsCPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. pp.1-13, ⟨10.1145/3497775.3503676⟩
Conference papers
hal-03466807v1
|
|
A Faithful Description of ECMAScript AlgorithmsPPDP 2022 - 24th International Symposium on Principles and Practice of Declarative Programming, Sep 2022, Tbilisi, Georgia. pp.1-14, ⟨10.1145/3551357.3551381⟩
Conference papers
hal-03782992v1
|
|
Non-Deterministic Abstract MachinesCONCUR 2022 - 33rd International Conference
on Concurrency Theory, Sep 2022, Varsovie, Poland. pp.1-24, ⟨10.4230/LIPIcs.CONCUR.2022.7⟩
Conference papers
hal-03772712v1
|
|
Semantics in Skel and NecroICTCS 2022 - Italian Conference on Theoretical Computer Science, Sep 2022, Rome, Italy. pp.1-17
Conference papers
hal-03784478v1
|
|
JSkel: Towards a Formalization of JavaScript's SemanticsJFLA 2021 - Journées Francophones des Langages Applicatifs, Apr 2021, Virtuelles, France. pp.1-22
Conference papers
hal-03509431v1
|
|
Formalisation de Sémantiques SquelettiquesJLFA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. pp.1-14
Conference papers
hal-02512485v1
|
|
HOπ in CoqCPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2018, Los Angeles, United States. pp.14, ⟨10.1145/3167083⟩
Conference papers
hal-01614987v3
|
|
MLExplainOCaml 2018, Sep 2018, Saint Louis, United States. pp.1-4
Conference papers
hal-02056392v1
|
|
JSExplain: A Double Debugger for JavaScriptThe Web Conference 2018, Apr 2018, Lyon, France. pp.1-9, ⟨10.1145/3184558.3185969⟩
Conference papers
hal-01745792v1
|
|
Annotated multisemantics to prove Non-Interference analysesPLAS 2017 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security, Oct 2017, Dallas, United States. ⟨10.1145/3139337.3139344⟩
Conference papers
hal-01656404v1
|
|
Non-Interference through Annotated Multisemantics28ièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
Conference papers
hal-01503094v1
|
|
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract MachinesLICS 2017 - 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2017, Reykjavik, Iceland. ⟨10.1109/LICS.2017.8005118⟩
Conference papers
hal-01479035v1
|
|
An Abstract Separation Logic for Interlinked Extensible RecordsVingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France
Conference papers
hal-01333600v1
|
|
Hybrid Typing of Secure Information Flow in a JavaScript-like LanguageInternational Symposium on Trustworthy Global Computing, Aug 2015, Madrid, Spain
Conference papers
hal-01243029v1
|
|
Expressive Logical Combinators for FreeInternational Joint Conference on Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina
Conference papers
hal-00868724v4
|
|
HOCore in CoqInteractive Theorem Proving, Aug 2015, Nanjing, China. ⟨10.1007/978-3-319-22102-1_19⟩
Conference papers
hal-01243017v1
|
|
Howe's Method for Contextual SemanticsCONCUR 2015 26th International Conference on Concurrency Theory, Sep 2015, Madrid, Spain. ⟨10.4230/LIPIcs.CONCUR.2015.212⟩
Conference papers
hal-01192699v1
|
|
Certified Abstract Interpretation with Pretty-Big-Step SemanticsCertified Programs and Proofs (CPP 2015), Jan 2015, Mumbai, India. ⟨10.1145/2676724.2693174⟩
Conference papers
hal-01111588v1
|
|
HOCore in CoqVingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
Conference papers
hal-01099130v1
|
|
De la KAM avec un Processus d'Ordre SupérieurJFLAs 2014, Jan 2014, Fréjus, France. pp.1-12
Conference papers
hal-00966097v2
|
|
Pretty-big-step-semantics-based Certified Abstract InterpretationJFLA - 25ème Journées Francophones des Langages Applicatifs - 2014, Jan 2014, Fréjus, France
Conference papers
hal-00927400v1
|
|
A Trusted Mechanised JavaScript SpecificationPOPL 2014 - 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States
Conference papers
hal-00910135v1
|
|
Concurrent Flexible Reversibility22nd European Symposium on Programming, ESOP 2013, Mar 2013, Rome, Italy. pp.370-390, ⟨10.1007/978-3-642-37036-6_21⟩
Conference papers
hal-00811629v1
|
|
A Certified JavaScript InterpreterJFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France
Conference papers
hal-00779459v1
|
|
Formalisation de HOCore en CoqJFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France
Conference papers
hal-00665945v1
|
|
Query Reasoning on Trees with Types, Interleaving, and Counting22nd International Joint Conference on Artificial Intelligence IJCAI'2011, Jul 2011, Barcelone, Spain
Conference papers
inria-00609556v1
|
|
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi37th International Colloquium on Automata, Languages and Programming (ICALP 2010), Jul 2010, Bordeaux, France. pp.442--453
Conference papers
inria-00514912v1
|
|
Howe's Method for Calculi with Passivation20th International Conference on Concurrency Theory (CONCUR 2009), Sep 2009, Bologna, Italy. pp.448--462
Conference papers
inria-00486800v1
|
|
Typing Component-Based Communication Systems11th Formal Methods for Open Object-Based Distributed Systems (FMOODS) & 29th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2009, Lisbonne, Portugal. pp.167--181, ⟨10.1007/978-3-642-02138-1_11⟩
Conference papers
inria-00488856v1
|
|
Normal bisimulations in process calculi with passivation12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009), Mar 2009, York, United Kingdom. pp.257--271, ⟨10.1007/978-3-642-00596-1_19⟩
Conference papers
inria-00490810v1
|
|
Boomerang: Resourceful Lenses for String DataACM SIGPLAN--SIGACT Symposium on Principles of Programming Languages (POPL'08), Jan 2008, San Francisco, California, United States. pp.407--419, ⟨10.1145/1328897.1328487⟩
Conference papers
inria-00496456v1
|
|
Typing Communicating Component Assemblages7th International Conference on Generative Programming and Component Engineering (GPCE'08), Oct 2008, Nashville, United States. pp.125--136, ⟨10.1145/1449913.1449933⟩
Conference papers
inria-00492749v1
|
|
On the Expressiveness and Decidability of Higher-Order Process Calculi23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008), Jun 2008, Pittsburgh, Pennsylvania, United States. pp.145--155, ⟨10.1109/LICS.2008.8⟩
Conference papers
inria-00494584v1
|
|
Efficient Static Analysis of XML Paths and Types2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, New York, NY, United States. pp.342--351, ⟨10.1145/1250734.1250773⟩
Conference papers
inria-00502789v1
|
|
XPath Typing Using a Modal Logic with Converse for Finite TreesProceedings of the ACM SIGPLAN Workshop on Programming Language Techniques for XML colocated with POPL 2007, 2007, Nice, France. pp.1
Conference papers
hal-00189131v1
|
|
Oz/K: A Kernel Language for Component-Based Open Programming6th International Conference on Generative Programming and Component Engineering (GPCE'07), Oct 2007, Salzburg, Austria. pp.43--52, ⟨10.1145/1289971.1289980⟩
Conference papers
inria-00498413v1
|
|
Efficient Static Analysis of XML Paths and TypesProceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, San Diego, United States. pp.342--351, ⟨10.1145/1250734.1250773⟩
Conference papers
hal-00189123v1
|
|
Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data20th International Symposium on Distributed Computing (DISC), Sep 2006, Stockholm, Sweden. pp.269--283, ⟨10.1007/11864219_19⟩
Conference papers
inria-00535653v1
|
|
Component-Oriented Programming with Sharing: Containment is not OwnershipGenerative Programming and Component Engineering (GPCE), 2005, Tallinn, Estonia. pp.389-404, ⟨10.1007/11561347_26⟩
Conference papers
hal-00310126v1
|
|
Actes de la conférence JFLA 2009 (Vingtièmes Journées Francophones des Langages Applicatifs)INRIA. INRIA, pp.174, 2009
Books
inria-00362717v1
|
|
Static Analyses for Manipulations of Hierarchically Structured DataSoftware Engineering [cs.SE]. Université de Grenoble, 2011
Habilitation à diriger des recherches
tel-00637917v1
|