Demonstrations

Demonstrations

Cedalion 101: "I Want My DSL Now" (1/3)

Tue 10:15-11:00 am - Galleria I

Cedalion 101: "I Want My DSL Now"

David Lorenz, Open University of Israel, Israel

Boaz Rosenan, Open University of Israel, Israel

DrHJ — the cure to your Multicore Programming Woes (1/3)

Tue 10:15-11:00 am - Galleria II

DrHJ — the cure to your Multicore Programming Woes

Vincent Cave, Rice University, United States

Vivek Sarkar, Rice University, United States

Jarred Payne, Rice University, United States

Raghavan Raman, Rice University, United States

Mathias Ricken, Rice University, United States

Corky Cartwright, Rice University, United States

A HIP and SLEEK Verification System (1/3)

Tue 11:05-11:50 am - Galleria I

A HIP and SLEEK Verification System

Wei-Ngan Chin, National University of Singapore, Singapore

Cristina David, National University of Singapore, Singapore

Cristian Gherghina, National University of Singapore, Singapore

Mobl: The New Language of the Mobile Web (1/3)

Tue 11:05-11:50 am - Galleria II

Mobl: The New Language of the Mobile Web

Zef Hemel, Delft University of Technology, Netherlands

Eelco Visser, Delft University of Technology, Netherlands

Modularizing Crosscutting Concerns with Ptolemy (1/3)

Tue 11:05-11:50 am - Galleria III

Modularizing Crosscutting Concerns with Ptolemy

Hridesh Rajan, Iowa State University, United States

Sean Mooney, Iowa State University, United States

Gary Leavens, University of Central Florida, United States

Robert Dyer, Iowa State University, United States

Rex Fernando, Iowa State University, United States

Mohammad Darab, Iowa State University, United States

Bryan Welter, Iowa State University, United States

Guidance Trees — A New Programming Paradigm for Non-Programmers (1/3)

Tue 12:05-12:50 pm - Galleria I

Guidance Trees — A New Programming Paradigm for Non-Programmers

Michael Rowley, Active Endpoints, Inc., United States

Parallel Programming by Hints (1/3)

Tue 12:05-12:50 pm - Galleria II

Parallel Programming by Hints

Chen Ding, University of Rochester, United States

The Language of Languages Research Project: Unifying Concepts Expressed Across Different Notations (1/3)

Tue 12:05-12:50 pm - Galleria III

The Language of Languages Research Project: Unifying Concepts Expressed Across Different Notations

James R. Douglass, The Boeing Company, United States

Nicholas Chen, University of Illinois at Urbana-Champaign, United States

Ralph Johnson, University of Illinois, Urbana, IL, United States

Keshmesh: A Tool for Detecting and Fixing Java Concurrency Bug Patterns (1/3)

Tue 1:00-1:45 pm - Galleria I

Keshmesh: A Tool for Detecting and Fixing Java Concurrency Bug Patterns

Mohsen Vakilian, University of Illinois, Urbana, IL, United States

Stas Negara, University of Illinois, Urbana, IL, United States

Samira Tasharofi, University of Illinois, Urbana, IL, United States

Ralph Johnson, University of Illinois, Urbana, IL, United States

KonohaScript: Static Scripting for Practical Use (1/3)

Tue 1:00-1:45 pm - Galleria II

KonohaScript: Static Scripting for Practical Use

Kimio Kuramitsu, Yokohama National University, Japan

Software Objects Fairy Tales: Merging Design and Runtime Objects into the Cloud with MyDraft (1/3)

Tue 1:00-1:45 pm - Galleria III

Software Objects Fairy Tales: Merging Design and Runtime Objects into the Cloud with MyDraft

Michel Zam, KarmicSoft and Paris Dauphine University, France

Gilles Dodinet, KarmicSoft and Paris Dauphine University, France

Geneviève Jomier, Paris Dauphine University, France

Automatically Fixing Security Vulnerabilities in Java Code (1/3)

Tue 2:00-2:45 pm - Galleria I

Automatically Fixing Security Vulnerabilities in Java Code

Aharon Abadi, IBM Research - Haifa, Israel

Ran Ettinger, IBM Research - Haifa, Israel

Yishai A. Feldman, IBM Research - Haifa, Israel

Mati Shomrat, Tel Aviv University, Israel

BeneFactor: A Flexible Refactoring Tool for Eclipse (1/3)

Tue 2:00-2:45 pm - Galleria II

