1. Hiperspace Lab University of Delaware Antony, Sara, Mike, Ben, Dave, Sreedevi, Emily, and Lori

2. Research in Hiperspace Program Analysis Compiler Technology Aspect Mining Testing Web Applications Mobile Code Security Optimization of Cluster Parallel Programs Online Analysis through Dynamic Compilers Software Engineering…………..Security…..........Compilers….……Parallel Computing Dave Antony Ben Mike Sreedevi, Sara, Emily

3. Hiding Communication Latency in Scientific Applications Research Problem How can scientific codes be scaled to large numbers of CPUs? –Communication impedes scalability Approach Hide communication latency Collect cluster “knowledge” Compiler analyze dependencies Asynch I/O harness overlap Integrated system to optimize communication Contribution - First to “cluster” optimize existing MPI codes

4. 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 testing Contribution: 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)

5. Mobile Program Security Research 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

6. 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:

7. 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 Contribution Aid understanding, debugging, maintenance, development

8. 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!