default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJohn Hughes 0001
R. John M. Hughes
Person information
- affiliation: Chalmers University of Technology, Gothenburg, Sweden
- affiliation: Quviq AB, Gothenburg, Sweden
- affiliation (former): University of Glasgow, Computing Science Department, UK
Other persons with the same name
- John Hughes — disambiguation page
- John Hughes 0002
![[0000-0003-1538-2569]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0003-1538-2569")
— Lehigh University, Bethlehem, PA, USA (and 4 more) - John Hughes 0003 — Leeds University, School of Computer Studies, UK
- John Hughes 0004 — Speechmatics, Cambridge, Uk
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2024
[j17]Stefan Karlsson, John Hughes, Robbert Jongeling, Adnan Causevic, Daniel Sundmark:
Exploring API behaviours through generated examples. Softw. Qual. J. 32(2): 729-763 (2024)- 2018
- [j16]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) - [j15]Aleksander Byrski, Katarzyna Rycerz, John Hughes, Kevin Hammond:
Special section on functional paradigm for high performance computing. Future Gener. Comput. Syst. 79: 643-644 (2018) - 2016
- [j14]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: e4 (2016) - 2014
- [j13]Hong Zhu, Daniel Hoffman, John Hughes, Dianxiang Xu:
Toward a mature industrial practice of software test automation. Softw. Qual. J. 22(2): 239-240 (2014) - 2008
- [j12]John Hughes:
Experiences from teaching functional programming at Chalmers. ACM SIGPLAN Notices 43(11): 77-80 (2008) - 2004
- [j11]John Hughes:
Global variables in Haskell. J. Funct. Program. 14(5): 489-502 (2004) - 2002
- [j10]Koen Claessen, John Hughes:
Testing monadic code with QuickCheck. ACM SIGPLAN Notices 37(12): 47-59 (2002) - 2000
- [j9]John Hughes:
Generalising monads to arrows. Sci. Comput. Program. 37(1-3): 67-111 (2000) - [j8]Rogardt Heldal, John Hughes:
Extending a partial evaluator which supports separate compilation. Theor. Comput. Sci. 248(1-2): 99-145 (2000) - 1994
- [j7]John Hughes, John Launchbury:
Reversing Abstract Interpretations. Sci. Comput. Program. 22(3): 307-326 (1994) - 1993
- [j6]Simon L. Peyton Jones, John Hughes, John Launchbury:
How to Give a Good Research Talk. ACM SIGPLAN Notices 28(11): 9-12 (1993) - 1992
- [j5]John Hughes, John Launchbury:
Relational Reversal of Abstract Interpretation. J. Log. Comput. 2(4): 465-482 (1992) - [j4]John Hughes, John Launchbury:
Projections for Polymorphic First-Order Strictness Analysis. Math. Struct. Comput. Sci. 2(3): 301-326 (1992) - [j3]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): 1- (1992) - 1989
- [j2]John Hughes:
Why Functional Programming Matters. Comput. J. 32(2): 98-107 (1989) - 1986
- [j1]R. John M. Hughes:
A Novel Representation of Lists and its Application to the Function "reverse". Inf. Process. Lett. 22(3): 141-144 (1986)
Conference and Workshop Papers
- 2021
- [c71]Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce:
Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing. ESOP 2021: 264-291 - 2019
- [c70]John Hughes:
How to Specify It! - A Guide to Writing Properties of Pure Functions. TFP 2019: 58-83 - 2018
- [c69]Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, Meng Wang:
Understanding formal specifications through good examples. Erlang Workshop 2018: 13-24 - [c68]Nachiappan Valliappan, John Hughes:
Typing the wild in Erlang. Erlang Workshop 2018: 49-60 - [c67]Agustín Mista, Alejandro Russo, John Hughes:
Branching processes for QuickCheck generators. Haskell@ICFP 2018: 1-13 - 2017
- [c66]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: 114-129 - [c65]Wojciech Mostowski, Thomas Arts, John Hughes:
Modelling of Autosar Libraries for Large Scale Testing. MARS@ETAPS 2017: 184-199 - 2016
- [c64]John Hughes:
Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane. A List of Successes That Can Change the World 2016: 169-186 - [c63]John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts:
Find more bugs with QuickCheck! AST@ICSE 2016: 71-77 - [c62]John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell:
Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. ICST 2016: 135-145 - [c61]Thomas Arts, John Hughes:
How Well are Your Requirements Tested? ICST 2016: 244-254 - [c60]Clara Benac Earle, Lars-Åke Fredlund, John Hughes:
Automatic Grading of Programming Exercises using Property-Based Testing. ITiCSE 2016: 47-52 - 2015
- [c59]Alex Gerdes, John Hughes, Nicholas Smallbone, Meng Wang:
Linking unit tests and properties. Erlang Workshop 2015: 19-26 - [c58]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: 383-405 - [c57]Thomas Arts, Kirill Bogdanov, Alex Gerdes, John Hughes:
Graphical editing support for QuickCheck models. ICST Workshops 2015: 1-6 - [c56]Thomas Arts, John Hughes, Ulf Norell, Hans Svensson:
Testing AUTOSAR software with QuickCheck. ICST Workshops 2015: 1-4 - 2014
- [c55]Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes:
An Expressive Semantics of Mocking. FASE 2014: 385-399 - 2013
- [c54]Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos:
Testing noninterference, quickly. ICFP 2013: 455-468 - 2011
- [c53]Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson:
Accelerating race condition detection through procrastination. Erlang Workshop 2011: 14-22 - [c52]R. John M. Hughes, Hans Bolinder:
Testing a database for race conditions with QuickCheck. Erlang Workshop 2011: 72-77 - [c51]Michal H. Palka, Koen Claessen, Alejandro Russo, John Hughes:
Testing an optimising compiler by generating random lambda terms. AST@ICSE 2011: 91-97 - 2010
- [c50]John Hughes, Ulf Norell, Jérôme Sautret:
Using temporal relations to specify and test an instant messaging server. AST@ICSE 2010: 95-102 - [c49]Koen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson:
Ranking programs using black box testing. AST@ICSE 2010: 103-110 - [c48]Koen Claessen, Nicholas Smallbone, John Hughes:
QuickSpec: Guessing Formal Specifications Using Testing. TAP@TOOLS 2010: 6-21 - 2009
- [c47]John Hughes:
Software Testing with QuickCheck. CEFP 2009: 183-223 - [c46]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: 250-271 - [c45]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: 149-160 - 2008
- [c44]Thomas Arts, Laura M. Castro, John Hughes:
Testing Erlang data types with quviq quickcheck. Erlang Workshop 2008: 1-8 - [c43]Alejandro Russo, Koen Claessen, John Hughes:
A library for light-weight information-flow security in haskell. Haskell 2008: 13-24 - 2007
- [c42]Ta-Chung Tsai, Alejandro Russo, John Hughes:
A Library for Secure Multi-threaded Information Flow in Haskell. CSF 2007: 187-202 - [c41]Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler:
A history of Haskell: being lazy with class. HOPL 2007: 1-55 - [c40]John Hughes:
QuickCheck Testing for Fun and Profit. PADL 2007: 1-32 - 2006
- [c39]Alejandro Russo, John Hughes, David A. Naumann, Andrei Sabelfeld:
Closing Internal Timing Channels by Transformation. ASIAN 2006: 120-135 - [c38]Thomas Arts, John Hughes, Joakim Johansson, Ulf T. Wiger:
Testing telecoms software with quviq QuickCheck. Erlang Workshop 2006: 2-10 - [c37]Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons:
Fast and loose reasoning is morally correct. POPL 2006: 206-217 - 2005
- [c36]Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell:
Verifying haskell programs using constructive type theory. Haskell 2005: 62-73 - 2004
- [c35]John Hughes:
Programming with Arrows. Advanced Functional Programming 2004: 73-129 - 2003
- [c34]R. John M. Hughes, S. Doaitse Swierstra:
Polish parsers, step by step. ICFP 2003: 239-248 - 2002
- [c33]Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace:
Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. Advanced Functional Programming 2002: 59-99 - [c32]Koen Claessen, John Hughes:
Testing monadic code with QuickCheck. Haskell 2002: 65-77 - 2001
- [c31]Rogardt Heldal, John Hughes:
Binding-Time Analysis for Polymorphic Types. Ershov Memorial Conference 2001: 191-204 - [c30]Walid Taha, Henning Makholm, John Hughes:
Tag Elimination and Jones-Optimality. PADO 2001: 257-275 - 2000
- [c29]Nick Benton, John Hughes, Eugenio Moggi:
Monads and Effects. APPSEM 2000: 42-122 - [c28]John Hughes:
The Correctness of Type Specialisation. ESOP 2000: 215-229 - [c27]Koen Claessen, John Hughes:
QuickCheck: a lightweight tool for random testing of Haskell programs. ICFP 2000: 268-279 - 1999
- [c26]John Hughes, Lars Pareto:
Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming. ICFP 1999: 70-81 - 1998
- [c25]John Hughes:
Generalising Monads (Abstract). MPC 1998: 6 - [c24]John Hughes:
A Type Specialisation Tutorial. Partial Evaluation 1998: 293-325 - 1997
- [c23]Rogardt Heldal, John Hughes:
Partial Evaluation and Separate Compilation. PEPM 1997: 1-11 - [c22]Dirk Dussart, Rogardt Heldal, John Hughes:
Module-Sensitive Program Specialisation. PLDI 1997: 206-214 - 1996
- [c21]John Hughes, Lars Pareto, Amr Sabry:
Proving the Correctness of Reactive Systems Using Sized Types. POPL 1996: 410-423 - 1995
- [c20]John Hughes:
The Design of a Pretty-printing Library. Advanced Functional Programming 1995: 53-96 - [c19]John Hughes, Andrew Moran:
Making Choices Lazily. FPCA 1995: 108-119 - 1993
- [c18]Alex Ferguson, John Hughes:
Fast Abstract Interpretation Using Sequential Algorithms. WSA 1993: 45-59 - 1992
- [c17]John Hughes, John Launchbury:
Reversing Abstract Interpretations. ESOP 1992: 269-286 - [c16]Alex Ferguson, John Hughes:
Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary). Functional Programming 1992: 57-61 - [c15]John Hughes, Alex Ferguson:
A Loop-Detecting Interpreter for Lazy, Higher-Order Programs. Functional Programming 1992: 85-101 - [c14]John Hughes, Andrew Moran:
A Semantics for Locally Bottom-Avoiding Choice. Functional Programming 1992: 102-112 - [c13]John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler:
Avoiding Unnecessary Updates. Functional Programming 1992: 144-153 - [c12]John Hughes:
Pretty-printing: An Exercise in Functional Programming. MPC 1992: 11-13 - 1991
- [c11]Carsten Kehler Holst, John Hughes:
A Loop-Detecting Interpreter for Lazy Programs. Functional Programming 1991: 164-176 - [c10]Ryszard Kubiak, John Hughes, John Launchbury:
Implementing Projection-based Strictness Analysis. Functional Programming 1991: 207-224 - 1990
- [c9]Carsten Kehler Holst, John Hughes:
Towards Binding-Time Improvement for Free. Functional Programming 1990: 83-100 - [c8]John Hughes, John Launchbury:
Towards Relating Forwards and Backwards Analyses. Functional Programming 1990: 101-113 - 1989
- [c7]John Hughes:
Projections for Polymorphic Strictness Analysis. Category Theory and Computer Science 1989: 82-100 - [c6]Gebreselassie Baraki, John Hughes:
Abstract Interpretation of Polymorphic Functions. Functional Programming 1989: 31-40 - [c5]Alex Ferguson, R. John M. Hughes:
An Iterative Powerdomain Construction. Functional Programming 1989: 41-55 - [c4]John Hughes, John O'Donnell:
Expressing and Reasoning About Non-Deterministic Functional Programs. Functional Programming 1989: 308-328 - 1987
- [c3]Guy Argo, John Hughes, Philip W. Trinder, Jon Fairbairn, John Launchbury:
Implementing Functional Databases. DBPL 1987: 165-176 - 1985
- [c2]John Hughes:
Lazy Memo-functions. FPCA 1985: 129-146 - [c1]John Hughes:
A Distributed Garbage Collection Algorithm. FPCA 1985: 256-271
Parts in Books or Collections
- 2020
- [p1]Leonidas Lampropoulos, Benjamin C. Pierce, Li-yao Xia, Diane Gallois-Wong, Catalin Hritcu, John Hughes:
Luck: A Probabilistic Language for Testing. Foundations of Probabilistic Programming 2020: 449-488
Editorship
- 2021
- [e8]Viktória Zsók, John Hughes:
Trends in Functional Programming - 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers. Lecture Notes in Computer Science 12834, Springer 2021, ISBN 978-3-030-83977-2 [contents] - 2020
- [e7]Aleksander Byrski, John Hughes:
Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12222, Springer 2020, ISBN 978-3-030-57760-5 [contents] - 2019
- [e6]David Van Horn, John Hughes:
Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10447, Springer 2019, ISBN 978-3-030-14804-1 [contents] - 2012
- [e5]Daniel Hoffman, John Hughes, Dianxiang Xu:
7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, June 2-3, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-1821-1 [contents] - 2004
- [e4]Thorsten Altenkirch, Martin Hofmann, John Hughes:
Dependently Typed Programming, 12.09. - 17.09.2004. Dagstuhl Seminar Proceedings 04381, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany 2004 [contents] - 2002
- [e3]Rex L. Page, John Hughes:
Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002. ACM 2002, ISBN 1-58113-592-0 [contents] - 1991
- [e2]John Hughes:
Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings. Lecture Notes in Computer Science 523, Springer 1991, ISBN 3-540-54396-1 [contents] - 1990
- [e1]Kei Davis, John Hughes:
Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK. Workshops in Computing, Springer 1990, ISBN 3-540-19609-9 [contents]
Informal and Other Publications
- 2023
- [i5]Stefan Karlsson, John Hughes, Robbert Jongeling, Adnan Causevic, Daniel Sundmark:
Exploring API Behaviours Through Generated Examples. CoRR abs/2308.15210 (2023) - 2018
- [i4]Agustín Mista, Alejandro Russo, John Hughes:
Branching Processes for QuickCheck Generators. CoRR abs/1808.01520 (2018) - 2016
- [i3]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 abs/1607.05443 (2016) - 2014
- [i2]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 abs/1409.0393 (2014) - 2004
- [i1]Thorsten Altenkirch, Martin Hofmann, John Hughes:
04381 Abstracts Collection - Dependently Typed Programming. Dependently Typed Programming 2004
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-11-04 00:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
