John Hughes

Professor vid Funktionell programmering

Kontaktuppgifter ORCID

Publikationer (54)
Projekt (4)

Visar 54 publikationer

2021

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

Övrigt konferensbidrag

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

Visa projekt

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

Visa projekt

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

Övrig text i vetenskaplig tidskrift

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

Övrig text i vetenskaplig tidskrift

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)

Övrig text i vetenskaplig tidskrift

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

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

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

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

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

2016

Testing noninterference, quickly

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

Journal of Functional Programming. Vol. 26

Artikel i vetenskaplig tidskrift

2015

How functional programming mattered

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

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

Reviewartikel

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

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

Artikel i vetenskaplig tidskrift

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

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

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

Övrig text i vetenskaplig tidskrift

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

Övrigt konferensbidrag

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

Artikel i vetenskaplig tidskrift

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

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

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

Övrigt konferensbidrag

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

Artikel i vetenskaplig tidskrift

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

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

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

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

Artikel i vetenskaplig tidskrift

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

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

Artikel i vetenskaplig tidskrift

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

2007

Exposed Datapath for Efficient Computing

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

2007 HiPEAC Workshop on Reconfigurable Computing

Paper i proceeding

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

2006

Exposed Datapath for Efficient Computing

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

Rapport

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

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

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

Kapitel i bok

2003

Parsing polish, step by step (functional pearl)

John Hughes, Doaitse Swierstra

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

Övrigt konferensbidrag

2003

Industrial Challenges in Semantics

John Hughes, Nick Benton, Peter Dybjer

Rapport

2003

Erlang/QuickCheck

John Hughes, Thomas Arts

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

Övrigt konferensbidrag

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

2018–

Octopi: Säker Programmering för Sakernas Internet

Koen Lindström Claessen Funktionell programmering

Carl-Johan Seger Funktionell programmering

John Hughes Funktionell programmering

Alejandro Russo Informationssäkerhet

Mary Sheeran Funktionell programmering

Stiftelsen för Strategisk forskning (SSF)

1 publikation finns

2018–2023

Octopi: Säker Programering för Sakernas Internet

Alejandro Russo Informationssäkerhet

Mary Sheeran Funktionell programmering

John Hughes Funktionell programmering

Koen Lindström Claessen Funktionell programmering

Carl-Johan Seger Funktionell programmering

Stiftelsen för Strategisk forskning (SSF)

25 publikationer finns

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)

28 publikationer finns

2012–2015

Property-based testing of Web services (PROWESS)

Alex Gerdes Funktionell programmering

John Hughes Programvaruteknik

Europeiska kommissionen (EU)

1 publikation finns

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