IVME03 Program and Papers
Complete proceedings | BibTeX entries
Session 1: 9:05-10:15
- 9:05 Opening remarks
- 9:15 Embedding an Interpreted Language Using Higher-Order Functions and Types (Abstract, Paper)
- Norman Ramsey (Harvard)
- 9:45 Executable JVM Model for Analytical Reasoning: A Study (Abstract, Paper)
- Hanbing Liu, J Strother Moore (UT Austin)
Coffee break
Session 2: 10:45-11:15
- 10:45 A Portable Virtual Machine Target for Proof-Carrying Code (Abstract, Paper)
- Michael Franz, Deepak Chandra, Andreas Gal, Vivek Haldar, Fermin Reig and Ning Wang (UC Irvine)
Plenary session (FCRC invited talk): 11:30-12:30, Grand Ballroom
- 11:30 Building a Web Warehouse
- Hector Garcia-Molina (Stanford)
Lunch
Session 3: 14:00-15:30
- 14:00 Generation of Fast Interpreters for Huffman Compressed Bytecode (Abstract, Paper)
- Mario Latendresse (FNMOC/US Navy), Marc Feeley (Université de Montréal)
- 14:30 The Case for Virtual Register Machines (Abstract, Paper)
- Brian Davis, Andrew Beatty, Kevin Casey, David Gregg and John Waldron (Trinity College Dublin)
- 15:00 Dynamic Native Optimization of Interpreters (Abstract, Paper)
- Gregory T. Sullivan, Derek L. Bruening, Iris Baron, Timothy Garnett, Saman Amarasinghe (MIT)
Coffee break
Session 4: 16:00-17:30
- 16:00 Joeq: A Virtual Machine and Compiler Infrastructure (Abstract, Paper)
- John Whaley (Stanford)
- 16:30 Engineering a Customizable Intermediate Representation (Abstract, Paper)
- K. Palacz, J. Baker, C. Flack, C. Grothoff, H. Yamauchi, J. Vitek (Purdue)
- 17:00 Open discussion and closing remarks
Anton Ertl
HTML 2.0