Nicholas Smallbone

Forskare vid Funktionell programmering

Källa: chalmers.se
gravatar.com image

Visar 40 publikationer

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

Exploring Mathematical Conjecturing with Large Language Models

Moa Johansson, Nicholas Smallbone
CEUR Workshop Proceedings. Vol. 3432, p. 62-77
Paper i 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
Artikel i vetenskaplig tidskrift
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 i proceeding
Visa projekt
2021
Open Access icon

Automated Conjecturing in QuickSpec

Moa Johansson, Nicholas Smallbone
1 st Mathematical Reasoning in General Artificial Intelligence Workshop, ICLR 2021.
Paper i 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 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
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
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 i 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 i 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 i proceeding
Visa projekt
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 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
Visa projekt
Visa projekt
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 i proceeding
Visa projekt
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 i proceeding
Visa projekt
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
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)
Artikel i vetenskaplig tidskrift
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 i 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 i 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 i 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 i 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 i 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 i 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 i 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 i proceeding
2013
Open Access icon

Lightweight verification of functional programs

Nicholas Smallbone
Doktorsavhandling
2011
Open Access icon

Property-based testing for functional programs

Nicholas Smallbone
Licentiatavhandling
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 i 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 i 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 i 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 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
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 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.

Feedback och support

Om du har frågor, behöver hjälp, hittar en bugg eller vill ge feedback kan du göra det här nedan. Du når oss också direkt per e-post research.lib@chalmers.se.

Om tjänsten

Research.chalmers.se innehåller information om forskning på Chalmers, publikationer och projekt inklusive information om finansiärer och samarbetspartners.

Läs mer om tjänsten, täckningsgrad och vilka som kan se informationen

Personuppgifter och cookies

Tillgänglighet

Citation Style Language
citeproc-js (Frank Bennett)

Länkar

Chalmers bibliotek
Chalmers forskning
Chalmers examensarbeten

Chalmers tekniska högskola

412 96 GÖTEBORG
TELEFON: 031-772 10 00
WWW.CHALMERS.SE