Martin Berger

According to our database, Martin Berger authored at least 28 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

LTL learning on GPUs.

Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger

CoRR, 2024

2023

Search-Based Regular Expression Inference on a GPU.

Mojtaba Valizadeh, Martin Berger

Proc. ACM Program. Lang., 2023

The Regular Expression Inference Challenge.

Mojtaba Valizadeh, Philip John Gorinski, Ignacio Iacobacci, Martin Berger

CoRR, 2023

2022

A program logic for fresh name generation.

Harold Pancho Eliott, Martin Berger

Sci. Comput. Program., 2022

Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks.

Amir Naseredini, Stefan Gast, Martin Schwarzl, Pedro Miguel Sousa Bernardo, Amel Smajic, Claudio Canella, Martin Berger, Daniel Gruss

Proceedings of the 8th International Conference on Information Systems Security and Privacy, 2022

ALARM: Active LeArning of Rowhammer Mitigations.

Amir Naseredini, Martin Berger, Matteo Sammartino, Shale Xiong

Proceedings of the 11th International Workshop on Hardware and Architectural Support for Security and Privacy, 2022

2020

Cathoristic Logic.

Richard Prideaux Evans, Martin Berger

Proceedings of the From Lambda Calculus to Cybersecurity Through Program Analysis, 2020

2019

Asynchronous sessions with implicit functions and messages.

Alexander Jeffery, Martin Berger

Sci. Comput. Program., 2019

2017

Modelling Homogeneous Generative Meta-Programming.

Martin Berger, Laurence Tratt, Christian Urban

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2015

Program Logics for Homogeneous Generative Run-Time Meta-Programming.

Martin Berger, Laurence Tratt

Log. Methods Comput. Sci., 2015

2014

An observationally complete program logic for imperative higher-order functions.

Kohei Honda, Nobuko Yoshida, Martin Berger

Theor. Comput. Sci., 2014

Process Types as a Descriptive Tool for Interaction - Control and the Pi-Calculus.

Kohei Honda, Nobuko Yoshida, Martin Berger

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

2012

Specification and verification of meta-programs.

Martin Berger

Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, 2012

2010

Program Logics for Homogeneous Meta-programming.

Martin Berger, Laurence Tratt

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2009

Program Logics for Sequential Higher-Order Control.

Martin Berger

Proceedings of the Fundamentals of Software Engineering, 2009

2008

Logical Reasoning for Higher-Order Functions with Local State.

Nobuko Yoshida, Kohei Honda, Martin Berger

Log. Methods Comput. Sci., 2008

Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes.

Martin Berger, Kohei Honda, Nobuko Yoshida

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

2007

Linearity and bisimulation.

Nobuko Yoshida, Kohei Honda, Martin Berger

J. Log. Algebraic Methods Program., 2007

A logical analysis of aliasing in imperative higher-order functions.

Martin Berger, Kohei Honda, Nobuko Yoshida

J. Funct. Program., 2007

Timed, Distributed, Probabilistic, Typed Processes.

Martin Berger, Nobuko Yoshida

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Descriptive and Relative Completeness of Logics for Higher-Order Functions.

Kohei Honda, Martin Berger, Nobuko Yoshida

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

2005

Genericity and the pi-calculus.

Martin Berger, Kohei Honda, Nobuko Yoshida

Acta Informatica, 2005

An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules.

Kohei Honda, Nobuko Yoshida, Martin Berger

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

2004

Strong normalisation in the pi -calculus.

Nobuko Yoshida, Martin Berger, Kohei Honda

Inf. Comput., 2004

Basic Theory of Reduction Congruence forTwo Timed Asynchronous pi-Calculi.

Martin Berger

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

Towards abstractions for distributed systems.

Martin Friedrich Berger

PhD thesis, 2003

2001

Sequentiality and the pi-Calculus.

Martin Berger, Kohei Honda, Nobuko Yoshida

Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001

2000

The Two-Phase Commitment Protocol in an Extended pi-Calculus.

Martin Berger, Kohei Honda

Proceedings of the 7th International Workshop on Expressiveness in Concurrency, 2000