Nicholas Smallbone

Forskare vid Funktionell programmering

Källa: chalmers.se

Kontaktuppgifter

Publikationer (37)
Projekt (2)

Visar 37 publikationer

2023

Exploring Mathematical Conjecturing with Large Language Models

Moa Johansson, Nicholas Smallbone

CEUR Workshop Proceedings. Vol. 3432, p. 62-77

Paper i proceeding

2022

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

Artikel i vetenskaplig tidskrift

2021

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 i proceeding

Visa projekt

2021

Automated Conjecturing in QuickSpec

Moa Johansson, Nicholas Smallbone

1 st Mathematical Reasoning in General Artificial Intelligence Workshop, ICLR 2021.

Paper i proceeding

2021

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 i 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 i 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

Artikel i vetenskaplig tidskrift

Visa projekt

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 i proceeding

2019

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 i proceeding

2019

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 i proceeding

2019

Evaluating Two Semantics for Falsiﬁcation using an Autonomous Driving Example

Zahra Ramezani, Nicholas Smallbone, Martin Fabian et al

IEEE International Conference on Industrial Informatics (INDIN), p. 386-391

Paper i proceeding

Visa projekt

2018

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 i 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 i proceeding

Visa projekt

2018

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, p. 388-404

Paper i proceeding

Visa projekt

2018

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 i proceeding

Visa projekt

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

Artikel i vetenskaplig tidskrift

2017

Quick Specifications for the Busy Programmer

Nicholas Smallbone, Moa Johansson, Koen Lindström Claessen et al

Journal of Functional Programming. Vol. 27

Artikel i vetenskaplig tidskrift

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 i proceeding

2016

Encoding monomorphic and polymorphic types

Jasmin Christian Blanchette, Sascha Böhme, Andrei Popescu et al

Logical Methods in Computer Science. Vol. 12 (4)

Artikel i vetenskaplig tidskrift

2016

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 i proceeding

2015

Linking Unit Tests and Properties

Alex Gerdes, John Hughes, Nicholas Smallbone et al

Erlang Workshop, 2015-09-04, Vancouver, p. 19-26

Paper i proceeding

2015

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 i proceeding

2015

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 i proceeding

2014

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, p. 108-122

Paper i proceeding

2014

Compiling Linear Logic using Continuations

Jean-Philippe Bernardy, Dan Rosén, Nicholas Smallbone

Preprint

2014

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, p. 385-399

Paper i proceeding

2013

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, p. 493-507

Paper i proceeding

2013

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, p. 392-406

Paper i proceeding

2013

Lightweight verification of functional programs

Nicholas Smallbone

Doktorsavhandling

2011

Property-based testing for functional programs

Nicholas Smallbone

Licentiatavhandling

2011

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 i proceeding

2011

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 i proceeding

2010

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 i proceeding

2010

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 i 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 i 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

Artikel i vetenskaplig tidskrift

2009

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 i proceeding

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Visar 2 forskningsprojekt

2022–2023

OptiFun: Fusionsoptimering med funktionell programmering

Patrik Jansson Funktionell programmering

Ida Ekmark Subatomär, högenergi- och plasmafysik

Tünde-Maria Fülöp Subatomär, högenergi- och plasmafysik

Nicola Botta Funktionell programmering

Istvan Pusztai Subatomär, högenergi- och plasmafysik

Nicholas Smallbone Funktionell programmering

Chalmers

2017–2022

Systematisk testning av cyberfysiska system (SyTeC)

John Hughes Funktionell programmering

Koen Lindström Claessen Funktionell programmering

Martin Fabian Automation

Mary Sheeran Funktionell programmering

Bengt Lennartson Automation

Nicholas Smallbone Funktionell programmering

Zahra Ramezani Automation

Knut Åkesson Automation

Vetenskapsrådet (VR)

30 publikationer finns

Det kan finnas fler projekt där Nicholas Smallbone medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.