Concepedia

Guillaume Allais

GA

5

Publications

127

Citations

5

H-Index

2012

Active since

Affiliations

University of Strathclyde(Current)

Radboud University Nijmegen

University of Edinburgh

Guillaume Allais is an author at University of Strathclyde specializing in formal verification, automated reasoning, and formal methods.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningFormal VerificationVerificationSoftware AnalysisProgramming LanguagesCompilers

Publications per year

2012–2019

5

Publications

5

Type-and-scope safe programs and their proofs

Guillaume Allais, James Chapman, Conor McBride et al. · 2016 · 40 citations · Full text

Engineering, Information Security, Verification +23

POPLMark reloaded: Mechanizing proofs by logical relations

Andreas Abel, Guillaume Allais, Aliya Hameer et al. · Journal of Functional Programming · 2019 · 30 citations · Full text

Logical Relations, Engineering, Automated Reasoning +14

A type and scope safe universe of syntaxes with binding: their semantics and proofs

Guillaume Allais, Robert Atkey, James Chapman et al. · Proceedings of the ACM on Programming Languages · 2018 · 28 citations · Full text

Scope Safe Universe, Engineering, Software Analysis +21

On the Formalization of Termination Techniques based on Multiset Orderings

René Thiemann, Guillaume Allais, Julian Nagele · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012 · 18 citations · Full text

Engineering, Multiset Orderings, Verification +17

New equations for neutral terms

Guillaume Allais, Conor McBride, Pierre Boutillier · 2013 · 11 citations

Rows per page

1–5 of 5