Thursday, March 25, 2010
Session 2 (10:30 - 12:30)
Optimization Techniques (Session chair: Jens Knoop, the Vienna University of Technology, Austria)

  • "Mining Opportunities for Code Improvement in a Just-In-Time Compiler"

    Adam Jocksch, University of Alberta, Canada
    Marcel Mitran, IBM Toronto Software Laboratory, Canada
    Joran Siu, IBM Toronto Software Laboratory, Canada
    Nikola Grcevski, IBM Toronto Software Laboratory, Canada
    Jose Nelson Amaral, University of Alberta, Canada

  • "Unrestricted Code Motion: A Program Representation and Transformation Algorithms based on Future Values"

    Shuhan Ding, Michigan Tech University, United States
    Soner Onder, Michigan Tech University, United States

  • "Optimizing MATLAB through Just-In-Time Specialization"

    Maxime Chevalier-Boisvert, McGill University, Canada
    Laurie Hendren, McGill University, Canada
    Clark Verbrugge, McGill University, Canada

  • "RATA: Rapid Atomic Types Analysis by Abstract Interpretation. Application to JavaScript optimization"

    Francesco Logozzo, Microsoft Research, United States
    Herman Venter, Microsoft Research, United States

Session 3 (15:30 - 16:30)
Program Transformations (Session chair: Xipeng Shen, the College of William and Mary, USA)

  • "JReq: Database Queries in Imperative Languages"

    Ming-Yee Iu, EPFL, Switzerland
    Emmanuel Cecchet, UMass, United States
    Willy Zwaenepoel, EPFL, Switzerland

  • "Verifying Local Transformations of Concurrent Programs"

    Sebastian Burckhardt, Microsoft Research, United States
    Madanlal Musuvathi, Microsoft Research, United States
    Vasu Singh, EPFL, Switzerland

Session 4 (17:00 - 18:30)
Program Analysis (Session chair: Madan Musuvathi, Microsoft Research, USA)

  • "Practical Extensions to the IFDS Algorithm"

    Nomair Naeem, University of Waterloo, Canada
    Ondrej Lhotak, University of Waterloo, Canada
    Jonathan Rodriguez, University of Waterloo, Canada

  • "Using Ownership to Reason about Inherent Parallelism in Object-Oriented Programs"

    Andrew Craik, Queensland University of Technology, Australia
    Wayne Kelly, Queensland University of Technology, Australia

Friday, March 26, 2010
Session 1 (9:00 - 10:00)
Invited Speaker (Session chair: Rajiv Gupta, University of California at Riverside, USA)

  • "Programming Clouds"

    James Larus, Microsoft Research, USA

Session 2 (10:30 - 12:30)
Register Allocation (Session chair: J Nelson Amaral, University of Alberta, Canada)

  • "Punctual Coalescing"

    Fernando Pereira, The Federal University of Minas Gerais (UFMG), Brazil
    Jens Palsberg, UCLA, United States

  • "Strategies for Predicate-Aware Register Allocation"

    Gerolf Hoflehner, Intel Corp, United States

  • "Preference-Guided Register Assignment"

    Matthias Braun, Universität Karlsruhe, Germany
    Christoph Mallon, Saarland University, Germany
    Sebastian Hack, Saarland University, Germany

  • "Validating register allocation and spilling"

    Silvain Rideau, Ecole Normale Supérieure, France
    Xavier Leroy, INRIA Paris-Rocquencourt, France

Session 3 (14:30 - 16:30)
High-Performance Systems (Session chair: Xavier Leroy, INRIA Paris-Rocquencourt, France)

  • "Automatic C-to-CUDA Code Generation for Affine Programs"

    Muthu Manikandan Baskaran, The Ohio State University, United States
    J Ramanujam, Louisiana State University, United States
    P Sadayappan, The Ohio State University, United States

  • "Is Reuse Distance Applicable to Data Locality Analysis on Chip Multiprocessors?"

    Yunlian Jiang, The College of William and Mary, United States
    Eddy Zheng Zhang, The College of William and Mary, United States
    Kai Tian, The College of William and Mary, United States
    Xipeng Shen, The College of William and Mary, United States

  • "The Polyhedral Model Is More Widely Applicable Than You Think"

    Mohamed-Walid Benabderrahmane, Alchemy Group, INRIA Saclay and University of Paris-Sud 11, France
    Cedric Bastoul, INRIA Saclay and University of Paris-Sud 11 and Reservoir Labs Inc, France
    Albert Cohen, INRIA Saclay, France
    Louis-Noel Pouchet, INRIA Saclay and University of Paris-Sud 11, France

  • "The Hot Path SSA Form: Extending the Static Single Assignment Form for Speculative Optimizations"

    Subhajit Roy, Indian Institute of Science, Bangalore, India
    Y.N. Srikant, Indian Institute of Science, Bangalore, India