If you do not see this message displayed properly, please click here


The Faculty of Informatics is pleased to announce a seminar given by Stephen Kell



A dynamic object model in Unix processes, and what it's good for
Speaker: Stephen Kell
University of Cambridge, UK
Date: Wednesday, December 14, 2016
Place: USI Lugano Campus, room SI-004, Informatics building (Via G. Buffi 13)
Time: 13:30



Today's diversity of languages, libraries and virtual machines ought to be a boon for programmers, but instead they fragment our infrastructure.

The resulting integration problems continually limit the re-usability of code and the insight of tools; one major source of problems is the division between "managed" language virtual machines (VMs) and the Unix-like "native" environment. I'll outline my research into an evolutionary way to bridge this chasm, based on extending Unix-like services to become "VM-like". I'll then focus on one specific area of technical work: the libcrunch system for run-time type and memory safety checking. This instruments unsafe C code using techniques reminiscent of safe virtual machines, and provides an efficient yet memory-safe implementation of C (not a dialect). I'll briefly discuss some other in-progress applications of the infrastructure, including a precise whole-process garbage collector and a "wide-spectrum" multi-language programming environment.



Stephen Kell is a Research Associate at the University of Cambridge. His interests include most topics related to programming.

His work's emphasis is on improving the flexibility and expressiveness of infrastructure software, from programming language implementations downwards. He received his PhD from the University of Cambridge in 2012, and has done postdoctoral work in Oxford and Lugano.


Host: Prof. Walter Binder


Faculty of Informatics

Faculty of Informatics
Università della Svizzera italiana
Via Giuseppe Buffi 13
CH-6904 Lugano
Tel.: +41 (0)58 666 46 90
Fax: +41 (0)58 666 45 36
Email: decanato.inf@usi.ch
Web: www.inf.usi.ch
Twitter: @USI_INF


Segui USI@EXPO2015 su Twitter Segui USI@EXPO2015 su Facebook Segui USI@EXPO2015 su Linkedin Segui USI@EXPO2015 su YouTube