Managed Languages & Runtimes Week '16 is a premier forum for presenting and discussing innovations and breakthroughs in the area of programming languages and runtime systems, which form the basis of many modern computing systems, from small scale (
embedded and real-time systems) to large-scale (cloud-computing and big-data platforms).
Managed Languages & Runtimes Week '16 features three international academic and industry venues for the first time:
- PPPJ '16 - 13th International Conference on Principles and Practices of Programming on the Java Platform: virtual machines, languages, and tools - A forum for researchers, practitioners, and educators to present and discuss novel results on all aspects
of managed languages and their runtime systems, including virtual machines, tools, methods, frameworks, libraries, case studies, and experience reports. Managed languages and runtime systems of interest include, but are not limited to, Java, Scala,
- JTRES '16 - 14th International Workshop on Java Technologies for Real-time and Embedded Systems - A workshop for researchers working on real-time and embedded Java with the goal of identifying the challenging problems that still need to be solved in
order to assure the success of real-time Java as a technology and reporting results and experience.
- VMM '16 - 3rd Virtual Machine Meetup - A venue for discussing the latest research and developments in the area of managed language execution.
Managed Languages & Runtimes Week takes place from August 29 to September 2, 2016. Presentation of papers accepted at PPPJ '16 and JTRES '16 will take place on August 29-31, while VMM '16 will be held on September 1-2.
Title: From Managed Languages to Guarded Programs
Date and Time: Tuesday, August 30th - h. 14.30
Managed languages allow the runtime system to perform dynamic checks to detect a wide range of problems. But even the combination of managed languages and static checks has not eliminated software attacks. One reason is that non-managed languages
continue to be important (and will likely remain so). In this talk I'll argue that managed languages may not have gone far enough and discuss how dynamic checking based on binary translation can detect various kinds of attacks. Given the abundance of
computing cycles, it appears prudent to rethink the role of the core software system and the hardware execution engine(s) in supporting reliable software.
About The Speaker:
Thomas R. Gross is a Professor of Computer Science at ETH Zurich. He joined Carnegie Mellon University in 1984 after receiving a Ph.D. in Electrical Engineering from Stanford University. In 2000, he became a Full Professor at ETH Zurich. He is interested
in tools, techniques, and abstractions for software construction and has worked on many aspects of the design and implementation of software and computer systems. His current work concentrates on low-cost/low-complexity networks (in collaboration with
Disney Research, Zurich), compilers, and programming parallel systems.
Thomas R. Gross has been a PI or co-PI of various research grants and contracts. Recent projects, supported by the Swiss National Science Foundation, include the "Datacenter Observatory", a joint EPFL-ETH Zurich-USI project to support system-level
research and teaching, and a collaboration with USI on novel approaches for dynamic program analysis.
PPPJ '16 and JTRES '16 General Chair: Walter Binder - University of Lugano (USI), Switzerland
PPPJ '16 Program Committee Chair: Petr Tůma - Charles University, Czech Republic
JTRES '16 Program Committee Chair: Martin Schoeberl - Technical University of Denmark, Denmark
VMM '16 Organizer: Thomas Würthinger - Oracle Labs, Switzerland
Organizing Chair: Yudi Zheng - University of Lugano (USI), Switzerland Publicity Chair: Andrea Rosà - University of Lugano (USI), Switzerland
Web Chair: Giacomo Toffetti Carughi - University of Lugano (USI), Switzerland