Centre for Programming Languages and Systems

Research output

Research output per year 2013 2015 2016 2017 2018 2019 2020 2021 2024

• 69 Conference contribution
• 32 Article
• 8 Conference article
• 3 Chapter
• 7 More
  • 3 Paper
  • 2 Abstract
  • 1 Internet publication
  • 1 Software

Research output per year

Research output per year

Search results

• 2023

  A model of actors and grey failures

  Bocchi, L., Lange, J., Thompson, S. & Voinea, A. L., 22 Nov 2023, In: Logical Methods in Computer Science. 19, 4

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Automated Verification of Concurrent Go Programs via Bounded Model Checking

  Dilley, N. & Lange, J., 26 Aug 2023, In: Automated Software Engineering. 30, 29.

  Research output: Contribution to journal › Article › peer-review

• Memory Access Protocols: Certified Data-Race Freedom for GPU Kernels

  Cogumbreiro, T., Lange, J., Liew Zhen Rong, D. & Zicarelli, H., 26 May 2023, In: Formal Methods in System Design.

  Research output: Contribution to journal › Article › peer-review
  1 Downloads (Pure)

• Multiple input parsing and lexical analysis

  Scott, E., Johnstone, A. & Walsh, R. M., 3 May 2023, In: ACM Transactions on Programming Languages and Systems.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  36 Downloads (Pure)
• 2021

  Actor-based model checking for Software-Defined Networks

  Albert, E., Gómez-Zamalloa, M., Isabel, M., Rubio, A., Sammartino, M. & Silva, A., Jan 2021, In: Journal of Logical and Algebraic Methods in Programming. 118, 25 p., 100617.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  29 Downloads (Pure)

• A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

  Bravetti, M., Carbone, M., Lange, J., Yoshida, N. & Zavattaro, G., 4 Mar 2021, In: Logical Methods in Computer Science. 17, 1, p. 1-35 35 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Collapsible Pushdown Parity Games

  Hague, M., Serre, O., Carayol, A., Ong, C-H. L., Murawski, A. & Broadbent, C., 22 Jul 2021, In: ACM Transactions on Computational Logic. 22, 3, p. 1 51 p., 16.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  36 Downloads (Pure)
• 2020

  Non-well-founded Proof Theory of Transitive Closure Logic

  Cohen, L. & Rowe, R., Aug 2020, In: ACM Transactions on Computational Logic. 21, 4, p. 1-31 31 p., 31.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  67 Downloads (Pure)

• Purely functional GLL parsing

  van Binsbergen, L. T., Scott, E. & Johnstone, A., Jun 2020, In: Journal of Computer Languages. 58, 17 p., 100945.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  178 Downloads (Pure)
• 2019

  A (co)algebraic theory of succinct automata

  Heerdt, G. V., Moerman, J., Sammartino, M. & Silva, A., Jun 2019, In: Journal of Logical and Algebraic Methods in Programming. 105, p. 112-125 14 p.

  Research output: Contribution to journal › Article › peer-review
  5 Downloads (Pure)

• CSS Minification via Constraint Solving

  Hague, M., Lin, A. & Hong, C-D., 21 Jun 2019, In: ACM Transactions on Programming Languages and Systems. 41, 2, p. 1-76 76 p., 12.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  79 Downloads (Pure)

• Derivation representation using binary subtree sets

  Scott, E., Johnstone, A. & van Binsbergen, L. T., 15 Apr 2019, In: Science of Computer Programming. 175, p. 63-84 22 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  182 Downloads (Pure)

• Principled and Pragmatic Specification of Programming Languages

  Johnstone, A. & Scott, E., 23 Sept 2019, (E-pub ahead of print) In: Lecture Notes in Computer Science. 11758, p. 165-180 16 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  151 Downloads (Pure)

• Towards automated reasoning in Herbrand structures

  Cohen, L., Rowe, R. & Zohar, Y., Sept 2019, In: Journal of Logic and Computation. 29, 5, p. 693-721 29 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  33 Downloads (Pure)
• 2018

  Decidable models of integer-manipulating programs with recursive parallelism

  Hague, M. & Lin, A., 30 Nov 2018, In: Theoretical Computer Science. 750, p. 24-37 14 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  21 Downloads (Pure)

