Simon J. Thompson

According to our database, Simon J. Thompson authored at least 105 papers between 1986 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Program equivalence in an untyped, call-by-value functional language with uncurried functions.

Dániel Horpácsi, Péter Bereczky, Simon J. Thompson

J. Log. Algebraic Methods Program., April, 2023

A Formalisation of Core Erlang, a Concurrent Actor Language.

Péter Bereczky, Dániel Horpácsi, Simon J. Thompson

CoRR, 2023

A Frame Stack Semantics for Sequential Core Erlang.

Péter Bereczky, Dániel Horpácsi, Simon J. Thompson

CoRR, 2023

Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings.

Simon J. Thompson, Dániel Horpácsi

Proceedings of the Eelco Visser Commemorative Symposium, 2023

2022

Refactoring = Substitution + Rewriting.

Simon J. Thompson, Dániel Horpácsi

CoRR, 2022

Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions.

Dániel Horpácsi, Péter Bereczky, Simon J. Thompson

CoRR, 2022

2021

Standardized Crypto-Loans on the Cardano Blockchain.

Dmytro Kondratiuk, Pablo Lamela Seijas, Alexander Nemish, Simon J. Thompson

Proceedings of the Financial Cryptography and Data Security. FC 2021 International Workshops, 2021

2020

A Comparison of Big-step Semantics Definition Styles.

Péter Bereczky, Dániel Horpácsi, Simon J. Thompson

CoRR, 2020

A Proof Assistant Based Formalisation of Core Erlang.

Péter Bereczky, Dániel Horpácsi, Simon J. Thompson

CoRR, 2020

A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang.

Péter Bereczky, Dániel Horpácsi, Simon J. Thompson

Proceedings of the Trends in Functional Programming - 21st International Symposium, 2020

Efficient Static Analysis of Marlowe Contracts.

Pablo Lamela Seijas, David Smith, Simon J. Thompson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Validating Formal Semantics by Property-Based Cross-Testing.

Péter Bereczky, Dániel Horpácsi, Judit Köszegi, Soma Szeier, Simon J. Thompson

Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

Marlowe: Implementing and Analysing Financial Contracts on Blockchain.

Pablo Lamela Seijas, Alexander Nemish, David Smith, Simon J. Thompson

Proceedings of the Financial Cryptography and Data Security, 2020

Machine-checked natural semantics for Core Erlang: exceptions and side effects.

Péter Bereczky, Dániel Horpácsi, Simon J. Thompson

Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, 2020

2019

Characterising renaming within OCaml's module system: theory and implementation.

Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Rotor: a tool for renaming values in OCaml's module system.

Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens

Proceedings of the 3rd International Workshop on Refactoring, 2019

2018

Model extraction and test generation from JUnit test suites.

Pablo Lamela Seijas, Simon J. Thompson, Miguel Angel Francisco

Softw. Qual. J., 2018

Marlowe: Financial Contracts on Blockchain.

Pablo Lamela Seijas, Simon J. Thompson

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

2017

Evaluating Scalable Distributed Erlang for Scalability and Reliability.

Natalia Chechina, Kenneth MacKenzie, Simon J. Thompson, Phil Trinder, Olivier Boudeville, Viktoria Fordós, Csaba Hoch, Amir Ghaffari, Mario Moro Hernandez

IEEE Trans. Parallel Distributed Syst., 2017

Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform.

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

ACM Trans. Program. Lang. Syst., 2017

The pragmatics of clone detection and elimination.

Simon J. Thompson, Huiqing Li, Andreas Schumacher

Art Sci. Eng. Program., 2017

2016

Improving the network scalability of Erlang.

Natalia Chechina, Huiqing Li, Amir Ghaffari, Simon J. Thompson, Phil Trinder

J. Parallel Distributed Comput., 2016

Review of spreadsheet implementation technology: Basics and extensions, by Peter Sestoft , MIT Press, 2014, ISBN 978-0-262-52664-7.

Simon J. Thompson

J. Funct. Program., 2016

A task-based evaluation of combined set and network visualization.

Peter J. Rodgers, Gem Stapleton, Bilal Alsallakh, Luana Micallef, Robert Baker, Simon J. Thompson

Inf. Sci., 2016

Scripting smart contracts for distributed ledger technology.

Pablo Lamela Seijas, Simon J. Thompson, Darryl McAdams

IACR Cryptol. ePrint Arch., 2016

Towards Trustworthy Refactoring in Erlang.

Dániel Horpácsi, Judit Köszegi, Simon J. Thompson

Proceedings of the Fourth International Workshop on Verification and Program Transformation, 2016

Identifying and introducing interfaces and callbacks using Wrangler.

Pablo Lamela Seijas, Simon J. Thompson

Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages, 2016

2015

Safe Concurrency Introduction through Slicing.

Huiqing Li, Simon J. Thompson

Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, 2015

2014

A normal form for spider diagrams of order.

Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson

J. Vis. Lang. Comput., 2014

Automating property-based testing of evolving web services.

Huiqing Li, Simon J. Thompson, Pablo Lamela Seijas, Miguel Angel Francisco

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

Improved semantics and implementation through property-based testing with QuickCheck.

Huiqing Li, Simon J. Thompson

Proceedings of the 9th International Workshop on Automation of Software Test, 2014

Synapse: automatic behaviour inference and implementation comparison for Erlang.

Pablo Lamela Seijas, Simon J. Thompson, Ramsay Taylor, Kirill Bogdanov, John Derrick

Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 2014

2013

On the expressiveness of spider diagrams and commutative star-free regular languages.

Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson

J. Vis. Lang. Comput., 2013

Refactoring tools for functional languages.

Simon J. Thompson, Huiqing Li

J. Funct. Program., 2013

Towards property-based testing of RESTful web services.

Pablo Lamela Seijas, Huiqing Li, Simon J. Thompson

Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, 2013

Multicore profiling for Erlang programs using percept2.

Huiqing Li, Simon J. Thompson

Proceedings of the Twelfth ACM SIGPLAN Erlang Workshop, 2013

Multi-level Visualization of Concurrent and Distributed Computation in Erlang.

Robert Baker, Peter Rodgers, Simon J. Thompson, Huiqing Li

Proceedings of the 19th International Conference on Distributed Multimedia Systems, 2013

On the Completeness of Spider Diagrams Augmented with Constants.

Gem Stapleton, John Howse, Simon J. Thompson, John Taylor, Peter Chapman

Proceedings of the Visual Reasoning with Diagrams, 2013

2012

Editorial PEPM2012.

Oleg Kiselyov, Julia Lawall, Simon J. Thompson

High. Order Symb. Comput., 2012

RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper).

Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Phil Trinder, Ulf T. Wiger

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

Automated API migration in a user-extensible refactoring tool for Erlang programs.

Huiqing Li, Simon J. Thompson

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Let's make refactoring tools user-extensible!

Huiqing Li, Simon J. Thompson

Proceedings of the Fifth Workshop on Refactoring Tools 2012, 2012

A Domain-Specific Language for Scripting Refactorings in Erlang.

Huiqing Li, Simon J. Thompson

Proceedings of the Fundamental Approaches to Software Engineering, 2012

Evolving recursive programs using non-recursive scaffolding.

Alberto Moraglio, Fernando E. B. Otero, Colin G. Johnson, Simon J. Thompson, Alex Alves Freitas

Proceedings of the IEEE Congress on Evolutionary Computation, 2012

2011

Extracting Properties from Test Cases by Refactoring.

Huiqing Li, Simon J. Thompson, Thomas Arts

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Incremental Clone Detection and Elimination for Erlang Programs.

Huiqing Li, Simon J. Thompson

Proceedings of the Fundamental Approaches to Software Engineering, 2011

Extracting QuickCheck specifications from EUnit test cases.

Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson

Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011, 2011

Haskell - The Craft of Functional Programming, 3rd Edition.

Simon J. Thompson

Addison-Wesley, ISBN: 978-0-2018-8295-7, 2011

2010

Improved Testing through Refactoring: Experience from the ProTest Project.

Huiqing Li, Simon J. Thompson

Proceedings of the Testing, 2010

An Expression Processor: A Case Study in Refactoring Haskell Programs.

