Rewriting for monoidal closed categories David Sprunger, Dan Ghica, Fabio Zanasi and Mario Alvarez-Picallo. This paper develops a formal string diagram language for monoidal closed categories. Previous workhas shown that string diagrams for freely generated symmetric monoidal categories can be viewedas hypergraphs with interfaces, and the axioms of these categories can be realized by rewritingsystems. This work proposes […]
The Theory of Call-by-Value Solvability The denotational semantics of the untyped $\lambda$-calculus is a well developed field built around the concept of solvable terms, which are elegantly characterized in many different ways. In particular, unsolvable terms provide a consistent notion of meaningless term. The semantics of the untyped call-by-value lambda-calculus is instead still in its […]
High-Level Type-Safe Effect Handlers in C++ DAN GHICA, Huawei Research, UK SAM LINDLEY, The University of Edinburgh, UK MARCOS MAROÑAS BRAVO, Huawei Research, UK MACIEJ PIRÓG, Huawei Research, UK Effect handlers allow the programmer to implement computational effects, such as custom error handling, various forms of lightweight concurrency, and dynamic binding, inside the programming language. […]
Date Thursday 14th July @ 14:00 – 15:00 (UK time) Presenter Subarna Chatterjee Affiliation Harvard University Location [Online] Meeting link: https://welink.zhumu.com/j/159295680 Abstract We present a self-designing key-value storage engine, Cosine, which can take the shape of the close to “perfect” engine architecture given an input workload, a cloud budget, a target performance, and required cloud […]
Date Thursday 16th June @ 11:30 – 12:30 (UK time) Presenter Marios Kogias Affiliation Imperial Location [Physical] TBA [Online] Meeting link: https://welink.zhumu.com/j/218737227 Abstract Online services play a major role in our everyday life for communication, entertainment, socializing, e-commerce, etc. These services run inside datacenters under strict tail-latency service level objectives. The emergence of new hardware […]
Prof. Maribel Fernández (King’s College London) will give a talk, in person and online, for the Coffee House Tech Talk Series. The details of the talk are below. A lunch will be provided after the talk. When: Tuesday 7 June 2022 at 11am (UK time). Where (in person): Room G.03, Bayes Centre (47 Potterrow, Edinburgh EH8 9BT). Where (virtually): Zhumu link […]
Date Thursday 9 June @ 09:30 – 10:30 (UK time) Presenter Maciej Besta Affiliation ETH Zurich Location [Online] Meeting link: https://welink.zhumu.com/j/158022218 Abstract Graph neural networks (GNNs) are among the most powerful tools in deep learning. They routinely solve complex problems on unstructured networks, such as node classification, graph classification, or link prediction, with high […]
Dr. Dominic Orchard (University of Kent) will give a talk, in person and online, for the Coffee House Tech Talk Series. The details of the talk are below. When: Tuesday 31 May 2022 at 11am (UK time). Where (in person): Room G.03, Bayes Centre (47 Potterrow, Edinburgh EH8 9BT). Where (virtually): Zhumu link (https://meeting.zhumu.me/wc/0178099193/join?track_id=&jmf_code=&meeting_result=&tk=&cap=d7cec&prefer=0), everybody […]
Bcc to all staff of UKRD ——————– When: Tuesday 17 May 2022 at 11am (UK time). Where (in person): Room G.03, Bayes Centre (47 Potterrow, Edinburgh EH8 9BT). Where (virtually): Zhumu link (https://meeting.zhumu.me/wc/0145848734/join?track_id=&jmf_code=&meeting_result=&tk=&cap=d7cec&prefer=0), everybody is welcome! You can access it from your own browser or Zoom app, without installing anything. Speaker: Paul B. Levy (University of Birmingham)
When: Tuesday 24 May 2022 at 11am (UK time). Where (in person): Room G.03, Bayes Centre (47 Potterrow, Edinburgh EH8 9BT). Where (virtually): Zhumu link: http://imeeting.huawei.com/meeting/join?id=0148144957&app=welink§ype=0 Speakers: Nobuko Yoshida and Martin Vassor (Imperial College London)
Recent comments