John Hughes

Full Professor at Functional Programming

Source: chalmers.se

Contact Details ORCID

Publications (54)
Projects (4)

Showing 54 publications

2021

Preface

Viktória Zsók, John Hughes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12834 LNCS

Other conference contribution

2021

Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing

Harrison Goldstein, John Hughes, L. Lampropoulos et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12648 LNCS, p. 264-291

Paper in proceeding

Show project

2020

How to Specify It!: A Guide to Writing Properties of Pure Functions

John Hughes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 12053, p. 58-83

Paper in proceeding

Show project

2019

Preface (Lecture Notes in Computer Science)

David Van Horn, John Hughes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10447 LNCS

Other text in scientific journal

2018

Branching Processes for QuickCheck Generators

Claudio Agustin Mista, Alejandro Russo, John Hughes

Haskell 2018 - Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, co-located with ICFP 2018. Vol. 53 (7), p. 1-13

Paper in proceeding

2018

Typing the Wild in Erlang

Nachiappan Valliappan, John Hughes

Erlang 2018 - Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, co-located with ICFP 2018, p. 49-60

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

2018

Special section on functional paradigm for high performance computing

Aleksander Byrski, Katarzyna Rycerz, John Hughes et al

Future Generation Computer Systems. Vol. 79, p. 643-644

Other text in scientific journal

2018

Special issue on Parallel and distributed computing based on the functional programming paradigm

Wojciech Turek, Aleksander Byrski, John Hughes et al

Concurrency Computation Practice and Experience. Vol. 30 (22)

Other text in scientific journal

2017

Beginner's luck: a language for property-based generators

Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu et al

SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 52 (1), p. 114-129

Paper in proceeding

2017

Modelling of Autosar libraries for large scale testing

Wojciech Mostowski, Thomas Arts, John Hughes

Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol. 244, p. 184-199

Paper in proceeding

2016

Experiences with QuickCheck: testing the hard stuff and staying sane

John Hughes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9600, p. 169-186

Paper in proceeding

2016

How well are your requirements tested?

John Hughes, Thomas Arts

Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, p. 244-254

Paper in proceeding

2016

Mysteries of Dropbox: Property-based Testing of a Distributed Synchronization Service

John Hughes, Benjamin C. Pierce, Thomas Arts et al

Proceedings - 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, p. 135-145

Paper in proceeding

2016

Testing noninterference, quickly

C. Hritcu, L. Lampropoulos, A. Spector-Zabusky et al

Journal of Functional Programming. Vol. 26

Journal article

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

2015

How functional programming mattered

Z. J. Hu, John Hughes, M. Wang

National Science Review. Vol. 2 (3), p. 349-370

Review article

2015

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

Testing AUTOSAR software with QuickCheck

Thomas Arts, John Hughes, Ulf Norell et al

2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings

Paper in proceeding

2015

Graphical editing support for QuickCheck models

Thomas Arts, K. Bogdanov, Alex Gerdes et al

2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings

Paper in proceeding

2015

Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System

B. Fetscher, Koen Lindström Claessen, Michal Palka et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9032, p. 383-405

Journal article

2014

Toward a mature industrial practice of software test automation

H. Zhu, D. Hoffman, John Hughes et al

Software Quality Journal. Vol. 22 (2), p. 239-240

Other text in scientific journal

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

2013

Testing noninterference, quickly

C. Hritcu, John Hughes, Benjamin C. Pierce et al

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP. Vol. 2013, p. 455-468

Paper in proceeding

2012

Erlang'12 - Proceedings of the ACM SIGPLAN Erlang Workshop: Foreword

T. Hoffmann, John Hughes

11th ACM SIGPLAN Erlang Workshop, Erlang 2012. Copenhagen, 14 September 2012

Other conference contribution

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

2011

Testing an Optimising Compiler by Generating Random Lambda Terms

Michal Palka, Koen Lindström Claessen, Alejandro Russo et al

International Workshop on Automation of Software Test

Paper in proceeding

2011

QuickCheck: a lightweight tool for random testing of Haskell programs

Koen Lindström Claessen, John Hughes

SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 46 (4), p. 53-64

Journal article

2011

Testing a database for race conditions with QuickCheck: None

John Hughes, H. Bolinder

Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011, p. 72-77

Paper in proceeding

2010

Property-Based Testing - The ProTest Project

John Derrick, Neil Walkinshaw, Thomas Arts et al

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6286, p. 250-271

Journal article

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

2010

Software testing with QuickCheck

John Hughes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 6299, p. 183-223

Paper in proceeding

2010

Using temporal relations to specify and test an instant messaging server

