Download - Hiperspace Lab University 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!