BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Estonia
1 × Germany
1 × Hungary
1 × Italy
1 × Japan
1 × Spain
1 × Sweden
2 × The Netherlands
3 × United Kingdom
5 × France
6 × USA
Collaborated with:
∅ K.Claessen J.Launchbury L.Pareto R.Heldal D.Dussart A.Russo N.Smallbone P.E.M.López A.Moran A.Ferguson U.Norell M.H.Palka P.Thiemann A.Sabry D.McFall G.Sleith A.Mista H.Svensson T.Arts C.Hritcu B.C.Pierce L.Lampropoulos N.A.Danielsson P.Jansson J.Gibbons B.Fetscher R.B.Findler C.Runciman O.Chitil M.Wallace A.A.0001 M.Benke A.Bove J.Svenningsson Diane Gallois-Wong L.Xia A.Spector-Zabusky D.Vytiniotis A.A.d.Amorim U.T.Wiger
Talks about:
quick (8) type (7) program (6) check (6) test (6) use (5) specialis (3) interpret (3) abstract (3) generat (3)

Person: John Hughes

DBLP DBLP: Hughes:John

Facilitated 1 volumes:

FPCA 1991Ed

Contributed to:

ESOP 20152015
FASE 20142014
ICFP 20132013
TAP 20102010
CEFP 20092009
ICFP 20092009
PADL 20072007
POPL 20062006
AFP 20042004
AFP 20022002
ASIA-PEPM 20022002
ESOP 20002000
ICFP 20002000
ICFP 19991999
ICFP 19971997
PEPM 19971997
PLDI 19971997
POPL 19961996
AFP 19951995
FPCA 19951995
SEKE 19931993
WSA 19931993
ESOP 19921992
ESOP 19921994
FPCA 19851985
Haskell 20052005
Haskell 20082008
Haskell 20182018
POPL 20172017

Wrote 30 papers:

ESOP-2015-FetscherCPHF #automation #generative #random #type system
Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System (BF, KC, MHP, JH, RBF), pp. 383–405.
FASE-2014-SvenningssonSSANH #semantics
An Expressive Semantics of Mocking (JS, HS, NS, TA, UN, JH), pp. 385–399.
ICFP-2013-HritcuHPSVAL #testing
Testing noninterference, quickly (CH, JH, BCP, ASZ, DV, AAdA, LL), pp. 455–468.
TAP-2010-ClaessenSH #named #specification #testing #using
QuickSpec: Guessing Formal Specifications Using Testing (KC, NS, JH), pp. 6–21.
CEFP-2009-Hughes #quickcheck #testing
Software Testing with QuickCheck (JH), pp. 183–223.
ICFP-2009-ClaessenPSHSAW #erlang #quickcheck
Finding race conditions in Erlang with QuickCheck and PULSE (KC, MHP, NS, JH, HS, TA, UTW), pp. 149–160.
PADL-2007-Hughes #quickcheck #testing
QuickCheck Testing for Fun and Profit (JH), pp. 1–32.
POPL-2006-DanielssonHJG #performance #reasoning
Fast and loose reasoning is morally correct (NAD, JH, PJ, JG), pp. 206–217.
AFP-2004-Hughes04 #programming
Programming with Arrows (JH), pp. 73–129.
AFP-2002-ClaessenRCHW02 #functional #lazy evaluation #quickcheck #source code #testing #using
Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat (KC, CR, OC, JH, MW), pp. 59–99.
ASIA-PEPM-2002-LopezH
Principal type specialisation (PEML, JH), pp. 94–105.
ESOP-2000-Hughes #correctness
The Correctness of Type Specialisation (JH), pp. 215–229.
ICFP-2000-ClaessenH #haskell #lightweight #named #quickcheck #random testing #source code #testing
QuickCheck: a lightweight tool for random testing of Haskell programs (KC, JH), pp. 268–279.
ICFP-1999-HughesP #bound #embedded #ml #programming #recursion #towards
Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming (JH, LP), pp. 70–81.
ICFP-1997-DussartHT #imperative
Type Specialization for Imperative Languages (DD, JH, PT), pp. 204–216.
PEPM-1997-HeldalH #compilation #partial evaluation
Partial Evaluation and Separate Compilation (RH, JH), pp. 1–11.
PLDI-1997-DussartHH
Module-Sensitive Program Specialisation (DD, RH, JH), pp. 206–214.
POPL-1996-HughesPS #correctness #proving #using
Proving the Correctness of Reactive Systems Using Sized Types (JH, LP, AS), pp. 410–423.
AFP-1995-Hughes95 #design #library #pretty-printing
The Design of a Pretty-printing Library (JH), pp. 53–96.
FPCA-1995-HughesM
Making Choices Lazily (JH, AM), pp. 108–119.
SEKE-1993-McFallSH #object-oriented #representation #reverse engineering
Reverse Engineering Structured Code to an Object-Oriented Representation (DM, GS, JH), pp. 86–93.
WSA-1993-FergusonH #abstract interpretation #algorithm #performance #using
Fast Abstract Interpretation Using Sequential Algorithms (AF, JH), pp. 45–59.
ESOP-1992-HughesL #abstract interpretation
Reversing Abstract Interpretations (JH, JL), pp. 269–286.
ESOP-J-1992-HughesL94 #abstract interpretation
Reversing Abstract Interpretations (JH, JL), pp. 307–326.
FPCA-1985-Hughes85 #lazy evaluation
Lazy Memo-functions (JH), pp. 129–146.
FPCA-1985-Hughes85a #algorithm #distributed #garbage collection
A Distributed Garbage Collection Algorithm (JH), pp. 256–271.
Haskell-2005-AbelBBHN #haskell #source code #type system #using #verification
Verifying haskell programs using constructive type theory (AA0, MB, AB, JH, UN), pp. 62–73.
Haskell-2008-RussoCH #data flow #haskell #library #security
A library for light-weight information-flow security in haskell (AR, KC, JH), pp. 13–24.
Haskell-2018-MistaRH #branch #generative #process #quickcheck
Branching processes for QuickCheck generators (AM, AR, JH), pp. 1–13.
POPL-2017-LampropoulosGHH #generative
Beginner's luck: a language for property-based generators (LL, DGW, CH, JH, BCP, LyX), pp. 114–129.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.