
Alan Schmitt
70
Documents
Publications
6
3
7
1
3
1
3
4
1
8
3
2
2
4
2
4
6
7
1
1
1
Publications
|
Optimizing a Non-Deterministic Abstract Machine with EnvironmentsFSCD 2024 - 9th International Conference on Formal Structures for Computation and Deduction, Jul 2024, Tallinn, Estonia. pp.1-22, ⟨10.4230/LIPIcs.FSCD.2024.11⟩
Communication dans un congrès
hal-04643294
v1
|
|
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-04406392
v1
|
|
Leaf-First Zipper SemanticsFORTE 2024 - 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2024, Groningen, Netherlands. ⟨10.1007/978-3-031-62645-6_7⟩
Communication dans un congrès
hal-04571340
v1
|
|
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-03936686
v1
|
|
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-04207565
v1
|
|
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-03936885
v1
|
|
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-03772712
v1
|
|
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-03782992
v1
|
|
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-03768820
v1
|
|
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-03784478
v1
|
|
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-03466807
v1
|
|
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-03509431
v1
|
|
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-02512485
v1
|
|
MLExplainOCaml 2018, Sep 2018, Saint Louis, United States. pp.1-4
Communication dans un congrès
hal-02056392
v1
|
|
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-01614987
v3
|
|
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-01745792
v1
|
|
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-01656404
v1
|
|
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-01479035
v1
|
|
Non-Interference through Annotated Multisemantics28ièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
Communication dans un congrès
hal-01503094
v1
|
|
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-01333600
v1
|
|
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-01099130
v1
|
|
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-01192699
v1
|
|
HOCore in CoqInteractive Theorem Proving, Aug 2015, Nanjing, China. ⟨10.1007/978-3-319-22102-1_19⟩
Communication dans un congrès
hal-01243017
v1
|
|
Expressive Logical Combinators for FreeInternational Joint Conference on Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina
Communication dans un congrès
hal-00868724
v4
|
|
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-01243029
v1
|
|
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-01111588
v1
|
|
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-00910135
v1
|
|
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-00966097
v2
|
|
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-00927400
v1
|
|
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-00811629
v1
|
|
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-00779459
v1
|
|
Formalisation de HOCore en CoqJFLA - Journées Francophones des Langages Applicatifs - 2012, Feb 2012, Carnac, France
Communication dans un congrès
hal-00665945
v1
|
|
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-00609556
v1
|
|
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-00514912
v1
|
|
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-00488856
v1
|
|
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-00486800
v1
|
|
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-00490810
v1
|
|
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-00494584
v1
|
|
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-00492749
v1
|
|
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-00496456
v1
|
|
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-00502789
v1
|
|
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-00189131
v1
|
|
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-00498413
v1
|
|
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-00189123
v1
|
|
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-00535653
v1
|
|
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-00310126
v1
|
|
Actes de la conférence JFLA 2009 (Vingtièmes Journées Francophones des Langages Applicatifs)INRIA. INRIA, pp.174, 2009
Ouvrages
inria-00362717
v1
|
|
Leaf-First Zipper Semantics2024
Pré-publication, Document de travail
hal-04537440
v1
|
|
Optimizing a Non-Deterministic Abstract Machine with Environments2024
Pré-publication, Document de travail
hal-04568253
v3
|
|
Non-Deterministic Abstract Machines[Research Report] RR-9475, Inria. 2022, pp.1-33
Rapport
hal-03545768
v2
|
|
Stating and Handling Semantics with Skel and Necro[Research Report] RR-9449, Inria Rennes - Bretagne Atlantique. 2022, pp.1-23
Rapport
(rapport de recherche)
hal-03543701
v2
|
|
Automatic Transformation of a Big-Step Skeletal Semantics into Small-Step[Research Report] RR-9363, Inria Rennes - Bretagne Atlantique. 2020
Rapport
(rapport de recherche)
hal-02946930
v2
|
|
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines[Research Report] RR-9052, Inria. 2017
Rapport
(rapport de recherche)
hal-01507625
v1
|
|
Howe's Method for Contextual Semantics[Research Report] RR-8750, Inria. 2015, pp.31
Rapport
(rapport de recherche)
hal-01168865
v1
|
|
Logical Combinators for Rich Type Systems[Research Report] RR-8010, INRIA. 2012, pp.18
Rapport
(rapport de recherche)
hal-00714353
v2
|
|
On the Count of Trees[Research Report] RR-7251, INRIA. 2010
Rapport
(rapport de recherche)
inria-00473160
v2
|
|
Efficient Static Analysis of XML Paths and Types[Research Report] RR-6590, INRIA. 2008
Rapport
(rapport de recherche)
inria-00305302
v3
|
|
Howe's Method for Early Bisimilarities[Research Report] RR-6773, INRIA. 2008, pp.69
Rapport
(rapport de recherche)
inria-00347137
v2
|
|
Normal bisimulations in process calculi with passivation[Research Report] RR-6664, INRIA. 2008, pp.102
Rapport
(rapport de recherche)
inria-00330565
v1
|
|
Oz/K: A kernel language for component-based open programming[Research Report] RR-6202, INRIA. 2007
Rapport
(rapport de recherche)
inria-00149612
v2
|
|
The M-calculus: a Higher-Order Distributed Process Calculus[Research Report] RR-4361, INRIA. 2002
Rapport
(rapport de recherche)
inria-00072227
v1
|
|
Static Analyses for Manipulations of Hierarchically Structured DataSoftware Engineering [cs.SE]. Université de Grenoble, 2011
HDR
tel-00637917
v1
|
Chargement...
Chargement...