John Hughes

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 18

Top Topics

Programming Exercises

Desirable Properties

Top Venues

Erlang Workshop

Softw. Qual. J.

Publications

Stefan Karlsson, John Hughes, Robbert Jongeling, Adnan Causevic, Daniel Sundmark
Exploring API behaviours through generated examples. Softw. Qual. J. 32 (2) (2024)
Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce
Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing. ESOP (2021)
John Hughes
How to Specify It! - A Guide to Writing Properties of Pure Functions. TFP (2019)
Wojciech Turek, Aleksander Byrski, John Hughes, Kevin Hammond, Marek Zaionc
Special issue on Parallel and distributed computing based on the functional programming paradigm. Concurr. Comput. Pract. Exp. 30 (22) (2018)
Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, Meng Wang
Understanding formal specifications through good examples. Erlang Workshop (2018)
Aleksander Byrski, Katarzyna Rycerz, John Hughes, Kevin Hammond
Special section on functional paradigm for high performance computing. Future Gener. Comput. Syst. 79 (2018)
Agustín Mista, Alejandro Russo, John Hughes
Branching Processes for QuickCheck Generators. CoRR (2018)
Nachiappan Valliappan, John Hughes
Typing the wild in Erlang. Erlang Workshop (2018)
Agustín Mista, Alejandro Russo, John Hughes
Branching processes for QuickCheck generators. Haskell@ICFP (2018)
Wojciech Mostowski, Thomas Arts, John Hughes
Modelling of Autosar Libraries for Large Scale Testing. MARS@ETAPS (2017)
Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
Beginner's luck: a language for property-based generators. POPL (2017)
John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts
Find more bugs with QuickCheck! AST@ICSE (2016)
Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis
Testing noninterference, quickly. J. Funct. Program. 26 (2016)
Clara Benac Earle, Lars-Åke Fredlund, John Hughes
Automatic Grading of Programming Exercises using Property-Based Testing. ITiCSE (2016)
John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell
Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. ICST (2016)
John Hughes
Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane. A List of Successes That Can Change the World (2016)
Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
Beginner's Luck: A Language for Property-Based Generators. CoRR (2016)
Thomas Arts, John Hughes
How Well are Your Requirements Tested? ICST (2016)
Burke Fetscher, Koen Claessen, Michal H. Palka, John Hughes, Robert Bruce Findler
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. ESOP (2015)
Thomas Arts, Kirill Bogdanov, Alex Gerdes, John Hughes
Graphical editing support for QuickCheck models. ICST Workshops (2015)
Thomas Arts, John Hughes, Ulf Norell, Hans Svensson
Testing AUTOSAR software with QuickCheck. ICST Workshops (2015)
Alex Gerdes, John Hughes, Nicholas Smallbone, Meng Wang
Linking unit tests and properties. Erlang Workshop (2015)
Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis
Testing Noninterference, Quickly. CoRR (2014)
Hong Zhu, Daniel Hoffman, John Hughes, Dianxiang Xu
Toward a mature industrial practice of software test automation. Softw. Qual. J. 22 (2) (2014)
Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes
An Expressive Semantics of Mocking. FASE (2014)
Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos
Testing noninterference, quickly. ICFP (2013)
Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson
Accelerating race condition detection through procrastination. Erlang Workshop (2011)
Michal H. Palka, Koen Claessen, Alejandro Russo, John Hughes
Testing an optimising compiler by generating random lambda terms. AST (2011)
Koen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson
Ranking programs using black box testing. AST (2010)
John Hughes, Ulf Norell, Jérôme Sautret
Using temporal relations to specify and test an instant messaging server. AST (2010)
Koen Claessen, Nicholas Smallbone, John Hughes
QuickSpec: Guessing Formal Specifications Using Testing. TAP@TOOLS (2010)
John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson
Property-Based Testing - The ProTest Project. FMCO (2009)
Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger
Finding race conditions in Erlang with QuickCheck and PULSE. ICFP (2009)
John Hughes
Software Testing with QuickCheck. CEFP (2009)
Thomas Arts, Laura M. Castro, John Hughes
Testing Erlang data types with quviq quickcheck. Erlang Workshop (2008)
Alejandro Russo, Koen Claessen, John Hughes
A library for light-weight information-flow security in haskell. Haskell (2008)
John Hughes
Experiences from teaching functional programming at Chalmers. ACM SIGPLAN Notices 43 (11) (2008)
John Hughes
QuickCheck Testing for Fun and Profit. PADL (2007)
Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler
A history of Haskell: being lazy with class. HOPL (2007)
Ta-Chung Tsai, Alejandro Russo, John Hughes
A Library for Secure Multi-threaded Information Flow in Haskell. CSF (2007)
Thomas Arts, John Hughes, Joakim Johansson, Ulf T. Wiger
Testing telecoms software with quviq QuickCheck. Erlang Workshop (2006)
Alejandro Russo, John Hughes, David A. Naumann, Andrei Sabelfeld
Closing Internal Timing Channels by Transformation. ASIAN (2006)
Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons
Fast and loose reasoning is morally correct. POPL (2006)
Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
Verifying haskell programs using constructive type theory. Haskell (2005)
John Hughes
Programming with Arrows. Advanced Functional Programming (2004)
John Hughes
Global variables in Haskell. J. Funct. Program. 14 (5) (2004)
Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace
Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. Advanced Functional Programming (2002)
Koen Claessen, John Hughes
Testing monadic code with QuickCheck. ACM SIGPLAN Notices 37 (12) (2002)
Koen Claessen, John Hughes
Testing monadic code with QuickCheck. Haskell (2002)
Rogardt Heldal, John Hughes
Binding-Time Analysis for Polymorphic Types. Ershov Memorial Conference (2001)
Koen Claessen, John Hughes
QuickCheck: a lightweight tool for random testing of Haskell programs. ICFP (2000)
John Hughes
Generalising monads to arrows. Sci. Comput. Program. 37 (1-3) (2000)
John Hughes
The Correctness of Type Specialisation. ESOP (2000)
Rogardt Heldal, John Hughes
Extending a partial evaluator which supports separate compilation. Theor. Comput. Sci. 248 (1-2) (2000)
John Hughes
A Type Specialisation Tutorial. Partial Evaluation (1998)
John Hughes
Generalising Monads (Abstract). MPC (1998)
Dirk Dussart, Rogardt Heldal, John Hughes
Module-Sensitive Program Specialisation. PLDI (1997)
Rogardt Heldal, John Hughes
Partial Evaluation and Separate Compilation. PEPM (1997)
John Hughes
The Design of a Pretty-printing Library. Advanced Functional Programming (1995)
John Hughes, Andrew Moran
Making Choices Lazily. FPCA (1995)
John Hughes, John Launchbury
Reversing Abstract Interpretations. Sci. Comput. Program. 22 (3) (1994)
Simon L. Peyton Jones, John Hughes, John Launchbury
How to Give a Good Research Talk. ACM SIGPLAN Notices 28 (11) (1993)
Alex Ferguson, John Hughes
Fast Abstract Interpretation Using Sequential Algorithms. WSA (1993)
John Hughes, John Launchbury
Projections for Polymorphic First-Order Strictness Analysis. Math. Struct. Comput. Sci. 2 (3) (1992)
Paul Hudak, Simon L. Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph H. Fasel, María M. Guzmán, Kevin Hammond, John Hughes, Thomas Johnsson, Richard B. Kieburtz, Rishiyur S. Nikhil, Will Partain, John Peterson
Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. ACM SIGPLAN Notices 27 (5) (1992)
John Hughes, Andrew Moran
A Semantics for Locally Bottom-Avoiding Choice. Functional Programming (1992)
John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler
Avoiding Unnecessary Updates. Functional Programming (1992)
John Hughes, John Launchbury
Reversing Abstract Interpretations. ESOP (1992)
Alex Ferguson, John Hughes
Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary). Functional Programming (1992)
John Hughes
Pretty-printing: An Exercise in Functional Programming. MPC (1992)
John Hughes, Alex Ferguson
A Loop-Detecting Interpreter for Lazy, Higher-Order Programs. Functional Programming (1992)
John Hughes, John Launchbury
Relational Reversal of Abstract Interpretation. J. Log. Comput. 2 (4) (1992)
Ryszard Kubiak, John Hughes, John Launchbury
Implementing Projection-based Strictness Analysis. Functional Programming (1991)
Carsten Kehler Holst, John Hughes
A Loop-Detecting Interpreter for Lazy Programs. Functional Programming (1991)
John Hughes, John Launchbury
Towards Relating Forwards and Backwards Analyses. Functional Programming (1990)
Carsten Kehler Holst, John Hughes
Towards Binding-Time Improvement for Free. Functional Programming (1990)
Gebreselassie Baraki, John Hughes
Abstract Interpretation of Polymorphic Functions. Functional Programming (1989)
John Hughes
Projections for Polymorphic Strictness Analysis. Category Theory and Computer Science (1989)
John Hughes
Why Functional Programming Matters. Comput. J. 32 (2) (1989)
John Hughes, John O'Donnell
Expressing and Reasoning About Non-Deterministic Functional Programs. Functional Programming (1989)
Guy Argo, John Hughes, Philip W. Trinder, Jon Fairbairn, John Launchbury
Implementing Functional Databases. DBPL (1987)
John Hughes
A Distributed Garbage Collection Algorithm. FPCA (1985)
John Hughes
Lazy Memo-functions. FPCA (1985)