Sat 13 Jan 2018 17:00 - 17:30 at Crocker - Session 3

It is undeniable that most developers today are building distributed applications. However, most of these applications are developed by composing existing systems together through unspecified APIs exposed to the application developer. Systems are not going away: they solve a particular problem and most applications today need to rely on several of these systems working in concert. Given this, we propose a research direction where higher-level languages with well defined semantics target underlying systems infrastructure as a middle-ground.

Abstract (obt18-paper4.pdf)354KiB

Sat 13 Jan
Times are displayed in time zone: Tijuana, Baja California change

16:00 - 18:00: Session 3Off the Beaten Track at Crocker
16:00 - 16:30
Talk
Back to the Future with Denotational Semantics
Off the Beaten Track
Jeremy G. SiekIndiana University, USA
File Attached
16:30 - 17:00
Talk
Climbing Up the Semantic Tower — at Runtime
Off the Beaten Track
File Attached
17:00 - 17:30
Talk
Towards A Systems Approach To Distributed Programming
Off the Beaten Track
Christopher MeiklejohnUniversité catholique de Louvain, Peter Van RoyUniversité catholique de Louvain
File Attached
17:30 - 18:00
Day closing
Discussion and business meeting
Off the Beaten Track