Student Research Competition

Tue 12:00-1:30 pm - Room TBD
Designing Language-Oriented Programming Languages
Boaz Rosenan, Open University of Israel, Israel

Today, language-oriented programming (LOP) is realized by using either language workbenches or internal DSLs, each with their own advantages and disadvantages. In this work, we design a host language with language workbench features, thereby combining the two approaches and enjoying the best of both worlds.

Digital Campus - An interactive social mobile World Browser
Ghada Ahmed Bahaa, German University in Cairo, Egypt

In this document we present Digital campus which is an interactive social world browser with a handheld augmented reality interface. This system makes use of the idea of ubiquitous computing and the android phone's sensors including the GPS for location based tracking.

Metamodel Evolution through Metamodel Inference
Qichao Liu, University of Alabama at Birmingham, United States

Serving as the schema of models, a metamodel defines the abstract syntax of models and the interrelationships between model elements. Model instances are often inaccessible due to metamodel evolution or the metamodel becoming lost. This poster describes our research recovering a metamodel from model instances to support metamodel driven evolution.

Model Scalability through a Model Recording and Inference Engine
Yu Sun, University of Alabama at Birmingham, United States

Scaling up models is traditionally supported by manual editing or writing model transformation code. However, this process presents challenges to those who are unfamiliar with programming or metamodel definitions. This poster describes an approach to scale models by recording and analyzing demonstrated operations by end-users.

Verifying Configuration Files
Ciera Jaspan, Carnegie Mellon University, United States

Configuration files are commonly used to create applications by gluing together new or existing components. However, components may be missing, misconfigured, or connected improperly, resulting in exceptions and unusual runtime behavior. This research contributes a mechanism to statically verify configuration files alongside the component code.

Ownership Object Graph Interactive Editor
Talia Selitsky, Department of Computer Science at Wayne State University, United States

Most object graphs are not designed human interaction. Our contribution is an interactive editor to refine an object graph from an architecture extraction software, since the initial extraction might not match the architects intention. This will help maximize the potential of architecture extraction as a tool to help architects.

Extending Abstract APIs to Shared Memory
Ferosh Jacob, University of Alabama, United States

This poster presents a new approach through which programmers can access the parallel programming languages without having to focus on the technical or language-specific details. An earlier approach of Abstract Application Programming Interface (API) targeted for GPU programming is extended to shared memory using OpenMP.


2009 Highlights

Gerard HolzmannGerard Holzmann discusses Spin, a design analyzer tool, and Scrub, a code review tool, used by Jet Propulsion Laboratory to analyze and fix the software used for critical solar system exploration missions.

Watch the video on InfoQ.

More Highlights