Nicholas Smallbone

38 papers A 6B 2C 5Journal 9Unranked 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
Twitch: Learning Abstractions for Equational Theorem Proving.
CoRR
Guy Axelrod, Moa Johansson, Nicholas Smallbone
2025 J jnl
Lemmanaid: Neuro-Symbolic Lemma Conjecturing.
CoRR
Yousef Alhessi, Sólrún Halla Einarsdóttir, George Granberry, Emily First, Moa Johansson, Sorin Lerner, Nicholas Smallbone
2024 — conf
Binary indexes for optimising corpus queries.
KONVENS
Peter Ljunglöf, Nicholas Smallbone, Mijo Thoresson, Victor Salomonsson
2024 — conf
Lemma Discovery and Strategies for Automated Induction.
IJCAR (1)
Sólrún Halla Einarsdóttir, Márton Hajdú, Moa Johansson, Nicholas Smallbone, Martin Suda
2024 J jnl
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck.
CoRR
Robert Krook, Nicholas Smallbone, Bo Joel Svensson, Koen Claessen
2023 C conf
Exploring Mathematical Conjecturing with Large Language Models.
NeSy
Moa Johansson, Nicholas Smallbone
2023 — conf
QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck.
IFL
Robert Krook, Nicholas Smallbone, Bo Joel Svensson, 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 — conf
Conjectures, Tests and Proofs: An Overview of Theory Exploration.
VPT@ETAPS
Moa Johansson, Nicholas Smallbone
2021 A conf
Twee: An Equational Theorem Prover.
CADE
Nicholas Smallbone
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
Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing.
IFL
Sólrún Halla Einarsdóttir, Nicholas Smallbone, Moa Johansson
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 C conf
Evaluating Two Semantics for Falsification using an Autonomous Driving Example.
INDIN
Zahra Ramezani, Nicholas Smallbone, Martin Fabian, 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
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 A conf
Efficient Encodings of First-Order Horn Formulas in Equational Logic.
IJCAR
Koen Claessen, Nicholas Smallbone
2018 — conf
Understanding formal specifications through good examples.
Erlang Workshop
Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, Meng Wang
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 J jnl
Encoding Monomorphic and Polymorphic Types.
Log. Methods Comput. Sci.
Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu, Nicholas Smallbone
2016 — conf
Find more bugs with QuickCheck!
AST@ICSE
John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts
2015 — conf
Linking unit tests and properties.
Erlang Workshop
Alex Gerdes, John Hughes, Nicholas Smallbone, Meng Wang
2015 C conf
TIP: Tons of Inductive Problems.
CICM
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
2015 B conf
TIP: Tools for Inductive Provers.
LPAR
Dan Rosén, Nicholas Smallbone
2014 B conf
An Expressive Semantics of Mocking.
FASE
Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes
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 A conf
Automating Inductive Proofs Using Theory Exploration.
CADE
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
2013 A conf
Encoding Monomorphic and Polymorphic Types.
TACAS
Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu, Nicholas Smallbone
2013 — —
Lightweight verification of functional programs.
Nicholas Smallbone
2012 — conf
HipSpec: Automating Inductive Proofs of Program Properties.
ATx/WInG@IJCAR
Koen Claessen, Moa Johansson, Dan Rosén, Nicholas Smallbone
2011 — conf
Accelerating race condition detection through procrastination.
Erlang Workshop
Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson
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
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
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