Nicholas Smallbone

Researcher at Functional Programming

Source: chalmers.se
gravatar.com image

Showing 40 publications

2024
Open Access icon

Lemma Discovery and Strategies for Automated Induction

Sólrún Einarsdóttir, Márton Hajdú, Moa Johansson et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 14739 LNAI, p. 214-232
Paper in proceeding
2024

Binary indexes for optimising corpus queries

Peter Ljunglöf, Nicholas Smallbone, Mijo Thoresson et al
Proceedings of the 20th Conference on Natural Language Processing (KONVENS 2024), p. 149-158
Paper in proceeding
2023
Open Access icon

QuickerCheck Implementing and Evaluating a Parallel Run-Time for QuickCheck

Robert Krook, Nicholas Smallbone, Joel Svensson et al
PROCEEDINGS OF THE 2023 35TH SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, IFL 2023
Paper in proceeding
2023

Exploring Mathematical Conjecturing with Large Language Models

Moa Johansson, Nicholas Smallbone
CEUR Workshop Proceedings. Vol. 3432, p. 62-77
Paper in proceeding
2022
Open Access icon

Testing Cyber-Physical Systems Using a Line-Search Falsification Method

Zahra Ramezani, Koen Claessen, Nicholas Smallbone et al
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Vol. 41 (8), p. 2393-2406
Journal article
2021
Open Access icon

Twee: An Equational Theorem Prover

Nicholas Smallbone
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12699 LNAI, p. 602-613
Paper in proceeding
Show project
2021
Open Access icon

Automated Conjecturing in QuickSpec

Moa Johansson, Nicholas Smallbone
1 st Mathematical Reasoning in General Artificial Intelligence Workshop, ICLR 2021.
Paper in proceeding
2021
Open Access icon

Conjectures, tests and proofs: An overview of theory exploration

Moa Johansson, Nicholas Smallbone
Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol. 341, p. 1-16
Paper in proceeding
2020

Template-based Theory Exploration: Discovering Properties of Functional Programs by Testing

Sólrún Einarsdóttir, Nicholas Smallbone, Moa Johansson
ACM International Conference Proceeding Series, p. 67-78
Paper in proceeding
2020

Enhancing Temporal Logic Falsification with Specification Transformation and Valued Booleans

Johan Lidén Eddeland, Koen Claessen, Nicholas Smallbone et al
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Vol. 39 (12), p. 5247-5260
Journal article
Show project
Show project
2019

Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage

Markus Aronsson, Nicholas Smallbone, Mary Sheeran et al
FHPNC 2019 Proceedings of the 8th ACM SIGPLAN International Workshop on Functional , p. 34-46
Paper in proceeding
2019
Open Access icon

Testing Safety PLCs Using QuickCheck

David Thonnessen, Nicholas Smallbone, Martin Fabian et al
IEEE International Conference on Automation Science and Engineering. Vol. 2019-August, p. 1388-1393
Paper in proceeding
2019
Open Access icon

Inferring Morphological Rules from Small Examples using 0/1 Linear Programming

Ann Lillieström, Koen Claessen, Nicholas Smallbone
22nd Nordic Conference on Computational Linguistics (NoDaLiDa), p. 164-174
Paper in proceeding
2019
Open Access icon

Evaluating Two Semantics for Falsification using an Autonomous Driving Example

Zahra Ramezani, Nicholas Smallbone, Martin Fabian et al
IEEE International Conference on Industrial Informatics (INDIN). Vol. 2019-July, p. 386-391
Paper in proceeding
Show project
2018
Open Access icon

Applying valued booleans in testing of cyber-physical systems

Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland et al
Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018, p. 8-9
Paper in proceeding
2018

Understanding formal specifications through good examples

Alex Gerdes, John Hughes, Nicholas Smallbone et al
Erlang 2018 - Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, co-located with ICFP 2018, p. 13-24
Paper in proceeding
Show project
Show project
Show project
2018
Open Access icon

Efficient Encodings of First-Order Horn Formulas in Equational Logic

Koen Lindström Claessen, Nicholas Smallbone
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10900 LNAI, p. 388-404
Paper in proceeding
Show project
2018
Open Access icon

Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems

Koen Lindström Claessen, Nicholas Smallbone, Johan Lidén Eddeland et al
IFAC-PapersOnLine. Vol. 51 (7), p. 408-415
Paper in proceeding
Show project
Show project
2017

QuickSpec: a lightweight theory exploration tool for programmers (system demonstration)

Maximilian Algehed, Koen Lindström Claessen, Moa Johansson et al
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 52 (10), p. 38-39
Journal article
2017

Quick Specifications for the Busy Programmer

Nicholas Smallbone, Moa Johansson, Koen Lindström Claessen et al
Journal of Functional Programming. Vol. 27
Journal article
2017

QuickSpec: A lightweight theory exploration tool for programmers (system demonstration)

Maximilian Algehed, Koen Claessen, Moa Johansson et al
Haskell 2017 - Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2017, p. 38-39
Paper in proceeding
2016
Open Access icon

Encoding monomorphic and polymorphic types

Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu et al
Logical Methods in Computer Science. Vol. 12 (4)
Journal article
2016
Open Access icon

