Publications
2011Arts, 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
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; Claessen, Koen; Russo, Alejandro; Hughes, John: Testing an Optimising Compiler by Generating Random Lambda Terms. International Workshop on Automation of Software Test,
2010Claessen, Koen; Hughes, John; Palka, Michal; Smallbone, Nicholas; Svensson, Hans: Ranking programs using black box testing. Proceedings - International Conference on Software Engineering , pp. 103-110. ISBN/ISSN: 978-160558970-1
Claessen, Koen; Smallbone, Nicholas; Hughes, John: QuickSpec: Guessing Formal Specifications using Testing. Tests and Proofs, 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings, 6143 pp. 6-21. ISBN/ISSN: 978-3-642-13976-5
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; 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
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
2009Claessen, Koen; Palka, Michal; 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.
2008Hughes, 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),
2007Bjö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.,
2006Bjö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. (Technical report - Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University;2006-21)
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
2005Abel, 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,
2003Hughes, 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.