BeneFactor: A Flexible Refactoring Tool for Eclipse

Xi Ge, Department of Computer Science, North Carolina State University, United States

Emerson Murphy-Hill, North Carolina State University, USA

An 'Explicit Type Enforcement' Program Transformation Tool for Preventing Integer Vulnerabilities (1/3)

Tue 2:50-3:35 pm - Galleria I

An 'Explicit Type Enforcement' Program Transformation Tool for Preventing Integer Vulnerabilities

Munawar Hafiz, Auburn University, United States

Extending the Graal Compiler for Optimizing Libraries (1/3)

Tue 2:50-3:35 pm - Galleria III

Extending the Graal Compiler for Optimizing Libraries

Thomas Würthinger, Oracle Labs, Austria

How to give your language an audience: The Cloud9 IDE Platform (1/3)

Tue 2:50-3:35 pm - Galleria II

How to give your language an audience: The Cloud9 IDE Platform

Rik Arends, Cloud9 IDE, Inc

Changing State in the Plaid Language (1/3)

Tue 3:40-4:25 pm - Galleria III

Changing State in the Plaid Language

Joshua Sunshine, Carnegie Mellon University, United States

Sven Stork, Carnegie Mellon University / University of Coimbra, United States / Portugal

Karl Naden, Carnegie Mellon University, United States

Jonathan Aldrich, Carnegie Mellon University, United States

Sensor Composer: Composing Intelligent, Adaptive Virtual Sensors for Collaborative Sensing (1/3)

Tue 3:40-4:25 pm - Galleria I

Sensor Composer: Composing Intelligent, Adaptive Virtual Sensors for Collaborative Sensing

Hoi Chan, IBM Research, United States

Testing Domain-Specific Languages (1/1)

Tue 3:40-4:25 pm - Galleria II

Testing Domain-Specific Languages

Lennart C. L. Kats, Delft University of Technology, Netherlands

Rob Vermaas, Delft University of Technology, Netherlands

Eelco Visser, Delft University of Technology, Netherlands

Distributed Ray Tracing in X10 (1/3)

Tue 4:30-5:15 pm - Galleria I

Distributed Ray Tracing in X10

Dave Cunningham, IBM, United States

JP2 - Collecting Dynamic Bytecode Metrics in JVMs (1/3)

Tue 4:30-5:15 pm - Galleria II

JP2 - Collecting Dynamic Bytecode Metrics in JVMs

Aibek Sarimbekov, University of Lugano, Switzerland

Alex Villazon, University of Lugano, Switzerland

Walter Binder, University of Lugano, Switzerland

Andreas Sewe, CASED, Technische Universität Darmstadt, Germany

Mira Mezini, CASED, Technische Universität Darmstadt, Germany

