# Huawei-Edinburgh Joint Lab

### 【ERC Coffee House】Intermediate Language, Cost Model, and Code Generator for Heterogenous Computing

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

### 【ERC Coffee House】Looking beyond Optane Persistent Memory [Haris Volos]

Date Thursday 27th October @ 14:00 – 15:00 (UK time) Presenter Prof. Haris Volos Affiliation University of Cyprus Location Bayes center G.03 Online link: TBD Note: this is a talk open to the public. Abstract Persistent memory has emerged as a key persistence programming model for non-volatile memory technologies, such as Intel Optane Persistent Memory. […]

### 【ERC Coffee House】Fault-Tolerant Data Structures in Settings with Non-Volatile Main Memory [Panagiota Fatourou]

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

### ICFP 2022 Paper: The Theory of Call-by-Value Solvability

by Beniamino Accattoli (INRIA) and Giulio Guerrieri (Huawei Edinburgh, PL team) 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 […]

### September 2022 Workshop Schedule

Huawei Edinburgh Lab September 2022 Workshop Schedule Because of the Queen’s funeral on 19 September we are compressing the workshop into two days (20th and 21st September).  We may still need to make adjustments to the schedule below. Tuesday 20 September – Bayes Centre G.03 UK Time China time Topic/title Speakers 08:15-08:30 15:15-15:30 Coffee 08:30-08:50 […]

### Mini-workshop on effects and cost models

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

### Andreas Rossberg (MPI) : Wasm 2.0 and Beyond

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

### Upcoming paper: Rewriting for monoidal closed categories at FSCD 2022

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

### Upcoming paper: The Theory of Call-by-Value Solvability at ICFP 2022

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

### Upcoming paper in OOPSLA: Higher Level Effect Handlers in C++

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

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.

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