Alan Schmitt
65
Documents
Publications
- 1
- 3
- 7
- 1
- 3
- 1
- 3
- 4
- 1
- 8
- 3
- 2
- 2
- 4
- 2
- 4
- 6
- 7
- 1
- 1
- 1
|
HOπ in CoqJournal of Automated Reasoning, 2020, ⟨10.1007/s10817-020-09553-0⟩
Article dans une revue
hal-02536463v2
|
|
Skeletal Semantics and their InterpretationsProceedings of the ACM on Programming Languages, inPress, 44, pp.1-31. ⟨10.1145/3290357⟩
Article dans une revue
hal-01881863v3
|
|
Efficiently Deciding µ-calculus with Converse over Finite TreesACM Transactions on Computational Logic, 2015, 16 (2), pp.41. ⟨10.1145/2724712⟩
Article dans une revue
hal-00868722v5
|
|
Characterizing contextual equivalence in calculi with passivationInformation and Computation, 2011, 209 (11), pp.1390-1433. ⟨10.1016/j.ic.2011.08.002⟩
Article dans une revue
hal-00903877v1
|
|
On the Expressiveness and Decidability of Higher-Order Process CalculiInformation and Computation, 2011, 209 (2), pp.29. ⟨10.1016/j.ic.2010.10.001⟩
Article dans une revue
hal-01112294v1
|
|
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problemACM Transactions on Programming Languages and Systems (TOPLAS), 2007, ACM Transactions on Programming Languages and Systems, 29 (3), pp.17. ⟨10.1145/1232420.1232424⟩
Article dans une revue
inria-00484971v1
|
|
Exploiting Schemas in Data SynchronizationJournal of Computer and System Sciences, 2007, 73 (4), pp.669-689. ⟨10.1016/j.jcss.2006.10.024⟩
Article dans une revue
inria-00483199v1
|
|
Skeletal Semantics of a Fragment of Python35es Journées Francophones des Langages Applicatifs (JFLA 2024), Jan 2024, Saint-Jacut-de-la-Mer, France
Communication dans un congrès
hal-04406392v1
|
|
Necro ML: Kit de NécromancieJFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.296-298
Communication dans un congrès
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
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-03768820v1
|
|
Semantics in Skel and NecroICTCS 2022 - Italian Conference on Theoretical Computer Science, Sep 2022, Rome, Italy. pp.1-17
Communication dans un congrès
hal-03784478v1
|
|
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⟩
Communication dans un congrès
hal-03466807v1
|
|
Non-Deterministic Abstract MachinesCONCUR 2022 - 33rd International Conference
on Concurrency Theory, Sep 2022, Varsovie, Poland. pp.1-24, ⟨10.4230/LIPIcs.CONCUR.2022.7⟩
Communication dans un congrès
hal-03772712v1
|
|
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⟩
Communication dans un congrès
hal-03782992v1
|
|
JSkel: Towards a Formalization of JavaScript's SemanticsJFLA 2021 - Journées Francophones des Langages Applicatifs, Apr 2021, Virtuelles, France. pp.1-22
Communication dans un congrès
hal-03509431v1
|
|
Formalisation de Sémantiques SquelettiquesJLFA 2020 - Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France. pp.1-14
Communication dans un congrès
hal-02512485v1
|
|
JSExplain: A Double Debugger for JavaScriptThe Web Conference 2018, Apr 2018, Lyon, France. pp.1-9, ⟨10.1145/3184558.3185969⟩
Communication dans un congrès
hal-01745792v1
|
|
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⟩
Communication dans un congrès
hal-01614987v3
|
|
MLExplainOCaml 2018, Sep 2018, Saint Louis, United States. pp.1-4
Communication dans un congrès
hal-02056392v1
|
|
Non-Interference through Annotated Multisemantics28ièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01479035v1
|
|
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⟩
Communication dans un congrès
hal-01656404v1
|
|
An Abstract Separation Logic for Interlinked Extensible RecordsVingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Jan 2016, Saint-Malo, France
Communication dans un congrès
hal-01333600v1
|
|
Certified Abstract Interpretation with Pretty-Big-Step SemanticsCertified Programs and Proofs (CPP 2015), Jan 2015, Mumbai, India. ⟨10.1145/2676724.2693174⟩
Communication dans un congrès
hal-01111588v1
|
|
Expressive Logical Combinators for FreeInternational Joint Conference on Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina
Communication dans un congrès
hal-00868724v4
|
|
Hybrid Typing of Secure Information Flow in a JavaScript-like LanguageInternational Symposium on Trustworthy Global Computing, Aug 2015, Madrid, Spain
Communication dans un congrès
hal-01243029v1
|
|
HOCore in CoqVingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
Communication dans un congrès
hal-01099130v1
|
|
HOCore in CoqInteractive Theorem Proving, Aug 2015, Nanjing, China. ⟨10.1007/978-3-319-22102-1_19⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01192699v1
|
|
Pretty-big-step-semantics-based Certified Abstract InterpretationJFLA - 25ème Journées Francophones des Langages Applicatifs - 2014, Jan 2014, Fréjus, France
Communication dans un congrès
hal-00927400v1
|
|
A Trusted Mechanised JavaScript SpecificationPOPL 2014 - 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States
Communication dans un congrès
hal-00910135v1
|
|
De la KAM avec un Processus d'Ordre SupérieurJFLAs 2014, Jan 2014, Fréjus, France. pp.1-12
Communication dans un congrès
hal-00966097v2
|
|
A Certified JavaScript InterpreterJFLA - Journées francophones des langages applicatifs, Damien Pous and Christine Tasson, Feb 2013, Aussois, France
Communication dans un congrès
hal-00779459v1
|
|
Concurrent Flexible Reversibility22nd European Symposium on Programming, ESOP 2013, Mar 2013, Rome, Italy. pp.370-390, ⟨10.1007/978-3-642-37036-6_21⟩
Communication dans un congrès
hal-00811629v1
|
|
Formalisation de HOCore en CoqJFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France
Communication dans un congrès
hal-00665945v1
|
|
Query Reasoning on Trees with Types, Interleaving, and Counting22nd International Joint Conference on Artificial Intelligence IJCAI'2011, Jul 2011, Barcelone, Spain
Communication dans un congrès
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
Communication dans un congrès
inria-00514912v1
|
|
Howe's Method for Calculi with Passivation20th International Conference on Concurrency Theory (CONCUR 2009), Sep 2009, Bologna, Italy. pp.448--462
Communication dans un congrès
inria-00486800v1
|
|
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⟩
Communication dans un congrès
inria-00490810v1
|
|
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⟩
Communication dans un congrès
inria-00488856v1
|
|
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⟩
Communication dans un congrès
inria-00494584v1
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
inria-00492749v1
|
|
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⟩
Communication dans un congrès
hal-00189123v1
|
|
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⟩
Communication dans un congrès
inria-00498413v1
|
|
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⟩
Communication dans un congrès
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
Communication dans un congrès
hal-00189131v1
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-00310126v1
|
|
Actes de la conférence JFLA 2009 (Vingtièmes Journées Francophones des Langages Applicatifs)INRIA. INRIA, pp.174, 2009
Ouvrages
inria-00362717v1
|
|
Static Analyses for Manipulations of Hierarchically Structured DataSoftware Engineering [cs.SE]. Université de Grenoble, 2011
HDR
tel-00637917v1
|