John Hughes

Professor vid Funktionell programmering

Källa: chalmers.se
Image of John Hughes

Visar 54 publikationer

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Exposed Datapath for Efficient Computing

Magnus Björk, Magnus Själander, Lars Svensson et al
Rapport
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
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
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

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

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
2003

Parsing polish, step by step (functional pearl)

John Hughes, Doaitse Swierstra
ACM International Conference on Functional Programming, Uppsala, Sverige, August 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)

3 publikationer 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)

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

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