[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by bibtex, Benedict Bunting"></meta><meta name="description" content="Publications, by bibtex, Department of Computer Science, Oxford, Benedict Bunting"></meta><title>Department of Computer Science, University of Oxford: Benedict  Bunting : Publications
</title><style type="text/css">
			  .btn-toolbar::after, .btn-toolbar::before
			  {
			    content: " ";
			    display: table;
			  }

			
			.btn-toolbar
			{
			    margin-bottom: 2em;
			}

			  .btn-toolbar::after, .btn-group::after
			  {
			    clear: both;
			  }


			.btn-toolbar .btn, .btn-toolbar .btn-group
			  {
			    float: left;
			}
			
			.btn-group
			  {
			    display: inline-block;
			    position: relative;
			    vertical-align: middle;
			}

			  .btn-group > .btn:first-child:not(:last-child)
			  {
			    border-bottom-right-radius: 0;
			    border-top-right-radius: 0;
			}
			
			.btn-group > .btn:first-child
			  {
			    margin-left: 0;
			}

			.btn-group > .btn
			  {
			    float: left;
			    position: relative;
			}

			  .btn-group > .btn:not(:first-child):not(:last-child)
			  {
			    border-radius: 0;
			}
			
			  .btn-group > .btn:last-child:not(:first-child)
			  {
			    border-bottom-left-radius: 0;
			    border-top-left-radius: 0;
			}
			
			.btn-group .btn + .btn, .btn-group .btn + .btn-group, .btn-group .btn-group + .btn, .btn-group .btn-group + .btn-group
			  {
			    margin-left: -2px;
			}
			</style>[an error occurred while processing this directive]<div class="content-width"><ol class="breadcrumb text-uppercase"><li><a href="/">Home</a></li><li><a href="/aboutus/">About Us</a></li><li><a href="/people/">People</a></li><li><a href="/people/students.html">Students</a></li><li><a href="/people/Benedict.Bunting"><span itemprop="name">Benedict  Bunting</span></a></li><li class="active">Publications</li></ol></div><!-- MOBILE NAVIGATION --><div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div><!-- COLUMNS --><div class="container-fluid content-width"><div class="row"><div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent"><!-- CONTENT (Column 2) --><div class="page-title"><h1>Benedict  Bunting : Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/people/publications/date/Benedict.Bunting.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/people/publications/title/Benedict.Bunting.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/people/publications/type/Benedict.Bunting.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/people/publications/bibtex/Benedict.Bunting.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><p></p><p>Click <a href="/people/publications/bibtex/Benedict.Bunting.bib">here</a> to download all publications in a single bibtex file</p><pre>
@inproceedings{DBLP:conf/lics/BuntingM25,
  title = "Reachability Types, Traces and Full Abstraction",
  author = "Benedict Bunting and Andrzej S. Murawski",
  year = "2025",
  booktitle = "40th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2025, Singapore, June 23-26, 2025",
  pages = "1--13",
  publisher = "{IEEE}",
}</pre><pre>
@inproceedings{DBLP:conf/lics/BuntingM24,
  title = "Contextual Equivalence for State and Control via Nested Data",
  author = "Benedict Bunting and Andrzej S. Murawski",
  year = "2024",
  booktitle = "Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024",
  editor = "Pawel Sobocinski and Ugo Dal Lago and Javier Esparza",
  pages = "19:1--19:14",
  publisher = "{ACM}",
  url = "https://doi.org/10.1145/3661814.3662109",
  doi = "10.1145/3661814.3662109",
}</pre><pre>
@inproceedings{DBLP:conf/lics/BuntingM23,
  title = "Operational Algorithmic Game Semantics",
  author = "Benedict Bunting and Andrzej S. Murawski",
  year = "2023",
  booktitle = "38th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2023, Boston, MA, USA, June 26-29, 2023",
  pages = "1--13",
  publisher = "{IEEE}",
  url = "https://doi.org/10.1109/LICS56636.2023.10175791",
  doi = "10.1109/LICS56636.2023.10175791",
}</pre></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col"><h2 class="side-menu-title text-uppercase"><a href="#">About Us</a></h2><ul class="side-menu"><li class="active mobile-menu-source"><a href="/people/">People</a><ul><li><a href="/people/faculty.html">Faculty</a></li><li><a href="/people/research.html">Research</a></li><li class="active"><a href="/people/students.html">Students</a></li><li><a href="/people/support.html">Professional Services</a></li><li><a href="/people/visitingprofessors.html">Visiting Professors</a></li><li><a href="/people/emeritusfaculty.html">Emeritus Faculty</a></li></ul></li><li><a href="/aboutus/vacancies/">Vacancies</a></li><li><a href="/aboutus/women-cs-oxford/index.html">Women in the department</a></li><li><a href="/aboutus/equality-diversity-inclusion/index.html">Equality, diversity and inclusion</a></li><li><a href="https://www.alumniweb.ox.ac.uk/cs/make-a-donation">Support Us</a></li><li><a href="/aboutus/cshistory.html">Our History</a></li><li><a href="/aboutus/contact.html">Contact Us</a></li></ul></div></div></div>[an error occurred while processing this directive]