Martin Berger

According to our database, Martin Berger authored at least 32 papers between 2000 and 2025.

Collaborative distances:

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

2025

GPU accelerated program synthesis: Enumerate semantics, not syntax!

Martin Berger, Nathanaël Fijalkow, Mojtaba Valizadeh

CoRR, April, 2025

Pydrofoil: Accelerating Sail-Based Instruction Set Simulators.

Carl Friedrich Bolz-Tereick, Luke Panayi, Ferdia McKeogh, Tom Spink, Martin Berger

Proceedings of the 39th European Conference on Object-Oriented Programming, 2025

2024

Correct and Optimal: The Regular Expression Inference Challenge.

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

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

LTL Learning on GPUs.

Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

Improving Memory Dependence Prediction with Static Analysis.

Luke Panayi, Rohan Gandhi, Jim Whittaker, Vassilios Chouliaras, Martin Berger, Paul Kelly

Proceedings of the Architecture of Computing Systems - 37th International Conference, 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

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

2021

A Program Logic for Fresh Name Generation.

Harold Pancho Eliott, Martin Berger

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

2020

Cathoristic Logic.

Richard Prideaux Evans, Martin Berger

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

2018

Asynchronous Sessions with Implicit Functions and Messages.

Alexander Jeffery, Martin Berger

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

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

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

Logical Reasoning for Higher-Order Functions with Local State.

Nobuko Yoshida, Kohei Honda, Martin Berger

Proceedings of the Foundations of Software Science and Computational Structures, 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

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

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

Martin Berger, Kohei Honda, Nobuko Yoshida

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

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

Genericity and the pi-Calculus.

Martin Berger, Kohei Honda, Nobuko Yoshida

Proceedings of the Foundations of Software Science and Computational Structures, 2003

2002

Linearity and Bisimulation.

Nobuko Yoshida, Kohei Honda, Martin Berger

Proceedings of the Foundations of Software Science and Computation Structures, 2002

2001

Sequentiality and the pi-Calculus.

Martin Berger, Kohei Honda, Nobuko Yoshida

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

Strong Normalisation in the pi-Calculus.

Nobuko Yoshida, Martin Berger, Kohei Honda

Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 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