Peter D Mosses

Professor Emeritus, Computer Science, Swansea University

BA, MSc, DPhil (Oxford)

News

• This website is no longer maintained, and contains outdated information. My new home page is on GitHub:
  
  
  • https://pdmosses.github.io
    
    
• I became a Professor Emeritus of Swansea University in January 2016. I will henceforth often be away from Swansea, and might not respond promptly to email. I am visiting the Programming Languages Group, TU Delft, The Netherlands, until August 2019.
  
  The focus of my current research is further development of the component-based approach to semantics established by the PLanCompS project, together with tool support and major case studies.
  
  
• Beta-release of CBS – a framework for component-based specification of programming languages
  • Funcons-beta: an initial library of 'funcons' (fundamental programming constructs)
  • Languages-beta: several illustrative languages specified by translation to funcons
    
    
• Modularity'16 Demonstration Track paper: Tool support for component-based semantics, with Thomas van Binsbergen and Neil Sculthorpe
  
  
• SIS – Semantics Implementation System (1979): Reference Manual (PDF), Tested Examples (PDF)
  [copied from the Semantics Library of Cliff B Jones]
  
  
• My festschrift: Semantics and Algebraic Specification, edited by Jens Palsberg, with contributions by many international colleagues and former students, is published by Springer as LNCS 5700:

Meetings

Recent and forthcoming meetings in which I'm involved (in chronological order):

• SLE 2017: 10th ACM SIGPLAN International Conference on Software Language Engineering, Vancouver, Canada, 23–24 October 2017 (Keynote: Engineering meta-languages for specifying software languages, video on YouTube)
• LangDev Meet-Up 2018 @ CWI, Amsterdam, The Netherlands, 8–9 March 2018 (Presentation: Funcons – reusable components of language specifications, slides PDF)
• CoCoDo 2018: Compiler Coding Dojo, Nice, France, 9 April 2018 (Presentation: FunCons)
• IFIP WG 2.11: Working Group Meeting on Program Generation, Kyoto, Japan, 4–7 June 2018 (Member, presentation: The CBS Framework, slides PDF)
• Modeling for Sustainability, Dagstuhl, Germany, 26–31 August 2018
• IFIP WG 2.2: Working Group Meeting on Formal Description of Programming Concepts, Brno, Czech Republic, 17–19 September 2018 (Member)
• SBLP 2018: XXII Brazilian Symposium on Programming Languages, University of São Paulo (ICMC/USP), São Carlos/SP, Brazil, 20–21 September 2018 (PC member)
• PLNL 2018: First VERSEN Workshop on Programming Languages in The Netherlands, Utrecht, The Netherlands, 22 November 2018
• Doctoral defence of Pablo Inostroza Valdera, University of Amsterdam, The Netherlands, 29 November 2018 (committee member)
• BENEVOL 2018: The 17th Belgium-Netherlands Software Evolution Workshop, Delft, The Netherlands, 10–11 December 2018
• Seminar by Mohammad Mousavi: Conformance Testing as a Tool for Designing Connected Vehicle Functions, Delft, The Netherlands, 13 December 2018 (visit host)
  
  
• LangDev'19: an informal meeting on language development using language workbenches, Amsterdam, The Netherlands, 21–22 March 2019
• FSEN 2019: 8th IPM International Conference on Fundamentals of Software Engineering, Tehran, Iran, 1–3 May 2019 (PC member)
• SBLP 2019: XXIII Brazilian Symposium on Programming Languages, Universidade Federal da Bahia – UFBA, Salvador, Brazil, 23–27 September 2019 (PC member)
• HFM 2019: History of Formal Methods Workshop, Porto, Portugal, 11 October 2019 (PC member)
  

Previous meetings…