Hiperspace LabUniversity of Delaware

Antony, Sara, Mike, Ben, Dave, Sreedevi, Emily, and Lori

Research in Hiperspace

Program Analysis

Compiler Technology

Aspect Mining

Testing WebApplications

Mobile Code Security

Optimization of Cluster Parallel Programs

Online Analysis throughDynamic Compilers

Software Engineering…………..Security…..........Compilers….……Parallel Computing

DaveAntony

Ben

MikeSreedevi, Sara, Emily

Hiding Communication Latency in

Scientific ApplicationsResearch ProblemHow can scientific codes be scaled to large numbers of CPUs?– Communication impedes scalability

ApproachHide communication latencyCollect cluster “knowledge”

Compiler analyze dependencies

Asynch I/O harness overlap

Integrated system to optimize communication

Contribution - First to “cluster” optimize existing MPI codes

Exploiting Dynamic Compilers

Dynamic Compiler

Executing Program

Analysis

Input

Results

Research Question: How can dynamic compilation technology be exploited for use beyond program optimization?

Approach: Extend to analyze for:Software engineering tasks – impact analysis

Program security testingContribution: online analysis - less time/space overhead

- better accuracy

Dynamic compilers: perform additional compilation tasks at run-time– Adaptive optimizations (tune optimizations to program behavior)– Dynamic analysis (discover particular actual program behavior)

Mobile Program SecurityResearch Problem

– Mobile code, particularly dynamically evolving mobile code can greatly enhance current computing models

– How can we validate or control dynamically evolving mobile programs in an efficient way?Server

Clients

Network

Server

Clients

Network

Proposed Approach– Embed static Tamper Detection Marks– Control how the program dynamically evolves

Contribution– Enable efficient mobile code tamper detection via

steganography– Enable distributed dynamic program transformation

technologies in a safe, efficient manner

Maintenance Testing for Web Applications

Beta Web Application (v.0.9)

Deployment

Web Application

(v.1.0)

Users access

Record field data

field data

Test v.1.0 with field data

Research Problem: How can we exploit user session logging for testing of web applications after initial deployment, with minimal tester effort?

Collect, cluster, reduce user session data on-the-fly and automate testing process

Contribution: Scalable, cost-effective, practical, automated structural testing framework for web applications

Approach:

Aspect Mining to Generate Software Views

Research Problem - Not all code segments get organized well in OO programs.– How can we Identify and Display views of

crosscutting/scattered “concerns”?

Proposed Approach – Use machine learning, NLP, and program analyses– Generate new view of the system within IDE

ContributionAid understanding, debugging, maintenance, development

Hiperspace Goals for Students

- Learn how to identify , formulate, and address important open problems

- Publish in high quality conferences

- Gain teaching experience- Actively participate in post-

graduation activities- Develop self confidence and

independence- Build a professional/peer

community

- And, have fun!