John Hughes

Professor vid Chalmers, Data- och informationsteknik, Funktionell programmering

Visar 46 publikationer

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, 2nd Workshop on Models for Formal Analysis of Real Systems, MARS 2017, Uppsala, Sweden, 29 April 2017. Vol. 244, p. 184-199
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

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

Experiences with QuickCheck: testing the hard stuff and staying sane

John Hughes
Lecture Notes in Computer Science. Vol. 9600, p. 169-186
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

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. Vol. 9032, p. 383-405
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

How functional programming mattered

Z. J. Hu, John Hughes, M. Wang
National Science Review. Vol. 2 (3), p. 349-370
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. 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
Artikel i övriga tidskrifter
2013

Testing noninterference, quickly

C. Hritcu, John Hughes, Benjamin C. Pierce et al
ACM SIGPLAN Notices. Vol. 48 (9), p. 455-468
Artikel i vetenskaplig tidskrift
2013

Testing noninterference, quickly

Catalin Hritcu, John Hughes, Benjamin C. Pierce et al
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 48 (9), 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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
2010

Property-Based Testing - The ProTest Project

John Derrick, Neil Walkinshaw, Thomas Arts et al
Lecture Notes in Computer Science. 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. Vol. 6143, p. 6-21
Paper i proceeding
2010

Software testing with QuickCheck

John Hughes
Lecture Notes in Computer Science. 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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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
Konferensbidrag (offentliggjort, men ej förlagsutgivet)
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

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Projekt

2018–

Octopi: Säker Programmering för Sakernas Internet

Alejandro Russo Informationssäkerhet
John Hughes Funktionell programmering
Mary Sheeran Funktionell programmering
Koen Lindström Claessen Funktionell programmering
Carl-Johan Seger Funktionell programmering
Stiftelsen för Strategisk forskning (SSF)

2012–2015

Property-based testing of Web services (PROWESS)

John Hughes Programvaruteknik
Alex Gerdes Funktionell programmering
Europeiska kommissionen (FP7)

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)

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.