John Hughes, Ulf Norell, J. Sautret

Proceedings - International Conference on Software Engineering, p. 95-102

Other conference contribution

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

2009

A Library for Light-Weight Information-Flow Security in Haskell

Alejandro Russo, Koen Lindström Claessen, John Hughes

SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 44 (2), p. 13-24

Journal article

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

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

2008

A Library for Light-Weight Information-Flow Security in Haskell

Alejandro Russo, Koen Lindström Claessen, John Hughes

1st ACM SIGPLAN Haskell Symposium, Haskell'08; Victoria, BC; Canada; 25 September 2008 through 25 September 2008, p. 13-24

Paper in proceeding

2008

Experiences from teaching functional programming at Chalmers

John Hughes

SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 43 (11), p. 77-80

Journal article

2007

Closing Internal Timing Channels by Transformation

Alejandro Russo, John Hughes, David Naumann et al

Proceedings of the 11th Annual Asian Computing Science Conference

Paper in proceeding

2007

A Library for Secure Multi-threaded Information Flow in Haskell

Tsa-chung Tsai, Alejandro Russo, John Hughes

Proceedings of the 20th IEEE Computer Security Foundations Symposium. IEEE Computer Society Press.

Paper in proceeding

2007

Exposed Datapath for Efficient Computing

Magnus Björk, Magnus Själander, Lars Svensson et al

2007 HiPEAC Workshop on Reconfigurable Computing

Paper in proceeding

2006

Fast and Loose Reasoning is Morally Correct

Nils Anders Danielsson, John Hughes, Patrik Jansson et al

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL 2006), p. 206-217

Paper in proceeding

2006

Exposed Datapath for Efficient Computing

Magnus Björk, Magnus Själander, Lars Svensson et al

Report

2005

Verifying Haskell Programs Using Constructive Type Theory

Andreas Abel, Marcin Benke, Ana Bove et al

Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell

Paper in proceeding

2005

Testing Implementations of Formally Verified Algorithms

Thomas Arts, Koen Lindström Claessen, John Hughes et al

Proceedings of the 5th Conference on Software Engineering Research and Practice in Sweden

Paper in proceeding

2003

Specification-Based Testing with QuickCheck

John Hughes, Koen Lindström Claessen

The fun of programming - edited by Jeremy Gibbons and Oege de Moor, p. 17-40

Book chapter

2003

FlexSoC: Combining Flexibility and Efficiency in SoC Designs

John Hughes, Kjell Jeppson, Per Larsson-Edefors et al

Proceedings of 21st Norchip Conference. Vol. Riga, Latvia, p. 52-55

Paper in proceeding

2003

Industrial Challenges in Semantics

John Hughes, Nick Benton, Peter Dybjer

Report

2003

Erlang/QuickCheck

John Hughes, Thomas Arts

Ninth International Erlang/OTP User Conference, Älvsjö, Sweden. November 2003

Other conference contribution

2003

Parsing polish, step by step (functional pearl)

John Hughes, Doaitse Swierstra

ACM International Conference on Functional Programming, Uppsala, Sverige, August 2003

Other conference contribution

2002

Principal Type Specialisation

P.E.M. López, John Hughes

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, 12-14 September 2002, p. 94-105

Paper in proceeding

2002

Testing monadic code with QuickCheck

Koen Lindström Claessen, John Hughes

SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 37 (12), p. 47-59

Paper in proceeding

2000

QuickCheck: A lightweight tool for random testing of Haskell programs

Koen Lindström Claessen, John Hughes

5th ACM SIGPLAN International Conference on Functional Programming (ICFP'00); Montreal, Que, Can; ; 18 September 2000 through 21 September 2000. Vol. 35 (9), p. 268-279

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 4 research projects

2018–

Octopi: Secure Programming for the Internet of Things

Koen Lindström Claessen Functional Programming

Carl-Johan Seger Functional Programming

John Hughes Functional Programming

Alejandro Russo Information Security

Mary Sheeran Functional Programming

Swedish Foundation for Strategic Research (SSF)

3 publications exist

2018–2023

Octopi: Säker Programering för Sakernas Internet

Alejandro Russo Information Security

Mary Sheeran Functional Programming

John Hughes Functional Programming

Koen Lindström Claessen Functional Programming

Carl-Johan Seger Functional Programming

Swedish Foundation for Strategic Research (SSF)

24 publications exist

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

2012–2015

Property-based testing of Web services (PROWESS)

Alex Gerdes Functional Programming

John Hughes Software Technology (Chalmers)

European Commission (EC)

1 publication exists

There might be more projects where John Hughes participates, but you have to be logged in as a Chalmers employee to see them.