Nicholas Smallbone
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
18
Venues
11
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
18 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | Twitch: Learning Abstractions for Equational Theorem Proving. | Guy Axelrod, Moa Johansson, Nicholas Smallbone |
| 2024 | IJCAR | Lemma Discovery and Strategies for Automated Induction. | Slrn Halla Einarsdttir, Mrton Hajd, Moa Johansson, Nicholas Smallbone, Martin Suda |
| 2023 | NeSy | Exploring Mathematical Conjecturing with Large Language Models. | Moa Johansson, Nicholas Smallbone |
| 2021 | CADE | Twee: An Equational Theorem Prover. | Nicholas Smallbone |
| 2019 | ICFP | Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage. | Markus Aronsson, Koen Claessen, Mary Sheeran, Nicholas Smallbone |
| 2019 | INDIN | Evaluating Two Semantics for Falsification using an Autonomous Driving Example. | Zahra Ramezani, Nicholas Smallbone, Martin Fabian, Knut kesson |
| 2018 | CADE | Efficient Encodings of First-Order Horn Formulas in Equational Logic. | Koen Claessen, Nicholas Smallbone |
| 2017 | HASKELL | QuickSpec: a lightweight theory exploration tool for programmers (system demonstration). | Maximilian Algehed, Koen Claessen, Moa Johansson, Nicholas Smallbone |
| 2016 | ICSE | Find more bugs with QuickCheck! | John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts |
| 2015 | LPAR | TIP: Tools for Inductive Provers. | Dan Rosn, Nicholas Smallbone |
| 2014 | FASE | An Expressive Semantics of Mocking. | Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes |
| 2013 | CADE | Automating Inductive Proofs Using Theory Exploration. | Koen Claessen, Moa Johansson, Dan Rosn, Nicholas Smallbone |
| 2013 | TACAS | Encoding Monomorphic and Polymorphic Types. | Jasmin Christian Blanchette, Sascha Bhme, Andrei Popescu, Nicholas Smallbone |
| 2012 | CADE | HipSpec: Automating Inductive Proofs of Program Properties. | Koen Claessen, Moa Johansson, Dan Rosn, Nicholas Smallbone |
| 2011 | CADE | Sort It Out with Monotonicity - Translating between Many-Sorted and Unsorted First-Order Logic. | Koen Claessen, Ann Lilliestrm, Nicholas Smallbone |
| 2010 | ICSE | Ranking programs using black box testing. | Koen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson |
| 2010 | TAP | QuickSpec: Guessing Formal Specifications Using Testing. | Koen Claessen, Nicholas Smallbone, John Hughes |
| 2009 | ICFP | Finding race conditions in Erlang with QuickCheck and PULSE. | Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger |