BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Hungary
1 × India
1 × Romania
1 × The Netherlands
1 × United Kingdom
2 × Estonia
2 × Spain
3 × Germany
6 × USA
Collaborated with:
H.Li R.Lämmel M.Kaiser P.R.King P.Schmitz C.Reinke C.Brown F.Cesarini N.Sultana S.Hill P.L.Seijas M.A.Francisco R.N.S.Rowe H.Férée S.Owens
Talks about:
program (16) refactor (11) erlang (9) function (6) detect (4) support (3) haskel (3) elimin (3) clone (3) tool (3)

Person: Simon J. Thompson

DBLP DBLP: Thompson:Simon_J=

Facilitated 4 volumes:

GTTSE 2011SciCo
ICMT 2011PrCo
GTTSE 2007SciCo
GTTSE 2005SciCo

Contributed to:

PEPM 20152015
PEPM 20142014
ASE 20122012
FASE 20122012
FASE 20112011
PADL 20102010
PEPM 20102010
SCAM 20102010
CEFP 20092009
SCP, 20132013
PEPM 20092009
LDTA 20082009
PEPM 20082008
DocEng 20072007
IFL 20072007
SCAM 20062006
LDTA 20052005
AFP 20042004
DocEng 20042004
PLILP 19971997
FPLE 19951995
LFP 19861986
Haskell 20032003
PLDI 20192019

Wrote 25 papers:

PEPM-2015-LiT #concurrent #slicing
Safe Concurrency Introduction through Slicing (HL, SJT), pp. 103–113.
PEPM-2014-LiTSF #automation #evolution #testing #web #web service
Automating property-based testing of evolving web services (HL, SJT, PLS, MAF), pp. 169–180.
ASE-2012-LiT #api #automation #erlang #migration #refactoring #source code
Automated API migration in a user-extensible refactoring tool for Erlang programs (HL, SJT), pp. 294–297.
FASE-2012-LiT #domain-specific language #erlang #refactoring
A Domain-Specific Language for Scripting Refactorings in Erlang (HL, SJT), pp. 501–515.
FASE-2011-LiT #clone detection #detection #erlang #incremental #source code
Incremental Clone Detection and Elimination for Erlang Programs (HL, SJT), pp. 356–370.
PADL-2010-LiT #detection #erlang #source code
Similar Code Detection and Elimination for Erlang Programs (HL, SJT), pp. 104–118.
PEPM-2010-BrownT #clone detection #detection #haskell
Clone detection and elimination for Haskell (CB, SJT), pp. 111–120.
SCAM-2010-LiT #composition #erlang #maintenance #refactoring
Refactoring Support for Modularity Maintenance in Erlang (HL, SJT), pp. 157–166.
CEFP-2009-CesariniT #behaviour #design pattern #erlang #process #programming
Erlang Behaviours: Programming with Process Design Patterns (FC, SJT), pp. 19–41.
LDTA-J-2009-LammelTK #fault #programming #source code #traversal
Programming errors in traversal programs over structured data (RL, SJT, MK), pp. 1770–1808.
PEPM-2009-LiT #clone detection #detection #erlang #refactoring
Clone detection and removal for Erlang/OTP within a refactoring environment (HL, SJT), pp. 169–178.
LDTA-2008-LammelTK09 #fault #programming #source code #traversal
Programming Errors in Traversal Programs Over Structured Data (RL, SJT, MK), pp. 135–153.
PEPM-2008-LiT #functional #refactoring #source code #tool support
Tool support for refactoring functional programs (HL, SJT), pp. 199–203.
PEPM-2008-SultanaT #refactoring #verification
Mechanical verification of refactorings (NS, SJT), pp. 51–60.
DocEng-2007-ThompsonKS #declarative #xml
Declarative extensions of XML languages (SJT, PRK, PS), pp. 89–91.
IFL-2007-LiT #erlang #quickcheck #refactoring #testing
Testing Erlang Refactorings with QuickCheck (HL, SJT), pp. 19–36.
SCAM-2006-LiT #case study #comparative #erlang #haskell #refactoring #source code
Comparative Study of Refactoring Haskell and Erlang Programs (HL, SJT), pp. 197–206.
LDTA-2005-LiTR #api #haskell
The Haskell Refactorer, HaRe, and its API (HL, SJT, CR), pp. 29–34.
AFP-2004-Thompson04 #functional #refactoring #source code
Refactoring Functional Programs (SJT), pp. 331–357.
DocEng-2004-KingST #animation #behaviour #functional #programming #realtime #xml
Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation (PRK, PS, SJT), pp. 57–66.
PLILP-1997-Thompson #approach #education #functional #problem #programming
Where Do I Begin? A Problem Solving Approach in teaching Functional Programming (SJT), pp. 323–334.
FPLE-1995-ThompsonH #education #functional #programming
Functional Programming Through the Curriculum (SJT, SH), pp. 85–102.
LFP-1986-Thompson
Laws in Miranda (SJT), pp. 1–12.
Haskell-2003-LiRT #functional #refactoring #source code #tool support
Tool support for refactoring functional programs (HL, CR, SJT), pp. 27–38.
PLDI-2019-RoweFTO #implementation #ml
Characterising renaming within OCaml's module system: theory and implementation (RNSR, HF, SJT, SO), pp. 950–965.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.