Demonstrations

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

Tue 10:15-11:00 am - Galleria I
  1. Cedalion 101: "I Want My DSL Now"
    David Lorenz, Open University of Israel, Israel
    Boaz Rosenan, Open University of Israel, Israel

Read more...

 

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

Tue 10:15-11:00 am - Galleria II
  1. 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

Read more...

 

A HIP and SLEEK Verification System (1/3)

Tue 11:05-11:50 am - Galleria I
  1. 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

Read more...

 

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

Tue 11:05-11:50 am - Galleria II
  1. Mobl: The New Language of the Mobile Web
    Zef Hemel, Delft University of Technology, Netherlands
    Eelco Visser, Delft University of Technology, Netherlands

Read more...

 

Modularizing Crosscutting Concerns with Ptolemy (1/3)

Tue 11:05-11:50 am - Galleria III
  1. 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

Read more...

 

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

Tue 12:05-12:50 pm - Galleria I
  1. Guidance Trees — A New Programming Paradigm for Non-Programmers
    Michael Rowley, Active Endpoints, Inc., United States

Read more...

 

Parallel Programming by Hints (1/3)

Tue 12:05-12:50 pm - Galleria II
  1. Parallel Programming by Hints
    Chen Ding, University of Rochester, United States

Read more...

 

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

Tue 12:05-12:50 pm - Galleria III
  1. 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

Read more...

 

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

Tue 1:00-1:45 pm - Galleria I
  1. 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

Read more...

 

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

Tue 1:00-1:45 pm - Galleria II
  1. KonohaScript: Static Scripting for Practical Use
    Kimio Kuramitsu, Yokohama National University, Japan

Read more...

 

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

Tue 1:00-1:45 pm - Galleria III
  1. 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

Read more...

 

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

Tue 2:00-2:45 pm - Galleria I
  1. 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

Read more...

 

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

Tue 2:00-2:45 pm - Galleria II
  1. 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

Read more...

 

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

Tue 2:50-3:35 pm - Galleria I
  1. An 'Explicit Type Enforcement' Program Transformation Tool for Preventing Integer Vulnerabilities
    Munawar Hafiz, Auburn University, United States

Read more...

 

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

Tue 2:50-3:35 pm - Galleria III
  1. Extending the Graal Compiler for Optimizing Libraries
    Thomas Würthinger, Oracle Labs, Austria

Read more...

 

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

Tue 2:50-3:35 pm - Galleria II
  1. How to give your language an audience: The Cloud9 IDE Platform
    Rik Arends, Cloud9 IDE, Inc

Read more...

 

Changing State in the Plaid Language (1/3)

Tue 3:40-4:25 pm - Galleria III
  1. 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

Read more...

 

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

Tue 3:40-4:25 pm - Galleria I
  1. Sensor Composer: Composing Intelligent, Adaptive Virtual Sensors for Collaborative Sensing
    Hoi Chan, IBM Research, United States

Read more...

 

Testing Domain-Specific Languages (1/1)

Tue 3:40-4:25 pm - Galleria II
  1. 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

Read more...

 

Distributed Ray Tracing in X10 (1/3)

Tue 4:30-5:15 pm - Galleria I
  1. Distributed Ray Tracing in X10
    Dave Cunningham, IBM, United States

Read more...

 

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

Tue 4:30-5:15 pm - Galleria II
  1. 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

Read more...

 

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

Tue 4:30-5:15 pm - Galleria III
  1. 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

Read more...

 

Changing State in the Plaid Language (2/3)

Wed 10:15-11:00 am - Galleria I
  1. 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

Read more...

 

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

Wed 10:15-11:00 am - Galleria II
  1. How to give your language an audience: The Cloud9 IDE Platform
    Rik Arends, Cloud9 IDE, Inc

Read more...

 

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

Wed 11:05-11:50 am - Galleria II
  1. An 'Explicit Type Enforcement' Program Transformation Tool for Preventing Integer Vulnerabilities
    Munawar Hafiz, Auburn University, United States

Read more...

 

Distributed Ray Tracing in X10 (2/3)

Wed 11:05-11:50 am - Galleria III
  1. Distributed Ray Tracing in X10
    Dave Cunningham, IBM, United States

Read more...

 

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

Wed 11:05-11:50 am - Galleria I
  1. 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

Read more...

 

A HIP and SLEEK Verification System (2/3)

Wed 12:05-12:50 pm - Galleria II
  1. 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

Read more...

 

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

Wed 12:05-12:50 pm - Galleria I
  1. 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

Read more...

 

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

Wed 12:05-12:50 pm - Galleria III
  1. Sensor Composer: Composing Intelligent, Adaptive Virtual Sensors for Collaborative Sensing
    Hoi Chan, IBM Research, United States

Read more...

 

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

Wed 1:00-1:45 pm - Galleria III
  1. 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

Read more...

 

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

Wed 1:00-1:45 pm - Galleria II
  1. Mobl: The New Language of the Mobile Web
    Zef Hemel, Delft University of Technology, Netherlands
    Eelco Visser, Delft University of Technology, Netherlands