Christopher Brown, Huiqing Li, Simon J. Thompson

Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010

Refactoring Support for Modularity Maintenance in Erlang.

Huiqing Li, Simon J. Thompson

Proceedings of the Tenth IEEE International Working Conference on Source Code Analysis and Manipulation, 2010

Clone detection and elimination for Haskell.

Christopher Brown, Simon J. Thompson

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Similar Code Detection and Elimination for Erlang Programs.

Huiqing Li, Simon J. Thompson

Proceedings of the Practical Aspects of Declarative Languages, 2010

Quickchecking refactoring tools.

Dániel Drienyovszky, Dániel Horpácsi, Simon J. Thompson

Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 2010

From test cases to FSMs: augmented test-driven development and property inference.

Thomas Arts, Simon J. Thompson

Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 2010

Fragments of Spider Diagrams of Order and Their Relative Expressiveness.

Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

2009

The expressiveness of spider diagrams augmented with constants.

Gem Stapleton, John Taylor, Simon J. Thompson, John Howse

J. Vis. Lang. Comput., 2009

Podcasting by synchronising PowerPoint and voice: What are the pedagogical benefits?

Darren K. Griffin, David Mitchell, Simon J. Thompson

Comput. Educ., 2009

Clone detection and removal for Erlang/OTP within a refactoring environment.

Huiqing Li, Simon J. Thompson

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

Property-Based Testing - The ProTest Project.

John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Erlang Behaviours: Programming with Process Design Patterns.

Francesco Cesarini, Simon J. Thompson

Proceedings of the Central European Functional Programming School - Third Summer School, 2009

2008

Programming Errors in Traversal Programs Over Structured Data.

Ralf Lämmel, Simon J. Thompson, Markus Kaiser

Proceedings of the 8th Workshop on Language Descriptions, Tools and Applications, 2008

Mechanical verification of refactorings.

Nik Sultana, Simon J. Thompson

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

Tool support for refactoring functional programs.

Huiqing Li, Simon J. Thompson

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse.

Huiqing Li, Simon J. Thompson, George Orösz, Melinda Tóth

Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, 2008

Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages.

Aidan J. Delaney, John Taylor, Simon J. Thompson

Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

2007

A Power Management Architecture for Sensor Nodes.

Jens Eliasson, Per Lindgren, Jerker Delsing, Simon J. Thompson, Yi-Bing Cheng

Proceedings of the IEEE Wireless Communications and Networking Conference, 2007

Testing Erlang Refactorings with QuickCheck.

Huiqing Li, Simon J. Thompson

Proceedings of the Implementation and Application of Functional Languages, 2007

Refactoring Functional Programs at the University of Kent.

Simon J. Thompson, Christopher Brown, Huiqing Li, Claus Reinke, Nik Sultana

Proceedings of the 1st Workshop on Refactoring Tools, 2007

Declarative extensions of XML languages.

Simon J. Thompson, Peter R. King, Patrick Schmitz

Proceedings of the 2007 ACM Symposium on Document Engineering, 2007

2006

Comparative Study of Refactoring Haskell and Erlang Programs.

Huiqing Li, Simon J. Thompson

Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2006), 2006

2005

Modelling Reactive Multimedia: Design and Authoring.

Simon J. Thompson, Peter R. King, Helen Cameron

Multim. Tools Appl., 2005

The Haskell Refactorer, HaRe, and its API.

Huiqing Li, Simon J. Thompson, Claus Reinke

Proceedings of the Fifth Workshop on Language Descriptions, Tools, and Applications, 2005

Software metrics: measuring Haskell.

Chris Ryder, Simon J. Thompson

Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

Formalisation of Haskell refactorings.

Huiqing Li, Simon J. Thompson

Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

A New Language for the Visualization of Logic and Reasoning.

Gem Stapleton, Simon J. Thompson, Andrew Fish, John Howse, John Taylor

Proceedings of the 11th International Conference on Distributed Multimedia Systems, 2005

Tableaux for Diagrammatic Reasoning.

Octavian Patrascoiu, Simon J. Thompson, Peter Rodgers

Proceedings of the 11th International Conference on Distributed Multimedia Systems, 2005

2004

The Expressiveness of Spider Diagrams.

Gem Stapleton, John Howse, John Taylor, Simon J. Thompson

J. Log. Comput., 2004

Behavioral reactivity and real time programming in XML: <i>functional programming meets SMIL animation</i>.

Peter R. King, Patrick Schmitz, Simon J. Thompson

Proceedings of the 2004 ACM Symposium on Document Engineering, 2004

What Can Spider Diagrams Say?

Gem Stapleton, John Howse, John Taylor, Simon J. Thompson

Proceedings of the Diagrammatic Representation and Inference, 2004

Refactoring Functional Programs.

Simon J. Thompson

Proceedings of the Advanced Functional Programming, 2004

2003

Modeling Reactive Multimedia: Events and Behaviors.

Helen Cameron, Peter R. King, Simon J. Thompson

Multim. Tools Appl., 2003

A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection.

Howard Bowman, Simon J. Thompson

J. Log. Comput., 2003

Mexitl: Multimedia in Executable Interval Temporal Logic.

Howard Bowman, Helen Cameron, Peter R. King, Simon J. Thompson

Formal Methods Syst. Des., 2003

Presentation Dynamism in XML Functional Programming meets SMIL Animation.

Patrick Schmitz, Simon J. Thompson, Peter R. King

Proceedings of the Twelfth International World Wide Web Conference - Posters, 2003

Tool support for refactoring functional programs.

Huiqing Li, Claus Reinke, Simon J. Thompson

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2003

2000

A functional reactive animation of a lift using Fran.

Simon J. Thompson

J. Funct. Program., 2000

Integrating Computer Algebra and Reasoning through the Type System of Aldor.

Erik Poll, Simon J. Thompson

Proceedings of the Frontiers of Combining Systems, 2000

1999

Proof.

Simon J. Thompson

Proceedings of the Research Directions in Parallel Functional Programming, 1999

1998

From ACT-ONE to Miranda, a translation experiment.

Nathan Charles, Howard Bowman, Simon J. Thompson

Comput. Stand. Interfaces, 1998

A Tableau Method for Interval Temporal Logic with Projection.

Howard Bowman, Simon J. Thompson

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

Synchronization in Multimedia Documents.

Peter R. King, Helen Cameron, Howard Bowman, Simon J. Thompson

Proceedings of the Electronic Publishing, 1998

1997

Where Do I Begin? A Problem Solving Approach in teaching Functional Programming.

Simon J. Thompson

Proceedings of the Programming Languages: Implementations, 1997

1995

A Logic for Miranda, Revisited.

Simon J. Thompson

Formal Aspects Comput., 1995

Formal description techniques for object management.

John Derrick, Peter F. Linington, Simon J. Thompson

Proceedings of the Integrated Network Management IV, 1995

Functional Programming Through the Curriculum.

Simon J. Thompson, Steve Hill

Proceedings of the Functional Programming Languages in Education, 1995

1994

On the Equivalence Between CMC and TIM.

Rafael Dueire Lins, Simon J. Thompson, Simon L. Peyton Jones

J. Funct. Program., 1994

1993

Functional Programming in Education - Introduction.

Simon J. Thompson, Philip Wadler

J. Funct. Program., 1993

1992

The Categorical Multi-Combinator Machine: CMCM.

Simon J. Thompson, Rafael Dueire Lins

Comput. J., 1992

Formulating Haskell.

Simon J. Thompson

Proceedings of the Functional Programming, 1992

1991

Are Subsets Necessary in Martin-Löf Type Theory?

Simon J. Thompson

Proceedings of the Constructivity in Computer Science, 1991

1990

Implementing SASL using Categorical Multi-combinators.

Rafael Dueire Lins, Simon J. Thompson

Softw. Pract. Exp., 1990

1989

Lawful Functions and Program Verification in Miranda.

Simon J. Thompson

Sci. Comput. Program., 1989

A Logic for Miranda.

Simon J. Thompson

Formal Aspects Comput., 1989

1986

Laws in Miranda.

Simon J. Thompson

Proceedings of the 1986 ACM Conference on LISP and Functional Programming, 1986