Koen Claessen - RankMe

102 papers A* 4A 17B 11C 15Misc 3Journal 23Unranked 27

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck. CoRR Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen
2024	J	`jnl`	Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs. CoRR Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, Yao Li
2024	J	`jnl`	Story of Your Lazy Function's Life: A Bidirectional Demand Semantics for Mechanized Cost Analysis of Lazy Programs. Proc. ACM Program. Lang. Li-yao Xia, Laura Israel, Maite Kramarz, Nicholas Coltharp, Koen Claessen, Stephanie Weirich, Yao Li
2023	C	`conf`	HasTEE: Programming Trusted Execution Environments with Haskell. Haskell Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen
2023	J	`jnl`	HasTEE: Programming Trusted Execution Environments with Haskell. CoRR Abhiroop Sarkar, Robert Krook, Alejandro Russo, Koen Claessen
2023	—	`conf`	QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck. IFL Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen
2023	J	`jnl`	The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming. Proc. ACM Program. Lang. Lennart Augustsson, Joachim Breitner, Koen Claessen, Ranjit Jhala, Simon Peyton Jones, Olin Shivers, Guy L. Steele Jr., Tim Sweeney
2022	C	`conf`	Creating a Language for Writing Real-Time Applications for the Internet of Things. MEMOCODE Robert Krook, John Hui, Bo Joel Svensson, Stephen A. Edwards, Koen Claessen
2022	J	`jnl`	Testing Cyber-Physical Systems Using a Line-Search Falsification Method. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zahra Ramezani, Koen Claessen, Nicholas Smallbone, Martin Fabian, Knut Åkesson
2021	J	`jnl`	Handling Transitive Relations in First-Order Automated Reasoning. J. Autom. Reason. Koen Claessen, Ann Lillieström
2021	J	`jnl`	SAT modulo discrete event simulation applied to railway design capacity analysis. Formal Methods Syst. Des. Bjørnar Luteberget, Koen Claessen, Christian Johansen, Martin Steffen
2020	J	`jnl`	Enhancing Temporal Logic Falsification With Specification Transformation and Valued Booleans. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson
2020	—	`conf`	Finger trees explained anew, and slightly simplified (functional pearl). Haskell@ICFP Koen Claessen
2020	—	`conf`	Towards secure IoT programming in Haskell. Haskell@ICFP Nachiappan Valliappan, Robert Krook, Alejandro Russo, Koen Claessen
2019	B	`conf`	Automated Drawing of Railway Schematics Using Numerical Optimization in SAT. IFM Bjørnar Luteberget, Koen Claessen, Christian Johansen
2019	J	`jnl`	Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans. CoRR Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone, Zahra Ramezani, Sajed Miremadi, Knut Åkesson
2019	—	`conf`	Inferring morphological rules from small examples using 0/1 linear programming. NODALIDA Ann Lillieström, Koen Claessen, Nicholas Smallbone
2019	—	`conf`	Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage. FHPNC@ICFP Markus Aronsson, Koen Claessen, Mary Sheeran, Nicholas Smallbone
2019	—	`conf`	Testing Safety PLCs Using QuickCheck. CASE David Thönnessen, Nick Smallbone, Martin Fabian, Koen Claessen, Stefan Kowalewski
2018	—	`conf`	Applying Valued Booleans in Testing of Cyber-Physical Systems. MT@CPSWeek Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland, Zahra Ramezani, Knut Åkesson, Sajed Miremadi
2018	B	`conf`	Design-Time Railway Capacity Verification using SAT modulo Discrete Event Simulation. FMCAD Bjørnar Luteberget, Koen Claessen, Christian Johansen
2018	A	`conf`	Efficient Encodings of First-Order Horn Formulas in Equational Logic. IJCAR Koen Claessen, Nicholas Smallbone
2017	—	`conf`	A Supervisory Control Algorithm Based on Property-Directed Reachability. Haifa Verification Conference Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson
2017	J	`jnl`	A Supervisory Control Algorithm Based on Property-Directed Reachability. CoRR Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson
2017	J	`jnl`	Quick specifications for the busy programmer. J. Funct. Program. Nicholas Smallbone, Moa Johansson, Koen Claessen, Maximilian Algehed
2017	C	`conf`	QuickSpec: a lightweight theory exploration tool for programmers (system demonstration). Haskell Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone
2016	—	`conf`	Alternative Treatments of Common Binary Relations in First-order Automated Reasoning. PAAR@IJCAR Koen Claessen, Ann Lillieström
2016	B	`conf`	Analysing Constraint Grammars with a SAT-solver. LREC Inari Listenmaa, Koen Claessen
2016	C	`conf`	The Key monad: type-safe unconstrained dynamic typing. Haskell Atze van der Ploeg, Koen Claessen, Pablo Buiras
2016	—	`conf`	Using fusion to enable late design decisions for pipelined computations. FHPC@ICFP Máté Karácsony, Koen Claessen
2015	J	`jnl`	Efficient parallel and incremental parsing of practical context-free languages. J. Funct. Program. Jean-Philippe Bernardy, Koen Claessen
2015	J	`jnl`	Generating constrained random data with uniform distribution. J. Funct. Program. Koen Claessen, Jonas Duregård, Michal H. Palka
2015	A	`conf`	Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving. TACAS Jeroen Bransen, L. Thomas van Binsbergen, Koen Claessen, Atze Dijkstra
2015	A	`conf`	Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. ESOP Burke Fetscher, Koen Claessen, Michal H. Palka, John Hughes, Robert Bruce Findler
2015	A	`conf`	Practical principled FRP: forget the past, change the future, FRPNow! ICFP Atze van der Ploeg, Koen Claessen
2015	B	`conf`	SAT Modulo Intuitionistic Implications. LPAR Koen Claessen, Dan Rosén
2015	C	`conf`	TIP: Tons of Inductive Problems. CICM Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
2014	C	`conf`	A seamless, client-centric programming model for type safe web applications. Haskell Anton Ekblad, Koen Claessen
2014	Misc	`conf`	Generating Constrained Random Data with Uniform Distribution. FLOPS Koen Claessen, Jonas Duregård, Michal H. Palka
2014	C	`conf`	Hipster: Integrating Theory Exploration in a Proof Assistant. CICM Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen
2014	J	`jnl`	Hipster: Integrating Theory Exploration in a Proof Assistant. CoRR Moa Johansson, Dan Rosén, Nicholas Smallbone, Koen Claessen
2013	B	`conf`	A circuit approach to LTL model checking. FMCAD Koen Claessen, Niklas Eén, Baruch Sterin
2013	A	`conf`	Automating Inductive Proofs Using Theory Exploration. CADE Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
2013	A	`conf`	Efficient divide-and-conquer parsing of practical context-free languages. ICFP Jean-Philippe Bernardy, Koen Claessen
2013	A*	`conf`	HALO: haskell to logic through denotational semantics. POPL Dimitrios Vytiniotis, Simon L. Peyton Jones, Koen Claessen, Dan Rosén
2013	A*	`conf`	Model-Checking Signal Transduction Networks through Decreasing Reachability Sets. CAV Koen Claessen, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Qinsi Wang
2013	C	`conf`	Splittable pseudorandom number generators using cryptographic hashing. Haskell Koen Claessen, Michal H. Palka
2013	A	`conf`	Using circular programs for higher-order syntax: functional pearl. ICFP Emil Axelsson, Koen Claessen
2012	B	`conf`	A liveness checking algorithm that counts. FMCAD Koen Claessen, Niklas Sörensson
2012	—	`conf`	Expressive array constructs in an embedded GPU kernel programming language. DAMP Koen Claessen, Mary Sheeran, Joel Svensson
2012	—	`conf`	HipSpec: Automating Inductive Proofs of Program Properties. ATx/WInG@IJCAR Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
2012	—	`ed.`	Proceedings of the sixth workshop on Programming Languages meets Program Verification, PLPV 2012, Philadelphia, PA, USA, January 24, 2012 PLPV Koen Claessen, Nikhil Swamy
2012	C	`conf`	Shrinking and showing functions: Haskell Koen Claessen
2012	B	`conf`	The TPTP Typed First-Order Form with Arithmetic. LPAR Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner
2011	J	`jnl`	Automated Inference of Finite Unsatisfiability. J. Autom. Reason. Koen Claessen, Ann Lillieström
2011	C	`ed.`	Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011 Haskell Koen Claessen
2011	A	`conf`	Sort It Out with Monotonicity - Translating between Many-Sorted and Unsorted First-Order Logic. CADE Koen Claessen, Ann Lillieström, Nicholas Smallbone
2011	—	`conf`	Testing an optimising compiler by generating random lambda terms. AST@ICSE Michal H. Palka, Koen Claessen, Alejandro Russo, John Hughes
2011	A	`conf`	The Anatomy of Equinox - An Extensible Automated Reasoning Tool for First-Order Logic and Beyond - (Talk Abstract). CADE Koen Claessen
2010	C	`conf`	Feldspar: A domain specific language for digital signal processing algorithms. MEMOCODE Emil Axelsson, Koen Claessen, Gergely Dévai, Zoltán Horváth, Karin Keijzer, Bo Lyckegård, Anders Persson, Mary Sheeran, Josef Svenningsson, András Vajda
2010	Misc	`conf`	GPGPU kernel implementation and refinement using Obsidian. ICCS Joel Svensson, Koen Claessen, Mary Sheeran
2010	—	`conf`	Generating Counterexamples for Structural Inductions by Exploiting Nonstandard Models. LPAR (Yogyakarta) Jasmin Christian Blanchette, Koen Claessen
2010	—	`conf`	QuickSpec: Guessing Formal Specifications Using Testing. TAP@TOOLS Koen Claessen, Nicholas Smallbone, John Hughes
2010	—	`conf`	Ranking programs using black box testing. AST@ICSE Koen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson
2010	A	`conf`	Testing Polymorphic Properties. ESOP Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen
2010	—	`conf`	The Design and Implementation of Feldspar - An Embedded Language for Digital Signal Processing. IFL Emil Axelsson, Koen Claessen, Mary Sheeran, Josef Svenningsson, David Engdal, Anders Persson
2009	J	`jnl`	A Faithful Semantics for Generalised Symbolic Trajectory Evaluation Log. Methods Comput. Sci. Koen Claessen, Jan-Willem Roorda
2009	A	`conf`	Automated Inference of Finite Unsatisfiability. CADE Koen Claessen, Ann Lillieström
2009	A	`conf`	Finding race conditions in Erlang with QuickCheck and PULSE. ICFP Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger
2009	J	`jnl`	SAT-Solving in Practice, with a Tutorial Example from Supervisory Control. Discret. Event Dyn. Syst. Koen Claessen, Niklas Eén, Mary Sheeran, Niklas Sörensson, Alexey Voronov, Knut Åkesson
2009	A*	`conf`	Static contract checking for Haskell. POPL Dana N. Xu, Simon L. Peyton Jones, Koen Claessen
2009	B	`conf`	The Twilight Zone: From Testing to Formal Specifications and Back Again. APLAS Koen Claessen
2008	C	`conf`	A library for light-weight information-flow security in haskell. Haskell Alejandro Russo, Koen Claessen, John Hughes
2008	C	`conf`	Finding Counter Examples in Induction Proofs. TAP Koen Claessen, Hans Svensson
2008	—	`conf`	Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors. IFL Joel Svensson, Mary Sheeran, Koen Claessen
2007	B	`conf`	A Coverage Analysis for Safety Property Lists. FMCAD Koen Claessen
2006	—	`conf`	An Introduction to Symbolic Trajectory Evaluation. SFM Koen Claessen, Jan-Willem Roorda
2006	Misc	`conf`	Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics. CSR Jan-Willem Roorda, Koen Claessen
2006	A*	`conf`	SAT-Based Assistance in Abstraction Refinement for Symbolic Trajectory Evaluation. CAV Jan-Willem Roorda, Koen Claessen
2006	A	`conf`	Using the TPTP Language for Writing Derivations and Finite Interpretations. IJCAR Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder
2005	—	`conf`	A New SAT-Based Algorithm for Symbolic Trajectory Evaluation. CHARME Jan-Willem Roorda, Koen Claessen
2005	—	`conf`	A semantics for distributed Erlang. Erlang Workshop Koen Claessen, Hans Svensson
2005	—	`conf`	Wired: Wire-Aware Circuit Design. CHARME Emil Axelsson, Koen Claessen, Mary Sheeran
2004	B	`conf`	An Operational Semantics for Weak PSL. FMCAD Koen Claessen, Johan Mårtensson
2004	J	`jnl`	Parallel Parsing Processes. J. Funct. Program. Koen Claessen
2004	—	`conf`	Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang. FATES Thomas Arts, Koen Claessen, Hans Svensson
2003	—	`conf`	Safety Property Verification of Cyclic Synchronous Circuits. SLAP Koen Claessen
2003	J	`jnl`	Using Lava to design and verify recursive and periodic sorters. Int. J. Softw. Tools Technol. Transf. Koen Claessen, Mary Sheeran, Satnam Singh
2002	J	`jnl`	An embedded language approach to teaching hardware compilation. ACM SIGPLAN Notices Koen Claessen, Gordon J. Pace
2002	—	`conf`	Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. Advanced Functional Programming Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace
2002	C	`conf`	Testing monadic code with QuickCheck. Haskell Koen Claessen, John Hughes
2002	J	`jnl`	Testing monadic code with QuickCheck. ACM SIGPLAN Notices Koen Claessen, John Hughes
2001	—	`—`	Embedded Languages for Describing and Verifying Hardware. Koen Claessen
2001	—	`conf`	The Design and Verification of a Sorter Core. CHARME Koen Claessen, Mary Sheeran, Satnam Singh
2000	A	`conf`	QuickCheck: a lightweight tool for random testing of Haskell programs. ICFP Koen Claessen, John Hughes
2000	B	`conf`	SAT-Based Verification without State Space Traversal. FMCAD Per Bjesse, Koen Claessen
2000	C	`conf`	Typed Logical Variables in Haskell. Haskell Koen Claessen, Peter Ljunglöf
1999	J	`jnl`	A Poor Man's Concurrency Monad. J. Funct. Program. Koen Claessen
1999	—	`conf`	Observable Sharing for Functional Circuit Description. ASIAN Koen Claessen, David Sands
1998	A	`conf`	Lava: Hardware Design in Haskell. ICFP Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh
1997	A	`conf`	Graphs in Compilation. ICFP Koen Claessen
1997	A	`conf`	Structuring Graphical Paradigms in TkGofer. ICFP Koen Claessen, Ton Vullinghs, Erik Meijer