Read more...

 

Modularizing Crosscutting Concerns with Ptolemy (2/3)

Wed 1:00-1:45 pm - Galleria I
  1. 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

Read more...

 

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

Wed 2:00-2:45 pm - Galleria I
  1. 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

Read more...

 

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

Wed 2:00-2:45 pm - Galleria II
  1. Cedalion 101: "I Want My DSL Now"
    David Lorenz, Open University of Israel, Israel
    Boaz Rosenan, Open University of Israel, Israel

Read more...

 

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

Wed 2:00-2:45 pm - Galleria III
  1. Guidance Trees — A New Programming Paradigm for Non-Programmers
    Michael Rowley, Active Endpoints, Inc., United States

Read more...

 

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

Wed 2:50-3:35 pm - Galleria II
  1. 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

Read more...

 

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

Wed 2:50-3:35 pm - Galleria III
  1. 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

Read more...

 

Parallel Programming by Hints (2/3)

Wed 2:50-3:35 pm - Galleria I
  1. Parallel Programming by Hints
    Chen Ding, University of Rochester, United States

Read more...

 

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

Wed 3:40-4:25 pm - Galleria I
  1. Extending the Graal Compiler for Optimizing Libraries
    Thomas Würthinger, Oracle Labs, Austria

Read more...

 

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

Wed 3:40-4:25 pm - Galleria III
  1. KonohaScript: Static Scripting for Practical Use
    Kimio Kuramitsu, Yokohama National University, Japan

Read more...

 

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

Wed 4:30-5:15 pm - Galleria II
  1. 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

Read more...

 

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

Wed 4:30-5:15 pm - Galleria III
  1. 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

Read more...

 

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

Thu 10:15-11:00 am - Galleria I
  1. 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

Read more...

 

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

Thu 10:15-11:00 am - Galleria II
  1. 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

Read more...

 

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

Thu 10:15-11:00 am - Galleria III
  1. 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

Read more...

 

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

Thu 11:05-11:50 am - Galleria I
  1. KonohaScript: Static Scripting for Practical Use
    Kimio Kuramitsu, Yokohama National University, Japan

Read more...

 

Parallel Programming by Hints (3/3)

Thu 11:05-11:50 am - Galleria III
  1. Parallel Programming by Hints
    Chen Ding, University of Rochester, United States

Read more...

 

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

Thu 11:05-11:50 am - Galleria II
  1. Sensor Composer: Composing Intelligent, Adaptive Virtual Sensors for Collaborative Sensing
    Hoi Chan, IBM Research, United States

Read more...

 

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

Thu 12:05-12:50 pm - Galleria I
  1. An 'Explicit Type Enforcement' Program Transformation Tool for Preventing Integer Vulnerabilities
    Munawar Hafiz, Auburn University, United States

Read more...

 

Distributed Ray Tracing in X10 (3/3)

Thu 12:05-12:50 pm - Galleria II
  1. Distributed Ray Tracing in X10
    Dave Cunningham, IBM, United States

Read more...

 

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

Thu 12:05-12:50 pm - Galleria III
  1. Extending the Graal Compiler for Optimizing Libraries
    Thomas Würthinger, Oracle Labs, Austria

Read more...

 

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

Thu 1:00-1:45 pm - Galleria I
  1. 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

Read more...

 

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

Thu 1:00-1:45 pm - Galleria II
  1. Cedalion 101: "I Want My DSL Now"
    David Lorenz, Open University of Israel, Israel
    Boaz Rosenan, Open University of Israel, Israel

Read more...

 

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

Thu 1:00-1:45 pm - Galleria III
  1. 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

Read more...

 

Changing State in the Plaid Language (3/3)

Thu 2:00-2:45 pm - Galleria III
  1. 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

Read more...

 

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

Thu 2:00-2:45 pm - Galleria II
  1. 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

Read more...

 

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

Thu 2:50-3:35 pm - Galleria I
  1. 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

Read more...

 

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

Thu 2:50-3:35 pm - Galleria II
  1. Mobl: The New Language of the Mobile Web
    Zef Hemel, Delft University of Technology, Netherlands
    Eelco Visser, Delft University of Technology, Netherlands

Read more...

 

Modularizing Crosscutting Concerns with Ptolemy (3/3)

Thu 2:50-3:35 pm - Galleria III
  1. 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

Read more...

 

A HIP and SLEEK Verification System (3/3)

Thu 3:40-4:25 pm - Galleria I
  1. 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

Read more...

 

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

Thu 3:40-4:25 pm - Galleria II
  1. Guidance Trees — A New Programming Paradigm for Non-Programmers
    Michael Rowley, Active Endpoints, Inc., United States

Read more...

 

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

Thu 3:40-4:25 pm - Galleria III
  1. How to give your language an audience: The Cloud9 IDE Platform
    Rik Arends, Cloud9 IDE, Inc

Read more...

 
More Articles...