Hoffmann, T.; Hughes, John: Erlang'12 - Proceedings of the ACM SIGPLAN Erlang Workshop: Foreword. 11th ACM SIGPLAN Erlang Workshop, Erlang 2012. Copenhagen, 14 September 2012, ISBN/ISSN: 978-145031575-3

Arts, Thomas; Hughes, John; Norell, Ulf; Smallbone, Nicholas; Svensson, Hans: Accelerating race condition detection through procrastination. Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011, pp. 14-22. ISBN/ISSN: 978-145030859-5

Claessen, Koen; Hughes, John: QuickCheck: a lightweight tool for random testing of Haskell programs. ACM Sigplan Notices, 46 (4) pp. 53-64.

Hughes, John; Bolinder, H.: Testing a database for race conditions with QuickCheck: None. Proceedings of the 2011 ACM SIGPLAN Erlang Workshop, Tokyo, 23 September 2011, pp. 72-77. ISBN/ISSN: 978-145030859-5

Palka, Michal H.; Claessen, Koen; Russo, Alejandro; Hughes, John: Testing an Optimising Compiler by Generating Random Lambda Terms. International Workshop on Automation of Software Test,

Claessen, Koen; Smallbone, Nicholas; Hughes, John: QuickSpec: Guessing Formal Specifications using Testing. Lecture Notes in Computer Science. 4th International Conference on Tests and Proofs, TAP 2010, Malaga, 1-2 July 2010, 6143 pp. 6-21. ISBN/ISSN: 978-3-642-13976-5

Claessen, Koen; Hughes, John; Palka, Michal H.; Smallbone, Nicholas; Svensson, Hans: Ranking programs using black box testing. Proceedings - International Conference on Software Engineering , pp. 103-110. ISBN/ISSN: 978-160558970-1

Derrick, John; Walkinshaw, Neil; Arts, Thomas; Earle, Clara Benac; Cesarini, Francesco; Fredlund, Lars-Åke; Gulias, Victor; Hughes, John; Thompson, Simon: Property-Based Testing - The ProTest Project. Lecture Notes in Computer Science Formal Methods for Components and Objects, 6286 pp. 250-271.

Hughes, John: Software testing with QuickCheck. Lecture Notes in Computer Science. 3rd Central European Functional Programming School, CEFP 2009, Komarno, 25-30 May 2009, 6299 pp. 183-223. ISBN/ISSN: 978-364217684-5

Hughes, John; Norell, Ulf; Sautret, J.: Using temporal relations to specify and test an instant messaging server. Proceedings - International Conference on Software Engineering , pp. 95-102. ISBN/ISSN: 978-160558970-1

Claessen, Koen; Palka, Michal H.; Smallbone, Nicholas; Hughes, John; Svensson, Hans; Arts, Thomas; Wiger, U.: Finding Race Conditions in Erlang with Quick Check and PULSE. ICFP'09: Proceedings of the ACM SIGPLAN International Conference on Functional Programming, pp. 149-160. ISBN/ISSN: 978-1-60558-332-7

Russo, Alejandro; Claessen, Koen; Hughes, John: A Library for Light-Weight Information-Flow Security in Haskell. ACM Sigplan Notices, 44 (2) pp. 13-24.

Hughes, John: Experiences from teaching functional programming at Chalmers. ACM Sigplan Notices, 43 (11) pp. 77-80.

Russo, Alejandro; Claessen, Koen; Hughes, John: A Library for Light-Weight Information-Flow Security in Haskell. Proceedings of 2008 Haskell Symposium (Haskell 08),

Björk, Magnus; Själander, Magnus; Svensson, Lars; Thuresson, Martin; Hughes, John; Sheeran, Mary; Jeppson, Kjell; Karlsson, Jonas; Larsson-Edefors, Per; Stenström, Per: Exposed Datapath for Efficient Computing. 2007 HiPEAC Workshop on Reconfigurable Computing,

Russo, Alejandro; Hughes, John; Naumann, David; Sabelfeld, Andrei: Closing Internal Timing Channels by Transformation. Proceedings of the 11th Annual Asian Computing Science Conference,

Tsai, Tsa-chung; Russo, Alejandro; Hughes, John: A Library for Secure Multi-threaded Information Flow in Haskell. Proceedings of the 20th IEEE Computer Security Foundations Symposium. IEEE Computer Society Press.,

Björk, Magnus; Själander, Magnus; Svensson, Lars; Thuresson, Martin; Hughes, John; Jeppson, Kjell; Karlsson, Jonas; Larsson-Edefors, Per; Sheeran, Mary; Stenström, Per: Exposed Datapath for Efficient Computing. Göteborg : Chalmers University of Technology.

Danielsson, Nils Anders; Hughes, John; Jansson, Patrik; Gibbons, Jeremy: Fast and Loose Reasoning is Morally Correct. Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL 2006), pp. 206-217. ISBN/ISSN: 1-59593-027-2

Abel, Andreas; Benke, Marcin; Bove, Ana; Hughes, John; Norell, Ulf: Verifying Haskell Programs Using Constructive Type Theory. Proceedings of the 2005 ACM SIGPLAN Workshop on Haskell, ISBN/ISSN: 1-59593-071-X

Arts, Thomas; Claessen, Koen; Hughes, John; Svensson, Hans: Testing Implementations of Formally Verified Algorithms. Proceedings of the 5th Conference on Software Engineering Research and Practice in Sweden,

Hughes, John; Jeppson, Kjell; Larsson-Edefors, Per; Sheeran, Mary; Stenström, Per; Svensson, Lars: FlexSoC: Combining Flexibility and Efficiency in SoC Designs. Proceedings of 21st Norchip Conference, Riga, Latvia pp. 52-55.

Hughes, John; Swierstra, Doaitse: Parsing polish, step by step (functional pearl). ACM International Conference on Functional Programming, Uppsala, Sverige, August 2003,

Hughes, John; Claessen, Koen: Specification-Based Testing with QuickCheck. The fun of programming - edited by Jeremy Gibbons and Oege de Moor, pp. 17-40. ISBN/ISSN: 1-4039-0772-2

Claessen, Koen; Hughes, John: Testing monadic code with QuickCheck. ACM SIGPLAN Notices, 37 (12) pp. 47-59.

López, P.E.M.; Hughes, John: Principal Type Specialisation. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, 12-14 September 2002, pp. 94-105.