We are proud to announce our keynote speakers for Managed Languages & Runtimes Week 2016:
Thomas R. Gross
(ETH Zurich, Switzerland)
From Managed Languages to Guarded Programs
Tuesday, August 30th
14:30 - 16:00
Abstract
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 elimiated 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.
James J. Hunt
(aicas GmbH, Germany)
The New Realtime Specification for Java and the Future of IoT
Wednesday, August 31st
16:20 - 17:20
Abstract
The specification for JSR 282 is nearly complete and work is underway on both a reference implementation and a test suite. This is the first major update to the Realtime Specification for Java since its inception a decade ago. Though the RTSJ 1.0 had many good aspects, it was not complete enough for the demands of embedded and realtime programming. The new version, 2.0, addresses these issues just in time for their use in IoT. IoT is not just about embedding browsers in devices and pepping up HTML, but about a new way of putting devices together. RTSJ 2.0 provides the APIs needed for data collection and realtime analysis, so not all data need be collected centrally. Using Java provides a means of safe and secure update that is not available for other embedded languages, so that IoT devices can be kept up to date over their lifespan.
About The Speaker
Dr. James J. Hunt is a cofounder and CEO of aicas, a leading vendor of virtual machine technology, frameworks, and tools for Java-based systems. He has a BS in Computer Science and Physics from Yale University, an MA in Computer Science from Boston University, and a Doctorate of Engineering in Computer Science from the University of Karlsruhe. He spent several years as a researcher at the Massachusetts Institute of Technology Lincoln Laboratory developing CAD software for restructurable wafer scale integrated circuits (RVLSI) and a parallel Lisp system for signal processing. Dr. Hunt was technical lead for the IST project HIDOORS and the Artemis CHARTER project, both developing technology for Java-based embedded and safety-critical systems. He is the specification lead the Real-Time Specification for Java (JSR-282). He participated in the SC-205/WG-71 Plenary for updating software safety standard for avionics, where he was the European cochair for the Object-Oriented Technology subgroup.