Gordon Plotkin

View Scopus Profile

Gordon Plotkin

PROF

 https://orcid.org/0000-0001-8496-6096
If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2021

    Fixed-Points for Quantitative Equational Logics

    Mardare, R., Panangaden, P. & Plotkin, G. D., 9 Jul 2021, Proceedings of the 36th Annual Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers (IEEE), 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2018

    An Algebraic Theory of Markov Processes

    Bacci, G., Mardare, R., Panangaden, P. & Plotkin, G., 9 Jul 2018, Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Oxford, United Kingdom: ACM, p. 679-688 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2017

    On the Axiomatizability of Quantitative Algebras

    Plotkin, G., Mardare, R. & Panangaden, P., 18 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Institute of Electrical and Electronics Engineers (IEEE), 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Dijkstra Monads for Free

    Ahman, D., Hritcu, C., Maillard, K., Martínez, G., Plotkin, G., Protzenko, J., Rastogi, A. & Swamy, N., 1 Jan 2017, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. ACM, p. 515-529 15 p. (ACM SIGPLAN Notices; vol. 52, no. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2016

    Chromar, a rule-based language of parameterised objects

    Honorato Zimmer, R., Millar, A., Plotkin, G. & Zardilis, A., 7 Sep 2016, The Seventh International Workshop on Static Analysis and Systems Biology (SASB 2016). 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Quantitative Algebraic Reasoning

    Mardare, R., Panangaden, P. & Plotkin, G., 5 Jul 2016, LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. New York, USA: ACM, p. 700-709 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Interacting with Large Distributed Datasets using Sketch

    Budiu, M., Isaacs, R., Murray, D., Plotkin, G., Barham, P., Al-Kiswany, S., Boshmaf, Y., Luo, Q. & Andoni, A., 7 Jun 2016, The 16th Eurographics Symposium on Parallel Graphics and Visualization (EGPGV 2016). Groningen, Netherlands: Eurographics Association, 13 p. (EGPGV: Eurographics Workshop on Parallel Graphics and Visualization).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Dependent Types and Fibred Computational Effects

    Ahman, D., Ghani, N. & Plotkin, G. D., Mar 2016, Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Springer Berlin Heidelberg, p. 36-54 19 p. (Lecture Notes in Computer Science; vol. 9634).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Scaling Network Verification using Symmetry and Surgery

    Plotkin, G. D., Bjørner, N., Lopes, N. P., Rybalchenko, A. & Varghese, G., 11 Jan 2016, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, p. 69-83 15 p. (ACM SIGPLAN Notices; vol. 51, no. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2015

    Foundations of Differential Dataflow

    Abadi, M., McSherry, F. & Plotkin, G., 2015, Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Pitts, A. (ed.). Springer Berlin Heidelberg, p. 71-83 13 p. (Lecture Notes in Computer Science; vol. 9034).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2013

    Partial Recursive Functions and Finality

    Plotkin, G. D., 2013, Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Springer Berlin Heidelberg, Vol. 7860. p. 311-326 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • The Compiler Forest

    Budiu, M., Galenson, J. & Plotkin, G. D., 2013, Programming Languages and Systems: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Springer Berlin Heidelberg, Vol. 7792. p. 21-40 20 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2012

    Algebraic foundations for effect-dependent optimisations

    Kammar, O. & Plotkin, G. D., 2012, Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages. New York, NY, USA: ACM, p. 349-360 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Concurrency and the Algebraic Theory of Effects - (Abstract)

    Plotkin, G. D., 2012, CONCUR 2012 - Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings. Springer Berlin Heidelberg, Vol. 7454. p. 21-22 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2011

    Coloured stochastic multilevel multiset rewriting

    Oury, N. & Plotkin, G., 2011, Proceedings of the 9th International Conference on Computational Methods in Systems Biology . ACM, p. 171-181 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2010

    A Language for Biochemical Systems: Design and Formal Specification

    Pedersen, M. & Plotkin, G., 2010, Transactions on Computational Systems Biology XII: Special Issue on Modeling Methodologies. Springer-Verlag GmbH, Vol. 5945. p. 77-145 69 p. (Lecture Notes in Computer Science; vol. 5945).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Robin Milner, a Craftsman of Tools for the Mind

    Plotkin, G. D., 2010, 25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010). LOS ALAMITOS: Institute of Electrical and Electronics Engineers (IEEE), p. 58-59 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2009

    Adequacy for Infinitary Algebraic Effects (Abstract)

    Plotkin, G. D., 2009, Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. Springer Berlin Heidelberg, p. 1-2 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • A model of cooperative threads

    Abadi, M. & Plotkin, G. D., 2009, Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009. p. 29-40 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Approximating Labelled Markov Processes Again!

    Chaput, P., Danos, V., Panangaden, P. & Plotkin, G., 2009, Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. Kurz, A., Lenisa, M. & Tarlecki, A. (eds.). Springer Berlin Heidelberg, Vol. 5728. p. 145-156 12 p. (Lecture Notes in Computer Science; vol. 5728).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Approximating Markov Processes by Averaging

    Chaput, P., Danos, V., Panangaden, P. & Plotkin, G., 2009, Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II. Albers, S., Marchetti-Spaccamela, A., Matias, Y., Nikoletseas, S. & Thomas, W. (eds.). Springer Berlin Heidelberg, Vol. 5556. p. 127-138 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Approximating Markov Processes by Averaging

    Chaput, P., Danos, V., Panangaden, P. & Plotkin, G. D., 2009, Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II. Springer Berlin Heidelberg, Vol. 5556. p. 127-138 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Handlers of Algebraic Effects

    Plotkin, G. & Pretnar, M., 2009, Programming Languages and Systems: 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Castagna, G. (ed.). Springer-Verlag GmbH, p. 80-94 15 p. (Lecture Notes in Computer Science; vol. 5502).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2008

    A Language for Biochemical Systems

    Pedersen, M. & Plotkin, G. D., 2008, Computational Methods in Systems Biology: 6th International Conference, CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings. Springer Berlin Heidelberg, Vol. 5307. p. 63-82 20 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • A Logic for Algebraic Effects

    Plotkin, G. & Pretnar, M., 2008, Logic in Computer Science, 2008. LICS '08. 23rd Annual IEEE Symposium on. Institute of Electrical and Electronics Engineers (IEEE), p. 118-129 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories

    Hasegawa, M., Hofmann, M. & Plotkin, G. D., 2008, Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Springer Berlin Heidelberg, Vol. 4800. p. 367-385 19 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2006

    Hennessy-Plotkin-Brookes Revisited

    Plotkin, G., 2006, Proceedings of the 26th International Conference on Foundations of Software Technology and Theoretical Computer Science. Berlin, Heidelberg: Springer-Verlag, p. 4-4 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2004

    Event Structures for Resolvable Conflict

    van Glabbeek, R. & Plotkin, G., 27 Aug 2004, Mathematical Foundations of Computer Science 2004: 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings. Fiala, J., Koubek, V. & Kratochvíl, J. (eds.). Heidelberg: Springer Berlin Heidelberg, p. 550-561 12 p. (Lecture Notes in Computer Science; vol. 3153).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2002

    Notions of Computation Determine Monads

    Plotkin, G. & Power, J., 2002, Foundations of Software Science and Computation Structures: 5th International Conference, FOSSACS 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002 Proceedings. Nielsen, M. & Engberg, U. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 342-356 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 2000

    Complete Axioms for Categorical Fixed-Point Operators

    Simpson, A. & Plotkin, G., 2000, Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science. Washington, DC, USA: Institute of Electrical and Electronics Engineers (IEEE), p. 30-41 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Lax Logical Relations

    Plotkin, G. D., Power, J., Sannella, D. & Tennent, R. D., 2000, Automata, Languages and Programming: 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings. Springer Berlin Heidelberg, p. 85-102 18 p. (Lecture Notes in Computer Science; vol. 1853).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1995

    Configuration Structures (extended abstract)

    van Glabbeek, R. J. & Plotkin, G. D., 29 Jun 1995, 10^th$ Annual IEEE Symposium on Logic in Computer Science, 5, San Diego, USA, June 1995. Kozen, D. (ed.). Institute of Electrical and Electronics Engineers (IEEE), p. 199-209 11 p. (Annual Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution