{"id":1015,"date":"2016-10-13T11:17:05","date_gmt":"2016-10-13T10:17:05","guid":{"rendered":"http:\/\/blogs.kent.ac.uk\/unikentcomp-news\/?p=1015"},"modified":"2016-10-13T11:17:05","modified_gmt":"2016-10-13T10:17:05","slug":"top-conference-accepts-three-papers-from-school","status":"publish","type":"post","link":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/2016\/10\/13\/top-conference-accepts-three-papers-from-school\/","title":{"rendered":"Top conference accepts three papers from School"},"content":{"rendered":"<p>Three papers from members of the School have been accepted to a leading conference. The Symposium on Principles of Programming Languages (<a href=\"http:\/\/conf.researchr.org\/home\/POPL-2017\">POPL<\/a>) is the leading venue for theoretical and experimental programming language and systems research.<\/p>\n<p><a href=\"https:\/\/www.cs.kent.ac.uk\/people\/staff\/rg399\/\">Radu Grigore<\/a> and <a href=\"https:\/\/www.cs.kent.ac.uk\/people\/staff\/mjb211\/\">Mark Batty<\/a> are both members of the <a href=\"https:\/\/www.cs.kent.ac.uk\/research\/groups\/plas\/\">Programming Languages and Systems<\/a> Research Group in the School of Computing. The accepted papers are:<\/p>\n<p>&#8211; R. Grigore, <em>Java Generics are Turing Complete<\/em><\/p>\n<p>&#8211; J. Wickerson, M. Batty, T. Sorensen, G. Constantinides,<br \/>\n<em> Automatically Comparing Memory Consistency Models<\/em><\/p>\n<p>&#8211; S. Flur, S. Sarkar, C. Pulte, K. Nienhuis, L. Maranget, K. Gray, A. Sezgin, M. Batty, P. Sewell,\u00a0\u00a0<em>Mixed-size Concurrency: ARM, POWER, C\/C++11, and SC<\/em><\/p>\n<p>The POPL 2017 conference is organised by the Association for Computing Machinery Special Interest Group on Programming Languages (ACM SIGPLAN).\u00a0The conference will take place in Paris on\u00a0Wednesday 18 to\u00a0Friday 20 January 2017.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Three papers from members of the School have been accepted to a leading conference. The Symposium on Principles of Programming Languages (POPL) is the leading &hellip; <a href=\"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/2016\/10\/13\/top-conference-accepts-three-papers-from-school\/\">Read&nbsp;more<\/a><\/p>\n","protected":false},"author":5321,"featured_media":1016,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[124,70],"tags":[131,112420],"_links":{"self":[{"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/posts\/1015"}],"collection":[{"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/users\/5321"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/comments?post=1015"}],"version-history":[{"count":2,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/posts\/1015\/revisions"}],"predecessor-version":[{"id":1018,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/posts\/1015\/revisions\/1018"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/media\/1016"}],"wp:attachment":[{"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/media?parent=1015"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/categories?post=1015"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/tags?post=1015"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}