Simon J. Thompson

ORCID

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 30

Top Venues

CoRR

Financial Cryptography Workshops

Erlang Workshop

IFL

Publications

Bendegúz Seres, Dániel Horpácsi, Simon J. Thompson
Is This Really a Refactoring? Automated Equivalence Checking for Erlang Projects. Erlang (2024)
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
A Formalisation of Core Erlang, a Concurrent Actor Language. Acta Cybern. 26 (3) (2024)
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
A Formalisation of Core Erlang, a Concurrent Actor Language. CoRR (2023)
Simon J. Thompson, Dániel Horpácsi
Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings. Eelco Visser Commemorative Symposium (2023)
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
A frame stack semantics for sequential Core Erlang. IFL (2023)
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
A Frame Stack Semantics for Sequential Core Erlang. CoRR (2023)
Dániel Horpácsi, Péter Bereczky, Simon J. Thompson
Program equivalence in an untyped, call-by-value functional language with uncurried functions. J. Log. Algebraic Methods Program. 132 (2023)
Dmytro Kondratiuk, Pablo Lamela Seijas, Alexander Nemish, Simon J. Thompson
Standardized Crypto-Loans on the Cardano Blockchain. Financial Cryptography Workshops (2021)
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
Machine-checked natural semantics for Core Erlang: exceptions and side effects. Erlang Workshop (2020)
Pablo Lamela Seijas, Alexander Nemish, David Smith, Simon J. Thompson
Marlowe: Implementing and Analysing Financial Contracts on Blockchain. Financial Cryptography Workshops (2020)
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang. TFP (2020)
Pablo Lamela Seijas, David Smith, Simon J. Thompson
Efficient Static Analysis of Marlowe Contracts. ISoLA (3) (2020)
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
A Comparison of Big-step Semantics Definition Styles. CoRR (2020)
Péter Bereczky, Dániel Horpácsi, Simon J. Thompson
A Proof Assistant Based Formalisation of Core Erlang. CoRR (2020)
Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens
Rotor: a tool for renaming values in OCaml's module system. IWOR@ICSE (2019)
Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens
Characterising renaming within OCaml's module system: theory and implementation. PLDI (2019)
Pablo Lamela Seijas, Simon J. Thompson, Miguel Angel Francisco
Model extraction and test generation from JUnit test suites. Softw. Qual. J. 26 (4) (2018)
Pablo Lamela Seijas, Simon J. Thompson
Marlowe: Financial Contracts on Blockchain. ISoLA (4) (2018)
Simon J. Thompson, Huiqing Li, Andreas Schumacher
The pragmatics of clone detection and elimination. CoRR (2017)
Natalia Chechina, Kenneth MacKenzie, Simon J. Thompson, Phil Trinder, Olivier Boudeville, Viktoria Fordós, Csaba Hoch, Amir Ghaffari, Mario Moro Hernandez
Evaluating Scalable Distributed Erlang for Scalability and Reliability. IEEE Trans. Parallel Distributed Syst. 28 (8) (2017)
Simon J. Thompson, Huiqing Li, Andreas Schumacher
The pragmatics of clone detection and elimination. Art Sci. Eng. Program. 1 (2) (2017)
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
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. ACM Trans. Program. Lang. Syst. 39 (4) (2017)
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
Scaling Reliably: Improving the Scalability of the Erlang Distributed Actor Platform. CoRR (2017)
Natalia Chechina, Huiqing Li, Amir Ghaffari, Simon J. Thompson, Phil Trinder
Improving the network scalability of Erlang. J. Parallel Distributed Comput. (2016)
Peter J. Rodgers, Gem Stapleton, Bilal Alsallakh, Luana Micallef, Robert Baker, Simon J. Thompson
A task-based evaluation of combined set and network visualization. Inf. Sci. (2016)
Dániel Horpácsi, Judit Köszegi, Simon J. Thompson
Towards Trustworthy Refactoring in Erlang. VPT@ETAPS (2016)
Pablo Lamela Seijas, Simon J. Thompson, Miguel Angel Francisco
Model extraction and test generation from JUnit test suites. AST@ICSE (2016)
Pablo Lamela Seijas, Simon J. Thompson
Identifying and introducing interfaces and callbacks using Wrangler. IFL (2016)
Pablo Lamela Seijas, Simon J. Thompson, Darryl McAdams
Scripting smart contracts for distributed ledger technology. IACR Cryptol. ePrint Arch. 2016 (2016)
Simon J. Thompson
Review of spreadsheet implementation technology: Basics and extensions, by Peter Sestoft , MIT Press, 2014, ISBN 978-0-262-52664-7. J. Funct. Program. 26 (2016)
Huiqing Li, Simon J. Thompson
Safe Concurrency Introduction through Slicing. PEPM (2015)
Pablo Lamela Seijas, Simon J. Thompson, Ramsay Taylor, Kirill Bogdanov, John Derrick
Synapse: automatic behaviour inference and implementation comparison for Erlang. Erlang Workshop (2014)
Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson
A Normal Form for Spider Diagrams of Order. DMS (2014)
Huiqing Li, Simon J. Thompson
Improved semantics and implementation through property-based testing with QuickCheck. AST (2014)
Huiqing Li, Simon J. Thompson, Pablo Lamela Seijas, Miguel Angel Francisco
Automating property-based testing of evolving web services. PEPM (2014)
Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson
A normal form for spider diagrams of order. J. Vis. Lang. Comput. 25 (6) (2014)
Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson
On the expressiveness of spider diagrams and commutative star-free regular languages. J. Vis. Lang. Comput. 24 (4) (2013)
Huiqing Li, Simon J. Thompson
Multicore profiling for Erlang programs using percept2. Erlang Workshop (2013)
Robert Baker, Peter Rodgers, Simon J. Thompson, Huiqing Li
Multi-level Visualization of Concurrent and Distributed Computation in Erlang. DMS (2013)
Pablo Lamela Seijas, Huiqing Li, Simon J. Thompson
Towards property-based testing of RESTful web services. Erlang Workshop (2013)
Simon J. Thompson, Huiqing Li
Refactoring tools for functional languages. J. Funct. Program. 23 (3) (2013)
Ralf Lämmel, Simon J. Thompson, Markus Kaiser
Programming errors in traversal programs over structured data. Sci. Comput. Program. 78 (10) (2013)
Huiqing Li, Simon J. Thompson
A Domain-Specific Language for Scripting Refactorings in Erlang. FASE (2012)
Huiqing Li, Simon J. Thompson
Let's make refactoring tools user-extensible! WRT@ICSE (2012)
Oleg Kiselyov, Julia Lawall, Simon J. Thompson
Editorial PEPM2012. High. Order Symb. Comput. 25 (1) (2012)
Alberto Moraglio, Fernando E. B. Otero, Colin G. Johnson, Simon J. Thompson, Alex Alves Freitas
Evolving recursive programs using non-recursive scaffolding. IEEE Congress on Evolutionary Computation (2012)
Huiqing Li, Simon J. Thompson
Automated API migration in a user-extensible refactoring tool for Erlang programs. ASE (2012)
Olivier Boudeville, Francesco Cesarini, Natalia Chechina, Kenneth Lundin, Nikolaos Papaspyrou, Konstantinos Sagonas, Simon J. Thompson, Phil Trinder, Ulf T. Wiger
RELEASE: A High-Level Paradigm for Reliable Large-Scale Server Software - (Project Paper). Trends in Functional Programming (2012)
Ralf Lämmel, Simon J. Thompson, Markus Kaiser
Programming errors in traversal programs over structured data CoRR (2012)
Huiqing Li, Simon J. Thompson
Incremental Clone Detection and Elimination for Erlang Programs. FASE (2011)
Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson
Extracting QuickCheck specifications from EUnit test cases. Erlang Workshop (2011)
Huiqing Li, Simon J. Thompson, Thomas Arts
Extracting Properties from Test Cases by Refactoring. ICST Workshops (2011)
Thomas Arts, Simon J. Thompson
From test cases to FSMs: augmented test-driven development and property inference. Erlang Workshop (2010)
Huiqing Li, Simon J. Thompson
Refactoring Support for Modularity Maintenance in Erlang. SCAM (2010)
Christopher Brown, Simon J. Thompson
Clone detection and elimination for Haskell. PEPM (2010)
Dániel Drienyovszky, Dániel Horpácsi, Simon J. Thompson
Quickchecking refactoring tools. Erlang Workshop (2010)
Aidan J. Delaney, Gem Stapleton, John Taylor, Simon J. Thompson
Fragments of Spider Diagrams of Order and Their Relative Expressiveness. Diagrams (2010)
Huiqing Li, Simon J. Thompson
Similar Code Detection and Elimination for Erlang Programs. PADL (2010)
Huiqing Li, Simon J. Thompson
Improved Testing through Refactoring: Experience from the ProTest Project. TAIC PART (2010)
Christopher Brown, Huiqing Li, Simon J. Thompson
An Expression Processor: A Case Study in Refactoring Haskell Programs. Trends in Functional Programming (2010)
Darren K. Griffin, David Mitchell, Simon J. Thompson
Podcasting by synchronising PowerPoint and voice: What are the pedagogical benefits? Comput. Educ. 53 (2) (2009)
Ralf Lämmel, Simon J. Thompson, Markus Kaiser
Programming Errors in Traversal Programs Over Structured Data. Electron. Notes Theor. Comput. Sci. 238 (5) (2009)
Huiqing Li, Simon J. Thompson
Clone detection and removal for Erlang/OTP within a refactoring environment. PEPM (2009)
John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson
Property-Based Testing - The ProTest Project. FMCO (2009)
Gem Stapleton, John Taylor, Simon J. Thompson, John Howse
The expressiveness of spider diagrams augmented with constants. J. Vis. Lang. Comput. 20 (1) (2009)
Francesco Cesarini, Simon J. Thompson
Erlang Behaviours: Programming with Process Design Patterns. CEFP (2009)
Huiqing Li, Simon J. Thompson, George Orösz, Melinda Tóth
Refactoring with wrangler, updated: data and process refactorings, and integration with eclipse. Erlang Workshop (2008)
Huiqing Li, Simon J. Thompson
Tool support for refactoring functional programs. WRT@OOPSLA (2008)
Huiqing Li, Simon J. Thompson
Tool support for refactoring functional programs. PEPM (2008)
Aidan J. Delaney, John Taylor, Simon J. Thompson
Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. Diagrams (2008)
Nik Sultana, Simon J. Thompson
Mechanical verification of refactorings. PEPM (2008)
Simon J. Thompson, Christopher Brown, Huiqing Li, Claus Reinke, Nik Sultana
Refactoring Functional Programs at the University of Kent. WRT (2007)
Jens Eliasson, Per Lindgren, Jerker Delsing, Simon J. Thompson, Yi-Bing Cheng
A Power Management Architecture for Sensor Nodes. WCNC (2007)
Huiqing Li, Simon J. Thompson
Testing Erlang Refactorings with QuickCheck. IFL (2007)
Simon J. Thompson, Peter R. King, Patrick Schmitz
Declarative extensions of XML languages. ACM Symposium on Document Engineering (2007)
Huiqing Li, Simon J. Thompson
Comparative Study of Refactoring Haskell and Erlang Programs. SCAM (2006)
Chris Ryder, Simon J. Thompson
Software metrics: measuring Haskell. Trends in Functional Programming (2005)
Huiqing Li, Simon J. Thompson, Claus Reinke
The Haskell Refactorer, HaRe, and its API. Electron. Notes Theor. Comput. Sci. 141 (4) (2005)
Gem Stapleton, Simon J. Thompson, Andrew Fish, John Howse, John Taylor
A New Language for the Visualization of Logic and Reasoning. DMS (2005)
Huiqing Li, Simon J. Thompson
Formalisation of Haskell refactorings. Trends in Functional Programming (2005)
Octavian Patrascoiu, Simon J. Thompson, Peter Rodgers
Tableaux for Diagrammatic Reasoning. DMS (2005)
Simon J. Thompson, Peter R. King, Helen Cameron
Modelling Reactive Multimedia: Design and Authoring. Multim. Tools Appl. 27 (1) (2005)
Gem Stapleton, John Howse, John Taylor, Simon J. Thompson
What Can Spider Diagrams Say? Diagrams (2004)
Simon J. Thompson
Refactoring Functional Programs. Advanced Functional Programming (2004)
Gem Stapleton, John Howse, John Taylor, Simon J. Thompson
The Expressiveness of Spider Diagrams. J. Log. Comput. 14 (6) (2004)
Peter R. King, Patrick Schmitz, Simon J. Thompson
. ACM Symposium on Document Engineering (2004)
Gem Stapleton, John Howse, John Taylor, Simon J. Thompson
The Expressiveness of Spider Diagrams Augmented with Constants. VL/HCC (2004)
Howard Bowman, Helen Cameron, Peter R. King, Simon J. Thompson
Mexitl: Multimedia in Executable Interval Temporal Logic. Formal Methods Syst. Des. 22 (1) (2003)
Helen Cameron, Peter R. King, Simon J. Thompson
Modeling Reactive Multimedia: Events and Behaviors. Multim. Tools Appl. 19 (1) (2003)
Howard Bowman, Simon J. Thompson
A Decision Procedure and Complete Axiomatization of Finite Interval Temporal Logic with Projection. J. Log. Comput. 13 (2) (2003)
Patrick Schmitz, Simon J. Thompson, Peter R. King
Presentation Dynamism in XML Functional Programming meets SMIL Animation. WWW (Posters) (2003)
Huiqing Li, Claus Reinke, Simon J. Thompson
Tool support for refactoring functional programs. Haskell (2003)
Erik Poll, Simon J. Thompson
Integrating Computer Algebra and Reasoning through the Type System of Aldor. FroCoS (2000)
Simon J. Thompson
A functional reactive animation of a lift using Fran. J. Funct. Program. 10 (3) (2000)
Nathan Charles, Howard Bowman, Simon J. Thompson
From ACT-ONE to Miranda, a translation experiment. Comput. Stand. Interfaces 19 (1) (1998)
Peter R. King, Helen Cameron, Howard Bowman, Simon J. Thompson
Synchronization in Multimedia Documents. EP (1998)
Howard Bowman, Simon J. Thompson
A Tableau Method for Interval Temporal Logic with Projection. TABLEAUX (1998)
Simon J. Thompson
Where Do I Begin? A Problem Solving Approach in teaching Functional Programming. PLILP (1997)
Simon J. Thompson, Steve Hill
Functional Programming Through the Curriculum. FPLE (1995)
Simon J. Thompson
A Logic for Miranda, Revisited. Formal Aspects Comput. 7 (4) (1995)

Simon J. Thompson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Simon J. Thompson