Martin Berger - RankMe

46 papers A* 3A 3B 5C 2Misc 1Journal 20Unranked 12

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	GPU accelerated program synthesis: Enumerate semantics, not syntax! CoRR Martin Berger, Nathanaël Fijalkow, Mojtaba Valizadeh
2025	A	`conf`	Pydrofoil: Accelerating Sail-Based Instruction Set Simulators. ECOOP Carl Friedrich Bolz-Tereick, Luke Panayi, Ferdia McKeogh, Tom Spink, Martin Berger
2025	J	`jnl`	Pydrofoil: accelerating Sail-based instruction set simulators. CoRR Carl Friedrich Bolz-Tereick, Luke Panayi, Ferdia McKeogh, Tom Spink, Martin Berger
2024	A*	`conf`	Correct and Optimal: The Regular Expression Inference Challenge. IJCAI Mojtaba Valizadeh, Philip John Gorinski, Ignacio Iacobacci, Martin Berger
2024	—	`conf`	Improving Memory Dependence Prediction with Static Analysis. ARCS Luke Panayi, Rohan Gandhi, Jim Whittaker, Vassilios Chouliaras, Martin Berger, Paul Kelly
2024	—	`conf`	LTL Learning on GPUs. CAV (3) Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger
2024	J	`jnl`	LTL learning on GPUs. CoRR Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger
2023	J	`jnl`	Search-Based Regular Expression Inference on a GPU. CoRR Mojtaba Valizadeh, Martin Berger
2023	J	`jnl`	Search-Based Regular Expression Inference on a GPU. Proc. ACM Program. Lang. Mojtaba Valizadeh, Martin Berger
2023	J	`jnl`	The Regular Expression Inference Challenge. CoRR Mojtaba Valizadeh, Philip John Gorinski, Ignacio Iacobacci, Martin Berger
2022	J	`jnl`	A program logic for fresh name generation. Sci. Comput. Program. Harold Pancho Eliott, Martin Berger
2022	—	`conf`	ALARM: Active LeArning of Rowhammer Mitigations. HASP@MICRO Amir Naseredini, Martin Berger, Matteo Sammartino, Shale Xiong
2022	J	`jnl`	ALARM: Active LeArning of Rowhammer Mitigations. CoRR Amir Naseredini, Martin Berger, Matteo Sammartino, Shale Xiong
2022	C	`conf`	Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks. ICISSP Amir Naseredini, Stefan Gast, Martin Schwarzl, Pedro Miguel Sousa Bernardo, Amel Smajic, Claudio Canella, Martin Berger, Daniel Gruss
2021	—	`conf`	A Program Logic for Fresh Name Generation. FSEN Harold Pancho Eliott, Martin Berger
2021	J	`jnl`	A program logic for fresh name generation. CoRR Harold Pancho Eliott, Martin Berger
2021	J	`jnl`	Systematic Analysis of Programming Languages and Their Execution Environments for Spectre Attacks. CoRR Amir Naseredini, Stefan Gast, Martin Schwarzl, Pedro Miguel Sousa Bernardo, Amel Smajic, Claudio Canella, Martin Berger, Daniel Gruss
2020	—	`conf`	Cathoristic Logic. From Lambda Calculus to Cybersecurity Through Program Analysis Richard Prideaux Evans, Martin Berger
2019	J	`jnl`	Asynchronous sessions with implicit functions and messages. Sci. Comput. Program. Alexander Jeffery, Martin Berger
2018	Misc	`conf`	Asynchronous Sessions with Implicit Functions and Messages. TASE Alexander Jeffery, Martin Berger
2017	A	`conf`	Modelling Homogeneous Generative Meta-Programming. ECOOP Martin Berger, Laurence Tratt, Christian Urban
2016	J	`jnl`	Modelling homogeneous generative meta-programming. CoRR Martin Berger, Laurence Tratt, Christian Urban
2015	J	`jnl`	Program Logics for Homogeneous Generative Run-Time Meta-Programming. Log. Methods Comput. Sci. Martin Berger, Laurence Tratt
2014	J	`jnl`	An observationally complete program logic for imperative higher-order functions. Theor. Comput. Sci. Kohei Honda, Nobuko Yoshida, Martin Berger
2014	—	`conf`	Process Types as a Descriptive Tool for Interaction - Control and the Pi-Calculus. RTA-TLCA Kohei Honda, Nobuko Yoshida, Martin Berger
2012	C	`conf`	Specification and verification of meta-programs. PEPM Martin Berger
2010	—	`conf`	Program Logics for Homogeneous Meta-programming. LPAR (Dakar) Martin Berger, Laurence Tratt
2009	—	`conf`	Program Logics for Sequential Higher-Order Control. FSEN Martin Berger
2008	—	`conf`	Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. ICALP (2) Martin Berger, Kohei Honda, Nobuko Yoshida
2008	J	`jnl`	Logical Reasoning for Higher-Order Functions with Local State CoRR Nobuko Yoshida, Kohei Honda, Martin Berger
2008	J	`jnl`	Logical Reasoning for Higher-Order Functions with Local State. Log. Methods Comput. Sci. Nobuko Yoshida, Kohei Honda, Martin Berger
2007	J	`jnl`	A logical analysis of aliasing in imperative higher-order functions. J. Funct. Program. Martin Berger, Kohei Honda, Nobuko Yoshida
2007	J	`jnl`	Linearity and bisimulation. J. Log. Algebraic Methods Program. Nobuko Yoshida, Kohei Honda, Martin Berger
2007	B	`conf`	Logical Reasoning for Higher-Order Functions with Local State. FoSSaCS Nobuko Yoshida, Kohei Honda, Martin Berger
2007	B	`conf`	Timed, Distributed, Probabilistic, Typed Processes. APLAS Martin Berger, Nobuko Yoshida
2006	—	`conf`	Descriptive and Relative Completeness of Logics for Higher-Order Functions. ICALP (2) Kohei Honda, Martin Berger, Nobuko Yoshida
2005	A	`conf`	A logical analysis of aliasing in imperative higher-order functions. ICFP Martin Berger, Kohei Honda, Nobuko Yoshida
2005	A*	`conf`	An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules. LICS Kohei Honda, Nobuko Yoshida, Martin Berger
2005	J	`jnl`	Genericity and the pi-calculus. Acta Informatica Martin Berger, Kohei Honda, Nobuko Yoshida
2004	B	`conf`	Basic Theory of Reduction Congruence forTwo Timed Asynchronous pi-Calculi. CONCUR Martin Berger
2004	J	`jnl`	Strong normalisation in the pi -calculus. Inf. Comput. Nobuko Yoshida, Martin Berger, Kohei Honda
2003	B	`conf`	Genericity and the pi-Calculus. FoSSaCS Martin Berger, Kohei Honda, Nobuko Yoshida
2002	B	`conf`	Linearity and Bisimulation. FoSSaCS Nobuko Yoshida, Kohei Honda, Martin Berger
2001	—	`conf`	Sequentiality and the pi-Calculus. TLCA Martin Berger, Kohei Honda, Nobuko Yoshida
2001	A*	`conf`	Strong Normalisation in the pi-Calculus. LICS Nobuko Yoshida, Martin Berger, Kohei Honda
2000	—	`conf`	The Two-Phase Commitment Protocol in an Extended pi-Calculus. EXPRESS Martin Berger, Kohei Honda