Jeroen Ketema

Publication Activity (10 Years)

Years Active: 2004-2021
Publications (10 Years): 9

Top Topics

Termination Analysis

Top Venues

Fundam. Informaticae

Developments in Language Theory

Publications

Dennis Dams, Jeroen Ketema, Pepijn Kramer, Arjan J. Mooij, Andrei Radulescu
Developing and Applying Custom Static Analysis Tools for Industrial Multi-Language Code Bases. BENEVOL (2021)
Arjan J. Mooij, Jeroen Ketema, Steven Klusener, Mathijs Schuts
Reducing Code Complexity through Code Refactoring and Model-Based Rejuvenation. SANER (2020)
Jeroen Ketema, Jakob Grue Simonsen
Computing with Infinite Terms and Infinite Reductions. Fundam. Informaticae 170 (4) (2019)
Steven Klusener, Arjan J. Mooij, Jeroen Ketema, Hans van Wezep
Reducing Code Duplication by Identifying Fresh Domain Abstractions. ICSME (2018)
Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema
Implementing and Evaluating Candidate-Based Invariant Generation. IEEE Trans. Software Eng. 44 (7) (2018)
Jeroen Ketema, Alastair F. Donaldson
Termination analysis for GPU kernels. Sci. Comput. Program. 148 (2017)
Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, John Wickerson
Forward Progress on GPU Concurrency (Invited Talk). CONCUR (2017)
Raimondas Sasnauskas, Yang Chen, Peter Collingbourne, Jeroen Ketema, Jubi Taneja, John Regehr
Souper: A Synthesizing Superoptimizer. CoRR (2017)
Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema
Implementing and Evaluating Candidate-Based Invariant Generation. CoRR (2016)
Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson
Asynchronous programming, analysis and testing with state machines. PLDI (2015)
Riyadh Baghdadi, Ulysse Beaugnon, Albert Cohen, Tobias Grosser, Michael Kruse, Chandan Reddy, Sven Verdoolaege, Adam Betts, Alastair F. Donaldson, Jeroen Ketema, Javed Absar, Sven van Haastregt, Alexey Kravets, Anton Lokhmotov, Robert David, Elnar Hajiyev
PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming. PACT (2015)
Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson
The Design and Implementation of a Verification Technique for GPU Kernels. ACM Trans. Program. Lang. Syst. 37 (3) (2015)
Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson
GPU Concurrency: Weak Behaviours and Programming Assumptions. ASPLOS (2015)
Nathan Chong, Alastair F. Donaldson, Jeroen Ketema
A sound and complete abstraction for reasoning about parallel prefix sums. POPL (2014)
Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer
Engineering a Static Verification Tool for GPU Kernels. CAV (2014)
Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer
Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels. OOPSLA (2013)
Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer
Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels. ESOP (2013)
Jeroen Ketema, Jakob Grue Simonsen
Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus. ACM Trans. Comput. Log. 14 (4) (2013)
Jeroen Ketema, Jakob Grue Simonsen
Characterizing Languages by Normalization and Termination in String Rewriting - (Extended Abstract). Developments in Language Theory (2012)
Takahito Aoto, Jeroen Ketema
Rational Term Rewriting Revisited: Decidability and Confluence. ICGT (2012)
Pouria Zand, Supriyo Chatterjea, Jeroen Ketema, Paul J. M. Havinga
A distributed scheduling algorithm for real-time (D-SAR) industrial wireless sensor and actuator networks. ETFA (2012)
Jeroen Ketema
Reinterpreting Compression in Infinitary Rewriting. RTA (2012)
Jeroen Ketema
Counterexamples in infinitary rewriting with non-fully-extended rules. Inf. Process. Lett. 111 (13) (2011)
Jeroen Ketema, Jakob Grue Simonsen
Infinitary Combinatory Reduction Systems. Inf. Comput. 209 (6) (2011)
Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen, Jakob Grue Simonsen
Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus. RTA (2011)
Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol
Towards model checking executable UML specifications in mCRL2. Innov. Syst. Softw. Eng. 6 (1-2) (2010)
Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos
Automated Verification of Executable UML Models. FMCO (2010)
Jeroen Ketema, Jakob Grue Simonsen
Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies Log. Methods Comput. Sci. 6 (1) (2010)
Jeroen Ketema, Jakob Grue Simonsen
-Calculus. FLOPS (2010)
Jeroen Ketema, Jakob Grue Simonsen
Infinitary Combinatory Reduction Systems: Confluence Log. Methods Comput. Sci. 5 (4) (2009)
Jeroen Ketema
Comparing Böhm-Like Trees. RTA (2009)
Jeroen Ketema
On Normalisation of Infinitary Combinatory Reduction Systems. RTA (2008)
Jeroen Ketema, Jakob Grue Simonsen
On Confluence of Infinitary Combinatory Reduction Systems. LPAR (2005)
Jeroen Ketema, Jan Willem Klop, Vincent van Oostrom
Vicious Circles in Orthogonal Term Rewriting Systems. Electron. Notes Theor. Comput. Sci. 124 (2) (2005)
Jeroen Ketema
Some Undecidable Approximations of TRSs. Electron. Notes Theor. Comput. Sci. 124 (2) (2005)
Jeroen Ketema, Jakob Grue Simonsen
Infinitary Combinatory Reduction Systems. RTA (2005)
Jeroen Ketema
Böhm-Like Trees for Term Rewriting Systems. RTA (2004)