Jeroen Ketema

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