1st Virtual Machine Meetup at ETH Zurich

[Thomas Wuerthinger]

We are inviting to the 1st Virtual Machine Meetup at ETH Zurich to exchange ideas with other computer scientists in this area. Presentations will discuss the current state of the art and future directions in virtual machine technology (detailed agenda with talk titles and presenters below).

Date: 11th and 12th of September 2014
Time: 9:00 - 16:30
Location: IFW A 32.1 at ETH Zurich

Attendance is open, but attendees should register by sending a note to "thomas.wuerthinger at oracle.com” (due to limited seating).

Regards,
Thomas Wuerthinger
Senior Research Manager
Oracle Labs

======================================================

Thursday, 11th of September

09:00 - 09:30	Oracle Labs VM Research Overview (Thomas Wuerthinger, Oracle Labs)
09:30 - 10:00	Three Research Threads with Potential Application in Data Analytics (Markus Püschel, Department of Computer Science, ETH Zurich)
10:00 - 10:30	The Oracle - Linz JVM Research Cooperation (Hanspeter Mössenböck, Johannes Kepler University Linz)
10:30 - 11:00	*** Coffee Break ***
11:00 - 11:30	Optimizing Allocations with Partial Escape Analysis (Lukas Stadler, Oracle Labs)
11:30 - 12:00	Late Data Layout: Unifying Data Representation Transformations (Vlad Ureche, Programming Methods Laboratory, EPFL)

13:30 - 14:00	Garbage Collection for Distributed Systems (Tim Harris, Oracle Labs)
14:00 - 14:30	Reflecting on Advanced Distributed Programs (Elisa Gonzalez Boix, Vrije Universiteit Brussel)
14:30 - 15:00	Comprehensive Multi-Platform Dynamic Program Analysis for the Java and Dalvik VM (Walter Binder and Yudi Zheng, University of Lugano)
15:00 - 15:30	*** Coffee Break ***
15:30 - 16:00	Beyond Virtual Machines: Dynamic Control Flow Integrity (Thomas Gross, Laboratory for Software Technology, ETH Zurich)
16:00 - 16:30	EventRacer: Concurrency Analysis for Event-Driven Applications (Martin Vechev, Software Reliability Lab, ETH Zurich)

Friday, 12th of September

09:00 - 09:30	Generating Interpreters from DynSem Specifications (Eelco Visser and Vlad Vergu, Delft University of Technology)
09:30 - 10:00	High-performance JavaScript on top of Truffle (Christian Wirth, Oracle Labs)
10:00 - 10:30	Tools for the Development of Correct Software (Peter Müller, Chair of Programming Methodology, Department of Computer Science, ETH Zurich)
10:30 - 11:00	*** Coffee Break ***
11:00 - 11:30	Purity Analysis for JavaScript (Jens Nicolay, Software Languages Lab, Vrije Universiteit Brussel)
11:30 - 12:00	ScalaMeter (Aleksandar Prokopec, Programming Methods Laboratory, EPFL)

13:30 - 14:00	FastR (Michael Haupt, Oracle Labs)
14:00 - 14:30	Language Integration and Migration (Laurence Tratt, Software Development Team, Informatics, King's College London)
14:30 - 15:00	Language Support for Reactive Applications (Guido Salvaneschi, Technische Universität Darmstadt)
15:00 - 15:30	*** Coffee Break ***
15:30 - 16:00	Incremental Updates for Graph Queries (Sandro Stucki, EPFL LAMP & Oracle Labs)
16:00 - 16:30	Space-Time Views For Back-In-Time Debugging (Mohammad Azadmanesh, University of Lugano)