Find More Bugs with QuickCheck!

John Hughes, Ulf Norell, Nicholas Smallbone et al
11th IEEE/ACM International Workshop on Automation of Software Test (AST 2016), p. 71-77
Paper in proceeding
2015
Open Access icon

Linking Unit Tests and Properties

Alex Gerdes, John Hughes, Nicholas Smallbone et al
Erlang Workshop, 2015-09-04, Vancouver, p. 19-26
Paper in proceeding
2015
Open Access icon

TIP: Tons of Inductive Problems

Koen Lindström Claessen, Moa Johansson, Dan Rosén et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9150, p. 332-336
Paper in proceeding
2015
Open Access icon

Tip: Tools for inductive provers

Dan Rosén, Nicholas Smallbone
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9450, p. 219-232
Paper in proceeding
2014
Open Access icon

Hipster: Integrating theory exploration in a proof assistant

Moa Johansson, Dan Rosén, Nicholas Smallbone et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8543 LNAI, p. 108-122
Paper in proceeding
2014

Compiling Linear Logic using Continuations

Jean-Philippe Bernardy, Dan Rosén, Nicholas Smallbone
Preprint
2014
Open Access icon

An expressive semantics of mocking

Josef Svenningsson, Hans Svensson, Nicholas Smallbone et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 8411 LNCS, p. 385-399
Paper in proceeding
2013
Open Access icon

Encoding Monomorphic and Polymorphic Types

Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7795 LNCS, p. 493-507
Paper in proceeding
2013
Open Access icon

Automating Inductive Proofs using Theory Exploration

Koen Lindström Claessen, Dan Rosén, Moa Johansson et al
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7898 LNAI, p. 392-406
Paper in proceeding
2013
Open Access icon

Lightweight verification of functional programs

Nicholas Smallbone
Doctoral thesis
2011
Open Access icon

Property-based testing for functional programs

Nicholas Smallbone
Licentiate thesis
2011
Open Access icon

Accelerating race condition detection through procrastination

Thomas Arts, John Hughes, Ulf Norell et al
Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011, p. 14-22
Paper in proceeding
2011
Open Access icon

Sort it out with monotonicity: translating between many-sorted and unsorted first-order logic

Koen Lindström Claessen, Ann Lillieström, Nicholas Smallbone
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6803 LNAI, p. 207-221
Paper in proceeding
2010
Open Access icon

Ranking programs using black box testing

Koen Lindström Claessen, John Hughes, Michal Palka et al
Proceedings - International Conference on Software Engineering, p. 103-110
Paper in proceeding
2010
Open Access icon

QuickSpec: Guessing Formal Specifications using Testing

Koen Lindström Claessen, Nicholas Smallbone, John Hughes
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6143, p. 6-21
Paper in proceeding
2009

Finding Race Conditions in Erlang with QuickCheck and PULSE

Koen Claessen, Michal Palka, Nicholas Smallbone et al
ACM SIGPLAN international conference on Functional programming
Paper in proceeding
2009

Finding race conditions in erlang with quickcheck and PULSE

Koen Lindström Claessen, Michal Palka, Nicholas Smallbone et al
ACM SIGPLAN Notices. Vol. 44 (9), p. 149-160
Journal article
2009
Open Access icon

Finding Race Conditions in Erlang with Quick Check and PULSE

Koen Lindström Claessen, Michal Palka, Nicholas Smallbone et al
ICFP'09: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, p. 149-160
Paper in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

Showing 2 research projects

2022–2023

OptiFun: Optimising Fusion with Functional Programming

Patrik Jansson Functional Programming
Ida Ekmark Subatomic, High Energy and Plasma Physics
Tünde-Maria Fülöp Subatomic, High Energy and Plasma Physics
Nicola Botta Functional Programming
Istvan Pusztai Subatomic, High Energy and Plasma Physics
Nicholas Smallbone Functional Programming
Chalmers

2017–2022

Systematic testing of cyber-physical systems (SyTeC)

John Hughes Functional Programming
Koen Lindström Claessen Functional Programming
Martin Fabian Automation
Mary Sheeran Functional Programming
Bengt Lennartson Automation
Nicholas Smallbone Functional Programming
Zahra Ramezani Automation
Knut Åkesson Automation
Swedish Research Council (VR)

30 publications exist
There might be more projects where Nicholas Smallbone participates, but you have to be logged in as a Chalmers employee to see them.

Feedback and support

If you have questions, need help, find a bug or just want to give us feedback you may use this form, or contact us per e-mail research.lib@chalmers.se.

About

Research.chalmers.se contains research information from Chalmers University of Technology, Sweden. It includes information on projects, publications, research funders and collaborations.

More about coverage period and what is publicly available

Privacy and cookies

Accessibility

Citation Style Language
citeproc-js (Frank Bennett)

Links

Chalmers Library
Chalmers Research
Chalmers Student Theses

Chalmers University of Technology

SE-412 96 GOTHENBURG, SWEDEN
PHONE: +46 (0)31-772 10 00
WWW.CHALMERS.SE