‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
Mon 1 Apr 2019 11:35 - 12:20 at Verdi - ICW Intro Chair(s): Eric Jul

Truffle is a language-implementation framework written in Java, which has been used to implement various languages in the multi-lingual GraalVM. These languages include Ruby and Python, which rely on native extensions in order to execute code written in languages such as C/C++. To execute native extensions, we implemented Sulong, a LLVM IR interpreter that runs on Truffle and which is used in place of a native function interface in the GraalVM. This talk will give an overview of Sulong, how it is used within the GraalVM, and how it interacts with inline assembly code, compiler builtins, and the underlying operating system.

Bio: Manuel Rigger is a postdoctoral researcher, mentored by Hanspeter Mössenböck, at Johannes Kepler University Linz working on system security, software reliability, language implementation, and software-repository mining to uncover knowledge relevant for these areas. As part of his dissertation, he developed Sulong, a Truffle-based execution system for LLVM-based languages, which is used in place of a native function interface within GraalVM. From March 2019, he will work as a postdoctoral researcher, mentored by Zhendong Su, at ETH Zurich.

I am a postdoctoral researcher interested mainly in the secure execution of programs written in low-level languages such as C. I work on source-level and binary-level bug-finding and bug-mitigation approaches, low-level software security in general, the efficient implementation of programming languages, and the mining of software repositories to uncover knowledge related to these topics.

Mon 1 Apr

icw-2019-papers
11:00 - 12:30: ICW 2019 - ICW Intro at Verdi
Chair(s): Eric JulUniversity of Oslo
icw-2019-papers11:00 - 11:15
Day opening
Eric JulUniversity of Oslo
icw-2019-papers11:15 - 11:35
Talk
Oleks ShturmovUniversity of Oslo
icw-2019-papers11:35 - 12:20
Talk
Manuel RiggerETH Zurich
icw-2019-papers12:20 - 12:30
Other
Eric JulUniversity of Oslo, Oleks ShturmovUniversity of Oslo

I am a postdoctoral researcher interested mainly in the secure execution of programs written in low-level languages such as C. I work on source-level and binary-level bug-finding and bug-mitigation approaches, low-level software security in general, the efficient implementation of programming languages, and the mining of software repositories to uncover knowledge related to these topics.