John Hughes - RankMe

98 papers A* 4A 22B 4C 5Journal 20Unranked 35

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Exploring API behaviours through generated examples. Softw. Qual. J. Stefan Karlsson, John Hughes, Robbert Jongeling, Adnan Causevic, Daniel Sundmark
2023	J	`jnl`	Exploring API Behaviours Through Generated Examples. CoRR Stefan Karlsson, John Hughes, Robbert Jongeling, Adnan Causevic, Daniel Sundmark
2021	A	`conf`	Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing. ESOP Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce
2021	—	`ed.`	Trends in Functional Programming - 22nd International Symposium, TFP 2021, Virtual Event, February 17-19, 2021, Revised Selected Papers TFP Viktória Zsók, John Hughes
2020	—	`ch.`	Luck: A Probabilistic Language for Testing. Foundations of Probabilistic Programming Leonidas Lampropoulos, Benjamin C. Pierce, Li-yao Xia, Diane Gallois-Wong, Catalin Hritcu, John Hughes
2020	—	`ed.`	Trends in Functional Programming - 21st International Symposium, TFP 2020, Krakow, Poland, February 13-14, 2020, Revised Selected Papers TFP Aleksander Byrski, John Hughes
2019	—	`conf`	How to Specify It! - A Guide to Writing Properties of Pure Functions. TFP John Hughes
2019	—	`ed.`	Trends in Functional Programming - 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers TFP David Van Horn, John Hughes
2018	J	`jnl`	Branching Processes for QuickCheck Generators. CoRR Agustín Mista, Alejandro Russo, John Hughes
2018	—	`conf`	Branching processes for QuickCheck generators. Haskell@ICFP Agustín Mista, Alejandro Russo, John Hughes
2018	J	`jnl`	Special issue on Parallel and distributed computing based on the functional programming paradigm. Concurr. Comput. Pract. Exp. Wojciech Turek, Aleksander Byrski, John Hughes, Kevin Hammond, Marek Zaionc
2018	J	`jnl`	Special section on functional paradigm for high performance computing. Future Gener. Comput. Syst. Aleksander Byrski, Katarzyna Rycerz, John Hughes, Kevin Hammond
2018	—	`conf`	Typing the wild in Erlang. Erlang Workshop Nachiappan Valliappan, John Hughes
2018	—	`conf`	Understanding formal specifications through good examples. Erlang Workshop Alex Gerdes, John Hughes, Nicholas Smallbone, Stefan Hanenberg, Sebastian Ivarsson, Meng Wang
2017	A*	`conf`	Beginner's luck: a language for property-based generators. POPL Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
2017	—	`conf`	Modelling of Autosar Libraries for Large Scale Testing. MARS Wojciech Mostowski, Thomas Arts, John Hughes
2016	B	`conf`	Automatic Grading of Programming Exercises using Property-Based Testing. ITiCSE Clara Benac Earle, Lars-Åke Fredlund, John Hughes
2016	J	`jnl`	Beginner's Luck: A Language for Property-Based Generators. CoRR Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
2016	—	`conf`	Experiences with QuickCheck: Testing the Hard Stuff and Staying Sane. A List of Successes That Can Change the World John Hughes
2016	—	`conf`	Find more bugs with QuickCheck! AST@ICSE John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts
2016	A	`conf`	How Well are Your Requirements Tested? ICST Thomas Arts, John Hughes
2016	A	`conf`	Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. ICST John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell
2016	J	`jnl`	Testing noninterference, quickly. J. Funct. Program. Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis
2015	—	`conf`	Graphical editing support for QuickCheck models. ICST Workshops Thomas Arts, Kirill Bogdanov, Alex Gerdes, John Hughes
2015	—	`conf`	Linking unit tests and properties. Erlang Workshop Alex Gerdes, John Hughes, Nicholas Smallbone, Meng Wang
2015	A	`conf`	Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. ESOP Burke Fetscher, Koen Claessen, Michal H. Palka, John Hughes, Robert Bruce Findler
2015	—	`conf`	Testing AUTOSAR software with QuickCheck. ICST Workshops Thomas Arts, John Hughes, Ulf Norell, Hans Svensson
2014	B	`conf`	An Expressive Semantics of Mocking. FASE Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes
2014	J	`jnl`	Testing Noninterference, Quickly. CoRR Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis
2014	J	`jnl`	Toward a mature industrial practice of software test automation. Softw. Qual. J. Hong Zhu, Daniel Hoffman, John Hughes, Dianxiang Xu
2013	A	`conf`	Testing noninterference, quickly. ICFP Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos
2012	—	`ed.`	7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, June 2-3, 2012 AST@ICSE Daniel Hoffman, John Hughes, Dianxiang Xu
2011	—	`conf`	Accelerating race condition detection through procrastination. Erlang Workshop Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson
2011	—	`conf`	Testing an optimising compiler by generating random lambda terms. AST@ICSE Michal H. Palka, Koen Claessen, Alejandro Russo, John Hughes
2010	—	`conf`	QuickSpec: Guessing Formal Specifications Using Testing. TAP@TOOLS Koen Claessen, Nicholas Smallbone, John Hughes
2010	—	`conf`	Ranking programs using black box testing. AST@ICSE Koen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson
2010	—	`conf`	Using temporal relations to specify and test an instant messaging server. AST@ICSE John Hughes, Ulf Norell, Jérôme Sautret
2009	A	`conf`	Finding race conditions in Erlang with QuickCheck and PULSE. ICFP Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger
2009	—	`conf`	Property-Based Testing - The ProTest Project. FMCO John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson
2009	—	`conf`	Software Testing with QuickCheck. CEFP John Hughes
2008	C	`conf`	A library for light-weight information-flow security in haskell. Haskell Alejandro Russo, Koen Claessen, John Hughes
2008	J	`jnl`	Experiences from teaching functional programming at Chalmers. ACM SIGPLAN Notices John Hughes
2008	—	`conf`	Testing Erlang data types with quviq quickcheck. Erlang Workshop Thomas Arts, Laura M. Castro, John Hughes
2007	A	`conf`	A Library for Secure Multi-threaded Information Flow in Haskell. CSF Ta-Chung Tsai, Alejandro Russo, John Hughes
2007	—	`conf`	A history of Haskell: being lazy with class. HOPL Paul Hudak, John Hughes, Simon L. Peyton Jones, Philip Wadler
2007	C	`conf`	QuickCheck Testing for Fun and Profit. PADL John Hughes
2006	—	`conf`	Closing Internal Timing Channels by Transformation. ASIAN Alejandro Russo, John Hughes, David A. Naumann, Andrei Sabelfeld
2006	A*	`conf`	Fast and loose reasoning is morally correct. POPL Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons
2006	—	`conf`	Testing telecoms software with quviq QuickCheck. Erlang Workshop Thomas Arts, John Hughes, Joakim Johansson, Ulf T. Wiger
2005	C	`conf`	Verifying haskell programs using constructive type theory. Haskell Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell
2004	—	`conf`	04381 Abstracts Collection - Dependently Typed Programming. Dependently Typed Programming Thorsten Altenkirch, Martin Hofmann, John Hughes
2004	—	`ed.`	Dependently Typed Programming, 12.09. - 17.09.2004 Dependently Typed Programming Thorsten Altenkirch, Martin Hofmann, John Hughes
2004	J	`jnl`	Global variables in Haskell. J. Funct. Program. John Hughes
2004	—	`conf`	Programming with Arrows. Advanced Functional Programming John Hughes
2002	—	`ed.`	Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002 Erlang Workshop Rex L. Page, John Hughes
2002	—	`conf`	Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat. Advanced Functional Programming Koen Claessen, Colin Runciman, Olaf Chitil, John Hughes, Malcolm Wallace
2002	C	`conf`	Testing monadic code with QuickCheck. Haskell Koen Claessen, John Hughes
2002	J	`jnl`	Testing monadic code with QuickCheck. ACM SIGPLAN Notices Koen Claessen, John Hughes
2001	—	`conf`	Binding-Time Analysis for Polymorphic Types. Ershov Memorial Conference Rogardt Heldal, John Hughes
2001	—	`conf`	Tag Elimination and Jones-Optimality. PADO Walid Taha, Henning Makholm, John Hughes
2000	J	`jnl`	Extending a partial evaluator which supports separate compilation. Theor. Comput. Sci. Rogardt Heldal, John Hughes
2000	J	`jnl`	Generalising monads to arrows. Sci. Comput. Program. John Hughes
2000	—	`conf`	Monads and Effects. APPSEM Nick Benton, John Hughes, Eugenio Moggi
2000	A	`conf`	QuickCheck: a lightweight tool for random testing of Haskell programs. ICFP Koen Claessen, John Hughes
2000	A	`conf`	The Correctness of Type Specialisation. ESOP John Hughes
1999	A	`conf`	Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming. ICFP John Hughes, Lars Pareto
1998	—	`conf`	A Type Specialisation Tutorial. Partial Evaluation John Hughes
1998	B	`conf`	Generalising Monads (Abstract). MPC John Hughes
1997	A*	`conf`	Module-Sensitive Program Specialisation. PLDI Dirk Dussart, Rogardt Heldal, John Hughes
1997	C	`conf`	Partial Evaluation and Separate Compilation. PEPM Rogardt Heldal, John Hughes
1996	A*	`conf`	Proving the Correctness of Reactive Systems Using Sized Types. POPL John Hughes, Lars Pareto, Amr Sabry
1995	—	`conf`	Making Choices Lazily. FPCA John Hughes, Andrew Moran
1995	—	`conf`	The Design of a Pretty-printing Library. Advanced Functional Programming John Hughes
1994	J	`jnl`	Reversing Abstract Interpretations. Sci. Comput. Program. John Hughes, John Launchbury
1993	—	`conf`	Fast Abstract Interpretation Using Sequential Algorithms. WSA Alex Ferguson, John Hughes
1993	J	`jnl`	How to Give a Good Research Talk. ACM SIGPLAN Notices Simon L. Peyton Jones, John Hughes, John Launchbury
1992	A	`conf`	A Loop-Detecting Interpreter for Lazy, Higher-Order Programs. Functional Programming John Hughes, Alex Ferguson
1992	A	`conf`	A Semantics for Locally Bottom-Avoiding Choice. Functional Programming John Hughes, Andrew Moran
1992	A	`conf`	Abstract Interpretation of Higher Order Functions Using Concrete Data Structures (Summary). Functional Programming Alex Ferguson, John Hughes
1992	A	`conf`	Avoiding Unnecessary Updates. Functional Programming John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon L. Peyton Jones, Philip Wadler
1992	B	`conf`	Pretty-printing: An Exercise in Functional Programming. MPC John Hughes
1992	J	`jnl`	Projections for Polymorphic First-Order Strictness Analysis. Math. Struct. Comput. Sci. John Hughes, John Launchbury
1992	J	`jnl`	Relational Reversal of Abstract Interpretation. J. Log. Comput. John Hughes, John Launchbury
1992	J	`jnl`	Report on the Programming Language Haskell, A Non-strict, Purely Functional Language. ACM SIGPLAN Notices 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
1992	A	`conf`	Reversing Abstract Interpretations. ESOP John Hughes, John Launchbury
1991	A	`conf`	A Loop-Detecting Interpreter for Lazy Programs. Functional Programming Carsten Kehler Holst, John Hughes
1991	—	`ed.`	Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings FPCA John Hughes
1991	A	`conf`	Implementing Projection-based Strictness Analysis. Functional Programming Ryszard Kubiak, John Hughes, John Launchbury
1990	A	`ed.`	Functional Programming, Proceedings of the 1989 Glasgow Workshop, 21-23 August 1989, Fraserburgh, Scotland, UK Functional Programming Kei Davis, John Hughes
1990	A	`conf`	Towards Binding-Time Improvement for Free. Functional Programming Carsten Kehler Holst, John Hughes
1990	A	`conf`	Towards Relating Forwards and Backwards Analyses. Functional Programming John Hughes, John Launchbury
1989	A	`conf`	Abstract Interpretation of Polymorphic Functions. Functional Programming Gebreselassie Baraki, John Hughes
1989	A	`conf`	Expressing and Reasoning About Non-Deterministic Functional Programs. Functional Programming John Hughes, John O'Donnell
1989	—	`conf`	Projections for Polymorphic Strictness Analysis. Category Theory and Computer Science John Hughes
1989	J	`jnl`	Why Functional Programming Matters. Comput. J. John Hughes
1987	—	`conf`	Implementing Functional Databases. DBPL Guy Argo, John Hughes, Philip W. Trinder, Jon Fairbairn, John Launchbury
1985	—	`conf`	A Distributed Garbage Collection Algorithm. FPCA John Hughes
1985	—	`conf`	Lazy Memo-functions. FPCA John Hughes