• Frontier: resilient edge processing for the internet of things

  O'Keeffe, D., Salonidis, T. & Pietzuch, P. R., Jun 2018, In: VLDB Endowment. 11, 10, p. 1178-1191 14 p.

  Research output: Contribution to journal › Article › peer-review

• GLL syntax analysers for EBNF grammars

  Scott, E. & Johnstone, A., 15 Nov 2018, In: Science of Computer Programming. 166, p. 120-145 26 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  747 Downloads (Pure)
• 2017

  Collapsible Pushdown Automata and Recursion Schemes

  Hague, M., Murawski, A., Ong, C-H. L. & Serre, O., 21 Aug 2017, In: ACM Transactions on Computational Logic. 18, 3, p. 1-42 42 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  48 Downloads (Pure)
• 2016

  Structuring the GLL parsing algorithm for performance

  Scott, E. & Johnstone, A., 1 Sept 2016, In: Science of Computer Programming. 125, p. 1-22 22 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  804 Downloads (Pure)
• 2015

  A coalgebraic semantics for causality in Petri nets

  Bruni, R., Montanari, U. & Sammartino, M., Nov 2015, In: Journal of Logical and Algebraic Methods in Programming. 84, 6, p. 853-883 31 p.

  Research output: Contribution to journal › Article › peer-review

• Choreographies in the wild

  Bartoletti, M., Lange, J., Scalas, A. & Zunino, R., 1 Oct 2015, In: Science of Computer Programming. 109, p. 36-60 25 p.

  Research output: Contribution to journal › Article › peer-review

• From communicating machines to graphical choreographies

  Lange, J., Tuosto, E. & Yoshida, N., Jan 2015, In: ACM SIGPLAN Notices. 50, 1, p. 221-232 12 p.

  Research output: Contribution to journal › Article › peer-review

• From Local to Global Knowledge and Back

  Hoch, N., Monreale, G. V., Montanari, U., Sammartino, M. & Siwe, A. T., 2015, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8998, p. 185-220 36 p.

  Research output: Contribution to journal › Article › peer-review

• Network-Conscious π-calculus - A Model of Pastry

  Montanari, U. & Sammartino, M., 24 Apr 2015, In: Electronic Notes in Theoretical Computer Science. 312, p. 3-17 15 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Principled software microengineering

  Johnstone, A. & Scott, E., 1 Jan 2015, In: Science of Computer Programming. 97, Part 1, p. 64–68 5 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  140 Downloads (Pure)

• Reconfigurable and Software-Defined Networks of Connectors and Components

  Bruni, R., Montanari, U. & Sammartino, M., 2015, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8998, p. 73-106 34 p.

  Research output: Contribution to journal › Article › peer-review

• Revisiting causality, coalgebraically

  Bruni, R., Montanari, U. & Sammartino, M., Feb 2015, In: Acta Informatica. 52, 1, p. 5-33 29 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  51 Downloads (Pure)
• 2014

  A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours

  Ciancia, V. & Sammartino, M., 23 Dec 2014, (E-pub ahead of print) In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8902, p. 97-111 15 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  33 Downloads (Pure)

• A network-conscious π-calculus and its coalgebraic semantics

  Montanari, U. & Sammartino, M., 21 Aug 2014, In: Theoretical Computer Science. 546, p. 188-224 37 p.

  Research output: Contribution to journal › Article › peer-review

• Modular grammar specification

  Johnstone, A., Scott, E. & van den Brand, M., 1 Jul 2014, In: Science of Computer Programming. 87, p. 23-43 21 p.

  Research output: Contribution to journal › Article › peer-review

  File
  358 Downloads (Pure)

• Semantic Types and Approximation for Featherweight Java

  Rowe, R. & van Bakel, S., 16 Jan 2014, In: Theoretical Computer Science. 517, p. 34-74 41 p.

  Research output: Contribution to journal › Article › peer-review
• 2013

  GLL parse-tree generation

  Scott, E. & Johnstone, A., 1 Oct 2013, In: Science of Computer Programming. 78, 10, p. 1828–1844 17 p.

  Research output: Contribution to journal › Article › peer-review

  File
  993 Downloads (Pure)