Software Objects Fairy Tales: Merging Design and Runtime Objects into the Cloud with MyDraft (add'l)

Tue 4:30-5:15 pm - Galleria III

Software Objects Fairy Tales: Merging Design and Runtime Objects into the Cloud with MyDraft

Michel Zam, KarmicSoft and Paris Dauphine University, France

Gilles Dodinet, KarmicSoft and Paris Dauphine University, France

Geneviève Jomier, Paris Dauphine University, France

Changing State in the Plaid Language (2/3)

Wed 10:15-11:00 am - Galleria I

Changing State in the Plaid Language

Joshua Sunshine, Carnegie Mellon University, United States

Sven Stork, Carnegie Mellon University / University of Coimbra, United States / Portugal

Karl Naden, Carnegie Mellon University, United States

Jonathan Aldrich, Carnegie Mellon University, United States

How to give your language an audience: The Cloud9 IDE Platform (2/3)

Wed 10:15-11:00 am - Galleria II

How to give your language an audience: The Cloud9 IDE Platform

Rik Arends, Cloud9 IDE, Inc

An 'Explicit Type Enforcement' Program Transformation Tool for Preventing Integer Vulnerabilities (2/3)

Wed 11:05-11:50 am - Galleria II

An 'Explicit Type Enforcement' Program Transformation Tool for Preventing Integer Vulnerabilities

Munawar Hafiz, Auburn University, United States

Distributed Ray Tracing in X10 (2/3)

Wed 11:05-11:50 am - Galleria III

Distributed Ray Tracing in X10

Dave Cunningham, IBM, United States

Software Objects Fairy Tales: Merging Design and Runtime Objects into the Cloud with MyDraft (2/3)

Wed 11:05-11:50 am - Galleria I

Software Objects Fairy Tales: Merging Design and Runtime Objects into the Cloud with MyDraft

Michel Zam, KarmicSoft and Paris Dauphine University, France

Gilles Dodinet, KarmicSoft and Paris Dauphine University, France

Geneviève Jomier, Paris Dauphine University, France

A HIP and SLEEK Verification System (2/3)

Wed 12:05-12:50 pm - Galleria II

A HIP and SLEEK Verification System

Wei-Ngan Chin, National University of Singapore, Singapore

Cristina David, National University of Singapore, Singapore

Cristian Gherghina, National University of Singapore, Singapore

BeneFactor: A Flexible Refactoring Tool for Eclipse (2/3)

Wed 12:05-12:50 pm - Galleria I

BeneFactor: A Flexible Refactoring Tool for Eclipse

Xi Ge, Department of Computer Science, North Carolina State University, United States

Emerson Murphy-Hill, North Carolina State University, USA

Sensor Composer: Composing Intelligent, Adaptive Virtual Sensors for Collaborative Sensing (2/3)

Wed 12:05-12:50 pm - Galleria III

Sensor Composer: Composing Intelligent, Adaptive Virtual Sensors for Collaborative Sensing

Hoi Chan, IBM Research, United States

JP2 - Collecting Dynamic Bytecode Metrics in JVMs (2/3)

Wed 1:00-1:45 pm - Galleria III

JP2 - Collecting Dynamic Bytecode Metrics in JVMs

Aibek Sarimbekov, University of Lugano, Switzerland

Alex Villazon, University of Lugano, Switzerland

Walter Binder, University of Lugano, Switzerland

Andreas Sewe, CASED, Technische Universität Darmstadt, Germany

Mira Mezini, CASED, Technische Universität Darmstadt, Germany

Mobl: The New Language of the Mobile Web (2/3)

Wed 1:00-1:45 pm - Galleria II

Mobl: The New Language of the Mobile Web

Zef Hemel, Delft University of Technology, Netherlands

Eelco Visser, Delft University of Technology, Netherlands

Modularizing Crosscutting Concerns with Ptolemy (2/3)

Wed 1:00-1:45 pm - Galleria I

Modularizing Crosscutting Concerns with Ptolemy

Hridesh Rajan, Iowa State University, United States

Sean Mooney, Iowa State University, United States

Gary Leavens, University of Central Florida, United States

Robert Dyer, Iowa State University, United States

Rex Fernando, Iowa State University, United States

Mohammad Darab, Iowa State University, United States

Bryan Welter, Iowa State University, United States

Automatically Fixing Security Vulnerabilities in Java Code (2/3)

Wed 2:00-2:45 pm - Galleria I

Automatically Fixing Security Vulnerabilities in Java Code

Aharon Abadi, IBM Research - Haifa, Israel

Ran Ettinger, IBM Research - Haifa, Israel

Yishai A. Feldman, IBM Research - Haifa, Israel

Mati Shomrat, Tel Aviv University, Israel

Cedalion 101: "I Want My DSL Now" (2/3)

Wed 2:00-2:45 pm - Galleria II

Cedalion 101: "I Want My DSL Now"

David Lorenz, Open University of Israel, Israel

Boaz Rosenan, Open University of Israel, Israel

Guidance Trees — A New Programming Paradigm for Non-Programmers (2/3)

Wed 2:00-2:45 pm - Galleria III

Guidance Trees — A New Programming Paradigm for Non-Programmers

Michael Rowley, Active Endpoints, Inc., United States

DrHJ — the cure to your Multicore Programming Woes (2/3)

Wed 2:50-3:35 pm - Galleria II

DrHJ — the cure to your Multicore Programming Woes

Vincent Cave, Rice University, United States

Vivek Sarkar, Rice University, United States

Jarred Payne, Rice University, United States

Raghavan Raman, Rice University, United States

Mathias Ricken, Rice University, United States

Corky Cartwright, Rice University, United States

Keshmesh: A Tool for Detecting and Fixing Java Concurrency Bug Patterns (2/3)

Wed 2:50-3:35 pm - Galleria III

Keshmesh: A Tool for Detecting and Fixing Java Concurrency Bug Patterns

Mohsen Vakilian, University of Illinois, Urbana, IL, United States

Stas Negara, University of Illinois, Urbana, IL, United States

Samira Tasharofi, University of Illinois, Urbana, IL, United States

Ralph Johnson, University of Illinois, Urbana, IL, United States

Parallel Programming by Hints (2/3)

Wed 2:50-3:35 pm - Galleria I

Parallel Programming by Hints

Chen Ding, University of Rochester, United States

Extending the Graal Compiler for Optimizing Libraries (2/3)

Wed 3:40-4:25 pm - Galleria I

Extending the Graal Compiler for Optimizing Libraries

Thomas Würthinger, Oracle Labs, Austria

KonohaScript: Static Scripting for Practical Use (2/3)

Wed 3:40-4:25 pm - Galleria III

KonohaScript: Static Scripting for Practical Use

Kimio Kuramitsu, Yokohama National University, Japan

Library-based Model-driven Software Development with SugarJ (1/1)

Wed 4:30-5:15 pm - Galleria II

Library-based Model-driven Software Development with SugarJ

Sebastian Erdweg, University of Marburg, Germany

Lennart C. L. Kats, Delft University of Technology, Netherlands

Tillmann Rendel, University of Marburg, Germany

Christian Kästner, University of Marburg, Germany

Klaus Ostermann, University of Marburg, Germany

Eelco Visser, Delft University of Technology, Netherlands

The Language of Languages Research Project: Unifying Concepts Expressed Across Different Notations (2/3)

Wed 4:30-5:15 pm - Galleria III

The Language of Languages Research Project: Unifying Concepts Expressed Across Different Notations

James R. Douglass, The Boeing Company, United States

Nicholas Chen, University of Illinois at Urbana-Champaign, United States

Ralph Johnson, University of Illinois, Urbana, IL, United States

BeneFactor: A Flexible Refactoring Tool for Eclipse (3/3)

Thu 10:15-11:00 am - Galleria I

BeneFactor: A Flexible Refactoring Tool for Eclipse

Xi Ge, Department of Computer Science, North Carolina State University, United States

Emerson Murphy-Hill, North Carolina State University, USA

Keshmesh: A Tool for Detecting and Fixing Java Concurrency Bug Patterns (3/3)

Thu 10:15-11:00 am - Galleria II

Keshmesh: A Tool for Detecting and Fixing Java Concurrency Bug Patterns

Mohsen Vakilian, University of Illinois, Urbana, IL, United States

Stas Negara, University of Illinois, Urbana, IL, United States

Samira Tasharofi, University of Illinois, Urbana, IL, United States

Ralph Johnson, University of Illinois, Urbana, IL, United States

The Language of Languages Research Project: Unifying Concepts Expressed Across Different Notations (3/3)

Thu 10:15-11:00 am - Galleria III

The Language of Languages Research Project: Unifying Concepts Expressed Across Different Notations

James R. Douglass, The Boeing Company, United States

Nicholas Chen, University of Illinois at Urbana-Champaign, United States

Ralph Johnson, University of Illinois, Urbana, IL, United States

KonohaScript: Static Scripting for Practical Use (3/3)

Thu 11:05-11:50 am - Galleria I

KonohaScript: Static Scripting for Practical Use

Kimio Kuramitsu, Yokohama National University, Japan

Parallel Programming by Hints (3/3)

Thu 11:05-11:50 am - Galleria III

Parallel Programming by Hints

Chen Ding, University of Rochester, United States

Sensor Composer: Composing Intelligent, Adaptive Virtual Sensors for Collaborative Sensing (3/3)

Thu 11:05-11:50 am - Galleria II

Sensor Composer: Composing Intelligent, Adaptive Virtual Sensors for Collaborative Sensing

Hoi Chan, IBM Research, United States

An 'Explicit Type Enforcement' Program Transformation Tool for Preventing Integer Vulnerabilities (3/3)

Thu 12:05-12:50 pm - Galleria I

An 'Explicit Type Enforcement' Program Transformation Tool for Preventing Integer Vulnerabilities

Munawar Hafiz, Auburn University, United States

Distributed Ray Tracing in X10 (3/3)

Thu 12:05-12:50 pm - Galleria II

Distributed Ray Tracing in X10

Dave Cunningham, IBM, United States

Extending the Graal Compiler for Optimizing Libraries (3/3)

Thu 12:05-12:50 pm - Galleria III

Extending the Graal Compiler for Optimizing Libraries

Thomas Würthinger, Oracle Labs, Austria

Automatically Fixing Security Vulnerabilities in Java Code (3/3)

Thu 1:00-1:45 pm - Galleria I

Automatically Fixing Security Vulnerabilities in Java Code

Aharon Abadi, IBM Research - Haifa, Israel

Ran Ettinger, IBM Research - Haifa, Israel

Yishai A. Feldman, IBM Research - Haifa, Israel

Mati Shomrat, Tel Aviv University, Israel

Cedalion 101: "I Want My DSL Now" (3/3)

Thu 1:00-1:45 pm - Galleria II

Cedalion 101: "I Want My DSL Now"

David Lorenz, Open University of Israel, Israel

Boaz Rosenan, Open University of Israel, Israel

DrHJ — the cure to your Multicore Programming Woes (3/3)

Thu 1:00-1:45 pm - Galleria III

DrHJ — the cure to your Multicore Programming Woes

Vincent Cave, Rice University, United States

Vivek Sarkar, Rice University, United States

Jarred Payne, Rice University, United States

Raghavan Raman, Rice University, United States

Mathias Ricken, Rice University, United States

Corky Cartwright, Rice University, United States

Changing State in the Plaid Language (3/3)

Thu 2:00-2:45 pm - Galleria III

Changing State in the Plaid Language

Joshua Sunshine, Carnegie Mellon University, United States

Sven Stork, Carnegie Mellon University / University of Coimbra, United States / Portugal

Karl Naden, Carnegie Mellon University, United States

Jonathan Aldrich, Carnegie Mellon University, United States

Software Objects Fairy Tales: Merging Design and Runtime Objects into the Cloud with MyDraft (3/3)

Thu 2:00-2:45 pm - Galleria II

Software Objects Fairy Tales: Merging Design and Runtime Objects into the Cloud with MyDraft

Michel Zam, KarmicSoft and Paris Dauphine University, France

Gilles Dodinet, KarmicSoft and Paris Dauphine University, France

Geneviève Jomier, Paris Dauphine University, France

JP2 - Collecting Dynamic Bytecode Metrics in JVMs (3/3)

Thu 2:50-3:35 pm - Galleria I

JP2 - Collecting Dynamic Bytecode Metrics in JVMs

Aibek Sarimbekov, University of Lugano, Switzerland

Alex Villazon, University of Lugano, Switzerland

Walter Binder, University of Lugano, Switzerland

Andreas Sewe, CASED, Technische Universität Darmstadt, Germany

Mira Mezini, CASED, Technische Universität Darmstadt, Germany

Mobl: The New Language of the Mobile Web (3/3)

Thu 2:50-3:35 pm - Galleria II

Mobl: The New Language of the Mobile Web

Zef Hemel, Delft University of Technology, Netherlands

Eelco Visser, Delft University of Technology, Netherlands

Modularizing Crosscutting Concerns with Ptolemy (3/3)

Thu 2:50-3:35 pm - Galleria III

Modularizing Crosscutting Concerns with Ptolemy

Hridesh Rajan, Iowa State University, United States

Sean Mooney, Iowa State University, United States

Gary Leavens, University of Central Florida, United States

Robert Dyer, Iowa State University, United States

Rex Fernando, Iowa State University, United States

Mohammad Darab, Iowa State University, United States

Bryan Welter, Iowa State University, United States

A HIP and SLEEK Verification System (3/3)

Thu 3:40-4:25 pm - Galleria I

A HIP and SLEEK Verification System

Wei-Ngan Chin, National University of Singapore, Singapore

Cristina David, National University of Singapore, Singapore

Cristian Gherghina, National University of Singapore, Singapore

Guidance Trees — A New Programming Paradigm for Non-Programmers (3/3)

Thu 3:40-4:25 pm - Galleria II

Guidance Trees — A New Programming Paradigm for Non-Programmers

Michael Rowley, Active Endpoints, Inc., United States

How to give your language an audience: The Cloud9 IDE Platform (3/3)

Thu 3:40-4:25 pm - Galleria III

How to give your language an audience: The Cloud9 IDE Platform

Rik Arends, Cloud9 IDE, Inc

More Articles...

SPLASH GENERAL CHAIR

Cristina V. Lopes
UC Irvine
chair@splashcon.org

OOPSLA PROG. CHAIR

Kathleen Fisher
Tufts University
oopsla@splashcon.org

ONWARD! PROG. CHAIR

Eelco Visser
Delft University
onward@splashcon.org

WAVEFRONT PROG. CHAIR

Allen Wirfs-Brock
Mozilla
wavefront@splashcon.org

Sponsored by ACM SIGPLAN