Martin Hofmann

ORCID

Publication Activity (10 Years)

Years Active: 1993-2022
Publications (10 Years): 21

Top Venues

CoRR

PPDP

FoSSaCS

Math. Struct. Comput. Sci.

Publications

Martin Hofmann, Jérémy Ledent
A quantitative model for simply typed λ-calculus. Math. Struct. Comput. Sci. 32 (6) (2022)
Martin Hofmann, Lorenz Leutgeb, David Obwaller, Georg Moser, Florian Zuleger
Type-based analysis of logarithmic amortised complexity. Math. Struct. Comput. Sci. 32 (6) (2022)
Martin Hofmann, Lorenz Leutgeb, Georg Moser, David Obwaller, Florian Zuleger
Type-Based Analysis of Logarithmic Amortised Complexity. CoRR (2021)
Sabine Bauer, Martin Hofmann
Linear Tree Constraints. CoRR (2018)
Martin Hofmann, David Aspinall, Brian Campbell, Ian Stark, Perdita Stevens
Foreword. Theor. Comput. Sci. 741 (2018)
Nick Benton, Martin Hofmann, Vivek Nigam
Proof-Relevant Logical Relations for Name Generation. Log. Methods Comput. Sci. 14 (1) (2018)
Serdar Erbatur, Martin Hofmann, Eugen Zalinescu
Enforcing Programming Guidelines with Region Types and Effects. CoRR (2018)
Nick Benton, Martin Hofmann, Vivek Nigam
Effect-dependent transformations for concurrent programs. Sci. Comput. Program. 155 (2018)
Martin Hofmann, Georg Moser
Analysis of Logarithmic Amortised Complexity. CoRR (2018)
Sabine Bauer, Steffen Jost, Martin Hofmann
Decidable Inequalities over Infinite Trees. LPAR (2018)
Martin Hofmann, Jérémy Ledent
A cartesian-closed category for higher-order model checking. LICS (2017)
Serdar Erbatur, Martin Hofmann, Eugen Zalinescu
Enforcing Programming Guidelines with Region Types and Effects. APLAS (2017)
Nick Benton, Martin Hofmann, Vivek Nigam
Proof-Relevant Logical Relations for Name Generation. CoRR (2017)
Sabine Bauer, Martin Hofmann
Decidable linear list constraints. LPAR (2017)
Martin Hofmann, Christian Neukirchen, Harald Rueß
Certification for μ-Calculus with Winning Strategies. SPIN (2016)
Martin Hofmann
Modular Edit Lenses. Bidirectional Transformations (2016)
Andrej Bauer, Martin Hofmann, Matija Pretnar, Jeremy Yallop
From Theory to Practice of Algebraic Effects and Handlers (Dagstuhl Seminar 16112). Dagstuhl Reports 6 (3) (2016)
Christoph-Simon Senjak, Martin Hofmann
An Implementation of Deflate in Coq. FM (2016)
Nick Benton, Andrew Kennedy, Martin Hofmann, Vivek Nigam
Counting Successes: Effects and Transformations for Non-deterministic Programs. A List of Successes That Can Change the World (2016)
Christoph-Simon Senjak, Martin Hofmann
An implementation of Deflate in Coq. CoRR (2016)
Nick Benton, Martin Hofmann, Vivek Nigam
Effect-dependent transformations for concurrent programs. PPDP (2016)
Serdar Erbatur, Martin Hofmann
GuideForce: Type-Based Enforcement of Programming Guidelines. SEFM Workshops (2015)
Martin Hofmann
Automatic amortized analysis. PPDP (2015)
Martin Hofmann, Georg Moser
Multivariate Amortised Resource Analysis for Term Rewrite Systems. TLCA (2015)
Nick Benton, Martin Hofmann, Vivek Nigam
Effect-Dependent Transformations for Concurrent Programs. CoRR (2015)
Martin Hofmann
Logical Relations and Nondeterminism. Software, Services, and Systems (2015)
Martin Hofmann, Wei Chen
Abstract interpretation from Büchi automata. CSL-LICS (2014)
Nick Benton, Martin Hofmann, Vivek Nigam
Abstract effects and proof-relevant logical relations. POPL (2014)
Martin Hofmann, Wei Chen
Büchi Types for Infinite Traces and Liveness. CoRR (2014)
Martin Hofmann, Georg Moser
Amortised Resource Analysis and Typed Polynomial Interpretations. RTA-TLCA (2014)
Martin Hofmann, Harald Ruess
Certification for mu-calculus with winning strategies. CoRR (2014)
Gordon Cichon, Martin Hofmann
Formal Semantics of Synchronous Transfer Architecture. Modellierung (2014)
Martin Hofmann, Georg Moser
Amortised Resource Analysis and Typed Polynomial Interpretations (extended version). CoRR (2014)
Pierre-Louis Curien, Richard Garner, Martin Hofmann
Revisiting the categorical interpretation of dependent type theory. Theor. Comput. Sci. 546 (2014)
Martin Hofmann, Ramyaa
Computing With a Fixed Number of Pointers (Invited Talk). FSTTCS (2013)
Andrej Bauer, Martin Hofmann, Aleksandr Karbyshev
On Monadic Parametricity of Second-Order Functionals. FoSSaCS (2013)
Martin Hofmann, Ramyaa Ramyaa
Power of Nondetreministic JAGs on Cayley graphs. CoRR (2013)
Martin Hofmann, Benjamin C. Pierce, Daniel Wagner
Edit languages for information trees. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 57 (2013)
Martin Hofmann, Ramyaa Ramyaa, Ulrich Schöpp
Pure Pointer Programs and Tree Isomorphism. FoSSaCS (2013)
Lennart Beringer, Robert Grabowski, Martin Hofmann
Verifying pointer and string analyses with region type systems. Comput. Lang. Syst. Struct. 39 (2) (2013)
Nick Benton, Martin Hofmann, Vivek Nigam
Proof-Relevant Logical Relations for Name Generation. TLCA (2013)
Martin Hofmann, Dulma Rodriguez
Automatic Type Inference for Amortised Heap-Space Analysis. ESOP (2013)
Martin Hofmann, Dulma Rodriguez
Linear Constraints over Infinite Trees. LPAR (2012)
Nick Benton, Martin Hofmann, Vivek Nigam
Abstract Effects and Proof-Relevant Logical Relations CoRR (2012)
Jan Hoffmann, Klaus Aehlig, Martin Hofmann
Multivariate amortized resource analysis. ACM Trans. Program. Lang. Syst. 34 (3) (2012)
Jan Hoffmann, Klaus Aehlig, Martin Hofmann
Resource Aware ML. CAV (2012)
Martin Hofmann, Benjamin C. Pierce, Daniel Wagner
Edit lenses. POPL (2012)
Stephan Barth, Martin Hofmann
Learn with SAT to Minimize Büchi Automata GandALF (2012)
Ugo Dal Lago, Martin Hofmann
Realizability models and implicit complexity. Theor. Comput. Sci. 412 (20) (2011)
Martin Hofmann, Benjamin C. Pierce, Daniel Wagner
Symmetric lenses. POPL (2011)
Robert Grabowski, Martin Hofmann, Keqin Li
Type-Based Enforcement of Secure Programming Guidelines - Code Injection Prevention at SAP. Formal Aspects in Security and Trust (2011)
Jan Hoffmann, Klaus Aehlig, Martin Hofmann
Multivariate amortized resource analysis. POPL (2011)
Ugo Dal Lago, Martin Hofmann
Bounded Linear Logic, Revisited Log. Methods Comput. Sci. 6 (4) (2010)
Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann
10351 Executive Summary - Modelling, Controlling and Reasoning About State. Modelling, Controlling and Reasoning About State (2010)
Patrick Baillot, Martin Hofmann
Type inference in intuitionistic linear logic. PPDP (2010)
Jan Hoffmann, Martin Hofmann
Amortized Resource Analysis with Polynomial Potential. ESOP (2010)
Steffen Jost, Kevin Hammond, Hans-Wolfgang Loidl, Martin Hofmann
Static determination of quantitative resource usage for higher-order programs. POPL (2010)
Lennart Beringer, Robert Grabowski, Martin Hofmann
Verifying Pointer and String Analyses with Region Type Systems. LPAR (Dakar) (2010)
Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl
Verifying a Local Generic Solver in Coq. SAS (2010)
Martin Hofmann, Aleksandr Karbyshev, Helmut Seidl
What Is a Pure Functional? ICALP (2) (2010)
Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann
10351 Abstracts Collection - Modelling, Controlling and Reasoning About State. Modelling, Controlling and Reasoning About State (2010)
Martin Hofmann, Ulrich Schöpp
Pure pointer programs with iteration. ACM Trans. Comput. Log. 11 (4) (2010)
Ugo Dal Lago, Martin Hofmann
A Semantic Proof of Polytime Soundness of Light Affine Logic. Theory Comput. Syst. 46 (4) (2010)
Jan Hoffmann, Martin Hofmann
Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics. APLAS (2010)
Martin Hofmann, Dulma Rodriguez
Membership Checking in Greatest Fixpoints Revisited. FICS (2009)
Martin Hofmann, Dulma Rodriguez
Efficient Type-Checking for Amortised Heap-Space Analysis. CSL (2009)
Martin Hofmann, Ulrich Schöpp
Pointer Programs and Undirected Reachability. LICS (2009)
Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, Norman Scaife, Martin Hofmann
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis. FM (2009)
Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann
Relational semantics for effect-based program transformations: higher-order store. PPDP (2009)
Ugo Dal Lago, Martin Hofmann
Bounded Linear Logic, Revisited. TLCA (2009)
Lennart Beringer, Martin Hofmann
A Bytecode Logic for JML and Types. Arch. Formal Proofs 2008 (2008)
Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett
08061 Abstracts Collection -- Types, Logics and Semantics for State. Types, Logics and Semantics for State (2008)
Murdoch James Gabbay, Martin Hofmann
Nominal Renaming Sets. LPAR (2008)
Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett
08061 Executive Summary -- Types, Logics and Semantics for State. Types, Logics and Semantics for State (2008)
Ulrich Schöpp, Martin Hofmann
Pointer Programs and Undirected Reachability. Electron. Colloquium Comput. Complex. 15 (090) (2008)
David Aspinall, Martin Hofmann, Michal Konecný
A type system with usage aspects. J. Funct. Program. 18 (2) (2008)
Lennart Beringer, Martin Hofmann
Secure information flow and program logics. Arch. Formal Proofs 2008 (2008)
Ugo Dal Lago, Martin Hofmann
A Semantic Proof of Polytime Soundness of Light Affine Logic. CSR (2008)
Masahito Hasegawa, Martin Hofmann, Gordon D. Plotkin
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories. Pillars of Computer Science (2008)
Martin Hofmann, Ulrich Schöpp
Pure Pointer Programs with Iteration. CSL (2008)
Martin Hofmann, Mariela Pavlova
Elimination of Ghost Variables in Program Logics. TGC (2007)
Lennart Beringer, Martin Hofmann, Mariela Pavlova
Certification Using the Mobius Base Logic. FMCO (2007)
Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann
Relational semantics for effect-based program transformations with dynamic allocation. PPDP (2007)
Lennart Beringer, Martin Hofmann
Secure information flow and program logics. CSF (2007)
David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano
A program logic for resources. Theor. Comput. Sci. 389 (3) (2007)
Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace
Towards Formally Verifiable WCET Analysis for a Functional Programming Language. WCET (2006)
Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann
Consistency of the theory of contexts. J. Funct. Program. 16 (3) (2006)
Martin Hofmann, Hans-Wolfgang Loidl
Preface. Theor. Comput. Sci. 364 (3) (2006)
Lennart Beringer, Martin Hofmann
A Bytecode Logic for JML and Types. APLAS (2006)
Martin Hofmann, Steffen Jost
Type-Based Amortised Heap-Space Analysis. ESOP (2006)
Christian Dax, Martin Hofmann, Martin Lange
A Proof System for the Linear Time µ-Calculus. FSTTCS (2006)
Martin Hofmann, Jaap van Oosten, Thomas Streicher
Well-foundedness in Realizability. Arch. Math. Log. 45 (7) (2006)
Gilles Barthe, Lennart Beringer, Pierre Crégut, Benjamin Grégoire, Martin Hofmann, Peter Müller, Erik Poll, Germán Puebla, Ian Stark, Eric Vétillard
MOBIUS: Mobility, Ubiquity, Security. TGC (2006)
Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer
Reading, Writing and Relations. APLAS (2006)
Martin Hofmann, Pawel Urzyczyn
Typed Lambda Calculi and Applications 2003, Selected Papers. Fundam. Informaticae 65 (1-2) (2005)
Ugo Dal Lago, Martin Hofmann
Quantitative Models and Implicit Complexity CoRR (2005)
Ugo Dal Lago, Martin Hofmann
Quantitative Models and Implicit Complexity. FSTTCS (2005)
Martin Hofmann
Proof-Theoretic Approach to Description-Logic. LICS (2005)
Kevin Hammond, Roy Dyckhoff, Christian Ferdinand, Reinhold Heckmann, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace
The Embounded project (project start paper). Trends in Functional Programming (2005)
Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth MacKenzie, Alberto Momigliano, Olha Shkaravska
Mobile Resource Guarantees (project evaluation paper). Trends in Functional Programming (2005)

Martin Hofmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Martin Hofmann