John Hughes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
45
Venues
22
Active years
1988–2025
Best venue rank
A*
Where they publish
Papers
45 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICLR | Looking Inward: Language Models Can Learn About Themselves by Introspection. | Felix Jedidja Binder, James Chua, Tomek Korbak, Henry Sleight, John Hughes, Robert Long, Ethan Perez, Miles Turpin, Owain Evans |
| 2025 | ICLR | Failures to Find Transferable Image Jailbreaks Between Vision-Language Models. | Rylan Schaeffer, Dan Valentine, Luke Bailey, James Chua, Cristbal Eyzaguirre, Zane Durante, Joe Benton, Brando Miranda, Henry Sleight, Tony Tong Wang, John Hughes, Rajashree Agrawal, Mrinank Sharma, Scott Emmons, Sanmi Koyejo, Ethan Perez |
| 2025 | ICML | How Do Large Language Monkeys Get Their Power (Laws)? | Rylan Schaeffer, Joshua Kazdan, John Hughes, Jordan Juravsky, Sara Price, Aengus Lynch, Erik Jones, Robert Kirk, Azalia Mirhoseini, Sanmi Koyejo |
| 2024 | ICML | Debating with More Persuasive LLMs Leads to More Truthful Answers. | Akbir Khan, John Hughes, Dan Valentine, Laura Ruis, Kshitij Sachan, Ansh Radhakrishnan, Edward Grefenstette, Samuel R. Bowman, Tim Rocktschel, Ethan Perez |
| 2021 | ESOP | Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing. | Harrison Goldstein, John Hughes, Leonidas Lampropoulos, Benjamin C. Pierce |
| 2018 | HASKELL | Branching processes for QuickCheck generators. | Agustn Mista, Alejandro Russo, John Hughes |
| 2017 | ISCAS | Characterization of RTN noise in the analog front-end of digital pixel imagers. | Charbel G. Rizk, Francisco Tejada, John Hughes, David Barbehenn, Philippe O. Pouliquen, Andreas G. Andreou |
| 2017 | POPL | Beginner's luck: a language for property-based generators. | Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia |
| 2016 | ICSE | Find more bugs with QuickCheck! | John Hughes, Ulf Norell, Nicholas Smallbone, Thomas Arts |
| 2016 | ICST | How Well are Your Requirements Tested? | Thomas Arts, John Hughes |
| 2016 | ICST | Mysteries of DropBox: Property-Based Testing of a Distributed Synchronization Service. | John Hughes, Benjamin C. Pierce, Thomas Arts, Ulf Norell |
| 2016 | ITiCSE | Automatic Grading of Programming Exercises using Property-Based Testing. | Clara Benac Earle, Lars-ke Fredlund, John Hughes |
| 2015 | ESOP | Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System. | Burke Fetscher, Koen Claessen, Michal H. Palka, John Hughes, Robert Bruce Findler |
| 2015 | ICST | Graphical editing support for QuickCheck models. | Thomas Arts, Kirill Bogdanov, Alex Gerdes, John Hughes |
| 2015 | ICST | Testing AUTOSAR software with QuickCheck. | Thomas Arts, John Hughes, Ulf Norell, Hans Svensson |
| 2014 | FASE | An Expressive Semantics of Mocking. | Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell, John Hughes |
| 2013 | ICFP | Testing noninterference, quickly. | Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos |
| 2011 | FMCAD | Specification based testing with QuickCheck: | John Hughes |
| 2011 | ICSE | Testing an optimising compiler by generating random lambda terms. | Michal H. Palka, Koen Claessen, Alejandro Russo, John Hughes |
| 2010 | ICSE | Ranking programs using black box testing. | Koen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson |
| 2010 | ICSE | Using temporal relations to specify and test an instant messaging server. | John Hughes, Ulf Norell, Jrme Sautret |
| 2010 | TAP | QuickSpec: Guessing Formal Specifications Using Testing. | Koen Claessen, Nicholas Smallbone, John Hughes |
| 2009 | ICFP | Finding race conditions in Erlang with QuickCheck and PULSE. | Koen Claessen, Michal H. Palka, Nicholas Smallbone, John Hughes, Hans Svensson, Thomas Arts, Ulf T. Wiger |
| 2008 | HASKELL | A library for light-weight information-flow security in haskell. | Alejandro Russo, Koen Claessen, John Hughes |
| 2007 | PADL | QuickCheck Testing for Fun and Profit. | John Hughes |
| 2006 | POPL | Fast and loose reasoning is morally correct. | Nils Anders Danielsson, John Hughes, Patrik Jansson, Jeremy Gibbons |
| 2005 | HASKELL | Verifying haskell programs using constructive type theory. | Andreas Abel, Marcin Benke, Ana Bove, John Hughes, Ulf Norell |
| 2002 | HASKELL | Testing monadic code with QuickCheck. | Koen Claessen, John Hughes |
| 2002 | PEPM | Principal type specialisation. | Pablo E. Martnez Lpez, John Hughes |
| 2000 | ESOP | The Correctness of Type Specialisation. | John Hughes |
| 2000 | ICFP | QuickCheck: a lightweight tool for random testing of Haskell programs. | Koen Claessen, John Hughes |
| 1999 | ICFP | Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming. | John Hughes, Lars Pareto |
| 1999 | SIGGRAPH | Integrating art and technology in a statewide curriculum. | Taylor Gutermute, Lynn Hickey, John Hughes, Alan Warhaftig |
| 1998 | MPC | Generalising Monads (Abstract). | John Hughes |
| 1998 | PEPM | A Type Specialisation Tutorial. | John Hughes |
| 1997 | ICFP | Type Specialization for Imperative Languages. | Dirk Dussart, John Hughes, Peter Thiemann |
| 1997 | PEPM | Partial Evaluation and Separate Compilation. | Rogardt Heldal, John Hughes |
| 1997 | PLDI | Module-Sensitive Program Specialisation. | Dirk Dussart, Rogardt Heldal, John Hughes |
| 1996 | POPL | Proving the Correctness of Reactive Systems Using Sized Types. | John Hughes, Lars Pareto, Amr Sabry |
| 1994 | ECAI | The Automated Evaluation of Inferred Word Classifications. | John Hughes, Eric Atwell |
| 1993 | SEKE | Reverse Engineering Structured Code to an Object-Oriented Representation. | Don McFall, Gillian Fiona Sleith, John Hughes |
| 1993 | SAS | Fast Abstract Interpretation Using Sequential Algorithms. | Alex Ferguson, John Hughes |
| 1992 | ESOP | Reversing Abstract Interpretations. | John Hughes, John Launchbury |
| 1992 | MPC | Pretty-printing: An Exercise in Functional Programming. | John Hughes |
| 1988 | ICRA | Using a manipulator for force display in molecular docking. | Ouhyoung Ming, Michael Pique, John Hughes, Neela Srinivasan, Frederick P. Brooks Jr. |