Any views expressed within media held on this service are those of the contributors, should not be taken as approved or endorsed by the University, and do not necessarily reflect the views of the University in respect of any particular issue.

Category: tech talk

For the Huawei – University of Edinburgh Tech Talk Series, we are organizing a day workshop, in person and online, about diagrammatic methods to formalise and reason about programming languages and their implementation.When : 24 Jan 2023, 0900-1730Where (Physically) : Bayes Centre, 47 Potterrow, Edinburgh EH8 9BT, United KingdomWhere (Virtually) : https://welink.zhumu.com/j/800989138Registration: https://www.smartsurvey.co.uk/s/D8MKWE/Morning Session @Room […]

Date Thursday 20th October @ 14:00 – 15:00 (UK time) Presenter Prof. Syed Waqar Nabi Affiliation University of Glasgow Location Online link: https://welink.zhumu.com/j/189695019 Note: this is a talk open to the public. Abstract I will talk primarily about the work I did during my postdoc in the EPSRC funded “TyTra” project, which had the aim […]

Date Thursday 22nd September @ 09:30 – 11:00 (UK time) Presenter Prof. Panagiota Fatourou Affiliation FORTH and University of Crete Location [Online] Meeting link: https://welink.zhumu.com/j/100950586 Note: this is a talk open to the public. Abstract This talk will present generic approaches for deriving recoverable synchronization algorithms, as well as recoverable implementations of many widely-used concurrent […]

For the Huawei – University of Edinburgh Tech Talk Series, we are organizing a mini-workshop, in person and online, about foundations of programming languages. There are no registration fees. The details of the program and talks are below. A lunch will be provided between the talks. When: Tuesday 26 July 2022, from 11:00 to 14:15. (UK time). Where (in person): […]

WebAssembly (Wasm) is a virtual instruction set architecture designed for portability, performance, safety, and formal rigour. After its initial release, it has seen wide adoption across diverse ecosystems, such as the Web, edge computing, distributed computing, mobile, embedded systems, and others. Recently, release 2.0 of Wasm was published, which represents a step forward towards a […]

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 […]

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 Tuesday 17 May @ 09:30 – 10:30 (UK time) Presenter Christina Giannoula Affiliation National Technical University of Athens (NTUA) Location [Online] Meeting link: https://welink.zhumu.com/j/149868852   Abstract Several manufacturers have already started to commercialize near-bank Processing-In-Memory (PIM) architectures, after decades of research efforts. Near-bank PIM architectures place simple cores close to DRAM banks. Recent research […]

css.php

Report this page

To report inappropriate content on this page, please use the form below. Upon receiving your report, we will be in touch as per the Take Down Policy of the service.

Please note that personal data collected through this form is used and stored for the purposes of processing this report and communication with you.

If you are unable to report a concern about content via this form please contact the Service Owner.

Please enter an email address you wish to be contacted on. Please describe the unacceptable content in sufficient detail to allow us to locate it, and why you consider it to be unacceptable.
By submitting this report, you accept that it is accurate and that fraudulent or nuisance complaints may result in action by the University.

  Cancel