Jeroen Ketema

According to our database, Jeroen Ketema authored at least 35 papers between 2004 and 2021.

Collaborative distances:

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

2021

Developing and Applying Custom Static Analysis Tools for Industrial Multi-Language Code Bases.

Dennis Dams, Jeroen Ketema, Pepijn Kramer, Arjan J. Mooij, Andrei Radulescu

Proceedings of the 20th Belgium-Netherlands Software Evolution Workshop, 2021

2020

Reducing Code Complexity through Code Refactoring and Model-Based Rejuvenation.

Arjan J. Mooij, Jeroen Ketema, Steven Klusener, Mathijs Schuts

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

2019

Computing with Infinite Terms and Infinite Reductions.

Jeroen Ketema, Jakob Grue Simonsen

Fundam. Informaticae, 2019

2018

Implementing and Evaluating Candidate-Based Invariant Generation.

Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema

IEEE Trans. Software Eng., 2018

Reducing Code Duplication by Identifying Fresh Domain Abstractions.

Steven Klusener, Arjan J. Mooij, Jeroen Ketema, Hans van Wezep

Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018

2017

Termination analysis for GPU kernels.

Jeroen Ketema, Alastair F. Donaldson

Sci. Comput. Program., 2017

Souper: A Synthesizing Superoptimizer.

Raimondas Sasnauskas, Yang Chen, Peter Collingbourne, Jeroen Ketema, Jubi Taneja, John Regehr

CoRR, 2017

Forward Progress on GPU Concurrency (Invited Talk).

Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, John Wickerson

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2015

The Design and Implementation of a Verification Technique for GPU Kernels.

Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson

ACM Trans. Program. Lang. Syst., 2015

Asynchronous programming, analysis and testing with state machines.

Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

GPU Concurrency: Weak Behaviours and Programming Assumptions.

Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming.

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

Proceedings of the 2015 International Conference on Parallel Architectures and Compilation, 2015

2014

A sound and complete abstraction for reasoning about parallel prefix sums.

Nathan Chong, Alastair F. Donaldson, Jeroen Ketema

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Engineering a Static Verification Tool for GPU Kernels.

Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus.

Jeroen Ketema, Jakob Grue Simonsen

ACM Trans. Comput. Log., 2013

Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels.

Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels.

Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer

Proceedings of the Programming Languages and Systems, 2013

2012

Reinterpreting Compression in Infinitary Rewriting.

Jeroen Ketema

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

Rational Term Rewriting Revisited: Decidability and Confluence.

Takahito Aoto, Jeroen Ketema

Proceedings of the Graph Transformations - 6th International Conference, 2012

A distributed scheduling algorithm for real-time (D-SAR) industrial wireless sensor and actuator networks.

Pouria Zand, Supriyo Chatterjea, Jeroen Ketema, Paul J. M. Havinga

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Characterizing Languages by Normalization and Termination in String Rewriting - (Extended Abstract).

Jeroen Ketema, Jakob Grue Simonsen

Proceedings of the Developments in Language Theory - 16th International Conference, 2012

2011

Counterexamples in infinitary rewriting with non-fully-extended rules.

Jeroen Ketema

Inf. Process. Lett., 2011

Infinitary Combinatory Reduction Systems.

Jeroen Ketema, Jakob Grue Simonsen

Inf. Comput., 2011

Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus.

Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen, Jakob Grue Simonsen

Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

2010

Towards model checking executable UML specifications in mCRL2.

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol

Innov. Syst. Softw. Eng., 2010

Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies

Jeroen Ketema, Jakob Grue Simonsen

Log. Methods Comput. Sci., 2010

Automated Verification of Executable UML Models.

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Marchi dos Santos

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and <i>lambda</i>-Calculus.

Jeroen Ketema, Jakob Grue Simonsen

Proceedings of the Functional and Logic Programming, 10th International Symposium, 2010

2009

Infinitary Combinatory Reduction Systems: Confluence

Jeroen Ketema, Jakob Grue Simonsen

Log. Methods Comput. Sci., 2009

Comparing Böhm-Like Trees.

Jeroen Ketema

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

2008

On Normalisation of Infinitary Combinatory Reduction Systems.

Jeroen Ketema

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

2005

On Confluence of Infinitary Combinatory Reduction Systems.

Jeroen Ketema, Jakob Grue Simonsen

Proceedings of the Logic for Programming, 2005

2004

Vicious Circles in Orthogonal Term Rewriting Systems.

Jeroen Ketema, Jan Willem Klop, Vincent van Oostrom

Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, 2004

Some Undecidable Approximations of TRSs.

Jeroen Ketema

Proceedings of the 4th International Workshop on Reduction Strategies in Rewriting and Programming, 2004

Böhm-Like Trees for Term Rewriting Systems.

Jeroen Ketema

Proceedings of the Rewriting Techniques and Applications, 15th International Conference, 2004