Simon J. Thompson

122 papers A* 2A 1B 8C 14Journal 42Unranked 50

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Mixed Choice in Asynchronous Multiparty Session Types. CoRR Laura Bocchi, Raymond Hu, Adriana Laura Voinea, Simon J. Thompson
2024	J	`jnl`	A Formalisation of Core Erlang, a Concurrent Actor Language. Acta Cybern. Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2024	—	`conf`	Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects. Erlang Bendegúz Seres, Dániel Horpácsi, Simon J. Thompson
2024	J	`jnl`	Program Equivalence in the Erlang Actor Model. Comput. Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2024	—	`conf`	Structural Refactorings for Exploring Dependently Typed Programming. TFP Adam D. Barwell, Christopher Brown, Mun See Chang, Constantine Theocharis, Simon J. Thompson
2023	J	`jnl`	A Formalisation of Core Erlang, a Concurrent Actor Language. CoRR Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2023	J	`jnl`	A Frame Stack Semantics for Sequential Core Erlang. CoRR Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2023	—	`conf`	A frame stack semantics for sequential Core Erlang. IFL Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2023	J	`jnl`	Program equivalence in an untyped, call-by-value functional language with uncurried functions. J. Log. Algebraic Methods Program. Dániel Horpácsi, Péter Bereczky, Simon J. Thompson
2023	—	`conf`	Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings. Eelco Visser Commemorative Symposium Simon J. Thompson, Dániel Horpácsi
2022	J	`jnl`	Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions. CoRR Dániel Horpácsi, Péter Bereczky, Simon J. Thompson
2022	J	`jnl`	Refactoring = Substitution + Rewriting. CoRR Simon J. Thompson, Dániel Horpácsi
2021	—	`conf`	Standardized Crypto-Loans on the Cardano Blockchain. Financial Cryptography Workshops Dmytro Kondratiuk, Pablo Lamela Seijas, Alexander Nemish, Simon J. Thompson
2020	J	`jnl`	A Comparison of Big-step Semantics Definition Styles. CoRR Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2020	J	`jnl`	A Proof Assistant Based Formalisation of Core Erlang. CoRR Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2020	—	`conf`	A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang. TFP Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2020	—	`conf`	Efficient Static Analysis of Marlowe Contracts. ISoLA (3) Pablo Lamela Seijas, David Smith, Simon J. Thompson
2020	—	`conf`	Machine-checked natural semantics for Core Erlang: exceptions and side effects. Erlang Workshop Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
2020	—	`conf`	Marlowe: Implementing and Analysing Financial Contracts on Blockchain. Financial Cryptography Workshops Pablo Lamela Seijas, Alexander Nemish, David Smith, Simon J. Thompson
2020	—	`conf`	Validating Formal Semantics by Property-Based Cross-Testing. IFL Péter Bereczky, Dániel Horpácsi, Judit Köszegi, Soma Szeier, Simon J. Thompson
2019	A*	`conf`	Characterising renaming within OCaml's module system: theory and implementation. PLDI Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens
2019	—	`conf`	Rotor: a tool for renaming values in OCaml's module system. IWOR@ICSE Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens
2018	—	`conf`	Marlowe: Financial Contracts on Blockchain. ISoLA (4) Pablo Lamela Seijas, Simon J. Thompson
2018	J	`jnl`	Model extraction and test generation from JUnit test suites. Softw. Qual. J. Pablo Lamela Seijas, Simon J. Thompson, Miguel Angel Francisco
2017	J	`jnl`	Evaluating Scalable Distributed Erlang for Scalability and Reliability. IEEE Trans. Parallel Distributed Syst. Natalia Chechina, Kenneth MacKenzie, Simon J. Thompson, Phil Trinder, Olivier Boudeville, Viktoria Fordós, Csaba Hoch, Amir Ghaffari, Mario Moro Hernandez
2017	J	`jnl`	Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. CoRR Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad
2017	J	`jnl`	Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Trans. Program. Lang. Syst. Phil Trinder, Natalia Chechina, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Stephen Adams, Stavros Aronis, Robert Baker, Eva Bihari, Olivier Boudeville, Francesco Cesarini, Maurizio Di Stefano, Sverker Eriksson, Viktoria Fordós, Amir Ghaffari, Aggelos Giantsios, Rickard Green, Csaba Hoch, David Klaftenegger, Huiqing Li, Kenneth Lundin, Kenneth MacKenzie, Katerina Roukounaki, Yiannis Tsiouris, Kjell Winblad
2017	J	`jnl`	The pragmatics of clone detection and elimination. CoRR Simon J. Thompson, Huiqing Li, Andreas Schumacher
2017	J	`jnl`	The pragmatics of clone detection and elimination. Art Sci. Eng. Program. Simon J. Thompson, Huiqing Li, Andreas Schumacher
2016	J	`jnl`	A task-based evaluation of combined set and network visualization. Inf. Sci. Peter J. Rodgers, Gem Stapleton, Bilal Alsallakh, Luana Micallef, Robert Baker, Simon J. Thompson
2016	—	`conf`	Identifying and introducing interfaces and callbacks using Wrangler. IFL Pablo Lamela Seijas, Simon J. Thompson
2016	J	`jnl`	Improving the network scalability of Erlang. J. Parallel Distributed Comput. Natalia Chechina, Huiqing Li, Amir Ghaffari, Simon J. Thompson, Phil Trinder
2016	—	`conf`	Model extraction and test generation from JUnit test suites. AST@ICSE Pablo Lamela Seijas, Simon J. Thompson, Miguel Angel Francisco
2016	J	`jnl`	Review of spreadsheet implementation technology: Basics and extensions, by Peter Sestoft , MIT Press, 2014, ISBN 978-0-262-52664-7. J. Funct. Program. Simon J. Thompson
2016	J	`jnl`	Scripting smart contracts for distributed ledger technology. IACR Cryptol. ePrint Arch. Pablo Lamela Seijas, Simon J. Thompson, Darryl McAdams
2016	—	`conf`	Towards Trustworthy Refactoring in Erlang. VPT@ETAPS Dániel Horpácsi, Judit Köszegi, Simon J. Thompson
2015	C	`conf`	Safe Concurrency Introduction through Slicing. PEPM Huiqing Li, Simon J. Thompson
2014	—	`conf`	A Normal Form for Spider Diagrams of Order. DMS Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson
2014	J	`jnl`	A normal form for spider diagrams of order. J. Vis. Lang. Comput. Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson
2014	C	`conf`	Automating property-based testing of evolving web services. PEPM Huiqing Li, Simon J. Thompson, Pablo Lamela Seijas, Miguel Angel Francisco
2014	—	`conf`	Improved semantics and implementation through property-based testing with QuickCheck. AST@ICSE Huiqing Li, Simon J. Thompson
2014	—	`conf`	Synapse: automatic behaviour inference and implementation comparison for Erlang. Erlang Workshop Pablo Lamela Seijas, Simon J. Thompson, Ramsay Taylor, Kirill Bogdanov, John Derrick
2013	—	`conf`	Multi-level Visualization of Concurrent and Distributed Computation in Erlang. DMS Robert Baker, Peter Rodgers, Simon J. Thompson, Huiqing Li
2013	—	`conf`	Multicore profiling for Erlang programs using percept2. Erlang Workshop Huiqing Li, Simon J. Thompson
2013	—	`ch.`	On the Completeness of Spider Diagrams Augmented with Constants. Visual Reasoning with Diagrams Gem Stapleton, John Howse, Simon J. Thompson, John Taylor, Peter Chapman
2013	J	`jnl`	On the expressiveness of spider diagrams and commutative star-free regular languages. J. Vis. Lang. Comput. Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson
2013	J	`jnl`	Programming errors in traversal programs over structured data. Sci. Comput. Program. Ralf Lämmel, Simon J. Thompson, Markus Kaiser
2013	J	`jnl`	Refactoring tools for functional languages. J. Funct. Program. Simon J. Thompson, Huiqing Li
2013	—	`conf`	Towards property-based testing of RESTful web services. Erlang Workshop Pablo Lamela Seijas, Huiqing Li, Simon J. Thompson
2012	B	`conf`	A Domain-Specific Language for Scripting Refactorings in Erlang. FASE Huiqing Li, Simon J. Thompson
2012	A*	`conf`	Automated API migration in a user-extensible refactoring tool for Erlang programs. ASE Huiqing Li, Simon J. Thompson
2012	J	`jnl`	Editorial PEPM2012. High. Order Symb. Comput. Oleg Kiselyov, Julia Lawall, Simon J. Thompson
2012	B	`conf`	Evolving recursive programs using non-recursive scaffolding. IEEE Congress on Evolutionary Computation Alberto Moraglio, Fernando E. B. Otero, Colin G. Johnson, Simon J. Thompson, Alex Alves Freitas
2012	—	`conf`	Let's make refactoring tools user-extensible! WRT@ICSE Huiqing Li, Simon J. Thompson
2012	C	`ed.`	Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012 PEPM Oleg Kiselyov, Simon J. Thompson
2012	J	`jnl`	Programming errors in traversal programs over structured data CoRR Ralf Lämmel, Simon J. Thompson, Markus Kaiser
2012	—	`conf`	RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper). Trends in Functional Programming Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Phil Trinder, Ulf T. Wiger
2011	—	`conf`	Extracting Properties from Test Cases by Refactoring. ICST Workshops Huiqing Li, Simon J. Thompson, Thomas Arts
2011	—	`conf`	Extracting QuickCheck specifications from EUnit test cases. Erlang Workshop Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson
2011	—	`book`	Haskell - The Craft of Functional Programming, 3rd Edition. Simon J. Thompson
2011	B	`conf`	Incremental Clone Detection and Elimination for Erlang Programs. FASE Huiqing Li, Simon J. Thompson
2010	—	`conf`	An Expression Processor: A Case Study in Refactoring Haskell Programs. Trends in Functional Programming Christopher Brown, Huiqing Li, Simon J. Thompson
2010	C	`conf`	Clone detection and elimination for Haskell. PEPM Christopher Brown, Simon J. Thompson
2010	C	`conf`	Fragments of Spider Diagrams of Order and Their Relative Expressiveness. Diagrams Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson
2010	—	`conf`	From test cases to FSMs: augmented test-driven development and property inference. Erlang Workshop Thomas Arts, Simon J. Thompson
2010	—	`conf`	Improved Testing through Refactoring: Experience from the ProTest Project. TAIC PART Huiqing Li, Simon J. Thompson
2010	—	`conf`	Quickchecking refactoring tools. Erlang Workshop Dániel Drienyovszky, Dániel Horpácsi, Simon J. Thompson
2010	C	`conf`	Refactoring Support for Modularity Maintenance in Erlang. SCAM Huiqing Li, Simon J. Thompson
2010	C	`conf`	Similar Code Detection and Elimination for Erlang Programs. PADL Huiqing Li, Simon J. Thompson
2009	C	`conf`	Clone detection and removal for Erlang/OTP within a refactoring environment. PEPM Huiqing Li, Simon J. Thompson
2009	—	`conf`	Erlang Behaviours: Programming with Process Design Patterns. CEFP Francesco Cesarini, Simon J. Thompson
2009	J	`jnl`	Podcasting by synchronising PowerPoint and voice: What are the pedagogical benefits? Comput. Educ. Darren K. Griffin, David Mitchell, Simon J. Thompson
2009	—	`ed.`	Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009 Erlang Workshop Clara Benac Earle, Simon J. Thompson
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	J	`jnl`	The expressiveness of spider diagrams augmented with constants. J. Vis. Lang. Comput. Gem Stapleton, John Taylor, Simon J. Thompson, John Howse
2008	C	`conf`	Mechanical verification of refactorings. PEPM Nik Sultana, Simon J. Thompson
2008	—	`conf`	Programming Errors in Traversal Programs Over Structured Data. LDTA Ralf Lämmel, Simon J. Thompson, Markus Kaiser
2008	—	`conf`	Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse. Erlang Workshop Huiqing Li, Simon J. Thompson, George Orösz, Melinda Tóth
2008	C	`conf`	Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. Diagrams Aidan J. Delaney, John Taylor, Simon J. Thompson
2008	—	`conf`	Tool support for refactoring functional programs. WRT@OOPSLA Huiqing Li, Simon J. Thompson
2008	C	`conf`	Tool support for refactoring functional programs. PEPM Huiqing Li, Simon J. Thompson
2007	B	`conf`	A Power Management Architecture for Sensor Nodes. WCNC Jens Eliasson, Per Lindgren, Jerker Delsing, Simon J. Thompson, Yi-Bing Cheng
2007	B	`conf`	Declarative extensions of XML languages. ACM Symposium on Document Engineering Simon J. Thompson, Peter R. King, Patrick Schmitz
2007	—	`ed.`	Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007 Erlang Workshop Simon J. Thompson, Lars-Åke Fredlund
2007	—	`conf`	Refactoring Functional Programs at the University of Kent. WRT Simon J. Thompson, Christopher Brown, Huiqing Li, Claus Reinke, Nik Sultana
2007	—	`conf`	Testing Erlang Refactorings with QuickCheck. IFL Huiqing Li, Simon J. Thompson
2006	C	`conf`	Comparative Study of Refactoring Haskell and Erlang Programs. SCAM Huiqing Li, Simon J. Thompson
2005	—	`conf`	A New Language for the Visualization of Logic and Reasoning. DMS Gem Stapleton, Simon J. Thompson, Andrew Fish, John Howse, John Taylor
2005	—	`conf`	Formalisation of Haskell refactorings. Trends in Functional Programming Huiqing Li, Simon J. Thompson
2005	J	`jnl`	Modelling Reactive Multimedia: Design and Authoring. Multim. Tools Appl. Simon J. Thompson, Peter R. King, Helen Cameron
2005	—	`conf`	Software metrics: measuring Haskell. Trends in Functional Programming Chris Ryder, Simon J. Thompson
2005	—	`conf`	Tableaux for Diagrammatic Reasoning. DMS Octavian Patrascoiu, Simon J. Thompson, Peter Rodgers
2005	—	`conf`	The Haskell Refactorer, HaRe, and its API. LDTA@ETAPS Huiqing Li, Simon J. Thompson, Claus Reinke
2004	B	`conf`	Behavioral reactivity and real time programming in XML: ACM Symposium on Document Engineering Peter R. King, Patrick Schmitz, Simon J. Thompson
2004	—	`conf`	Refactoring Functional Programs. Advanced Functional Programming Simon J. Thompson
2004	B	`conf`	The Expressiveness of Spider Diagrams Augmented with Constants. VL/HCC Gem Stapleton, John Howse, John Taylor, Simon J. Thompson
2004	J	`jnl`	The Expressiveness of Spider Diagrams. J. Log. Comput. Gem Stapleton, John Howse, John Taylor, Simon J. Thompson
2004	C	`conf`	What Can Spider Diagrams Say? Diagrams Gem Stapleton, John Howse, John Taylor, Simon J. Thompson
2003	J	`jnl`	A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. J. Log. Comput. Howard Bowman, Simon J. Thompson
2003	J	`jnl`	Mexitl: Multimedia in Executable Interval Temporal Logic. Formal Methods Syst. Des. Howard Bowman, Helen Cameron, Peter R. King, Simon J. Thompson
2003	J	`jnl`	Modeling Reactive Multimedia: Events and Behaviors. Multim. Tools Appl. Helen Cameron, Peter R. King, Simon J. Thompson
2003	—	`conf`	Presentation Dynamism in XML Functional Programming meets SMIL Animation. WWW (Posters) Patrick Schmitz, Simon J. Thompson, Peter R. King
2003	C	`conf`	Tool support for refactoring functional programs. Haskell Huiqing Li, Claus Reinke, Simon J. Thompson
2000	J	`jnl`	A functional reactive animation of a lift using Fran. J. Funct. Program. Simon J. Thompson
2000	—	`conf`	Integrating Computer Algebra and Reasoning through the Type System of Aldor. FroCoS Erik Poll, Simon J. Thompson
1999	—	`ch.`	Proof. Research Directions in Parallel Functional Programming Simon J. Thompson
1998	B	`conf`	A Tableau Method for Interval Temporal Logic with Projection. TABLEAUX Howard Bowman, Simon J. Thompson
1998	J	`jnl`	From ACT-ONE to Miranda, a translation experiment. Comput. Stand. Interfaces Nathan Charles, Howard Bowman, Simon J. Thompson
1998	—	`conf`	Synchronization in Multimedia Documents. EP Peter R. King, Helen Cameron, Howard Bowman, Simon J. Thompson
1997	—	`conf`	Where Do I Begin? A Problem Solving Approach in teaching Functional Programming. PLILP Simon J. Thompson
1995	J	`jnl`	A Logic for Miranda, Revisited. Formal Aspects Comput. Simon J. Thompson
1995	—	`conf`	Formal description techniques for object management. Integrated Network Management John Derrick, Peter F. Linington, Simon J. Thompson
1995	—	`conf`	Functional Programming Through the Curriculum. FPLE Simon J. Thompson, Steve Hill
1994	J	`jnl`	On the Equivalence Between CMC and TIM. J. Funct. Program. Rafael Dueire Lins, Simon J. Thompson, Simon L. Peyton Jones
1993	J	`jnl`	Functional Programming in Education - Introduction. J. Funct. Program. Simon J. Thompson, Philip Wadler
1992	A	`conf`	Formulating Haskell. Functional Programming Simon J. Thompson
1992	J	`jnl`	The Categorical Multi-Combinator Machine: CMCM. Comput. J. Simon J. Thompson, Rafael Dueire Lins
1991	—	`conf`	Are Subsets Necessary in Martin-Löf Type Theory? Constructivity in Computer Science Simon J. Thompson
1990	J	`jnl`	Implementing SASL using Categorical Multi-combinators. Softw. Pract. Exp. Rafael Dueire Lins, Simon J. Thompson
1989	J	`jnl`	A Logic for Miranda. Formal Aspects Comput. Simon J. Thompson
1989	J	`jnl`	Lawful Functions and Program Verification in Miranda. Sci. Comput. Program. Simon J. Thompson
1986	—	`conf`	Laws in Miranda. LISP and Functional Programming Simon J. Thompson