Recent Publications

A Framework for Exploring Optimization Properties

Min Zhao, Bruce Childers and Mary Lou Soffa

Compiler Conference, March, 2009

 

Transparent Debugging of Dynamically Optimized Code

Naveen Kumar, Bruce Childers and Mary Lou Soffa

Code Generation and Optimization Conference, March, 2009

Marple: a demand-driven path-sensitive buffer overflow detector

Wei Le and Mary Lou Soffa

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of  Software Engineering, November, 2008

Code Lifetime Based Memory Reduction for Virtual Execution Environments,

Apala Guha, Kim Hazelwood, Mary Lou Soffa.

Proceedings of the 6th Workshop on Optimizations for DSP and Embedded Systems (ODES). Boston, Massachusetts, USA. April 2008.

Mats:  MultiCore Adaptive Trace Selection

Jason Mars and Mary Lou Soffa

Third Workshop on Software Tools for MultiCore Sysems (STMCS 2008), collocated with Code Generation and Optimization (CGO), April, 2008.

 

Database-Aware Test Coverage Monitoring
Gregory M. Kapfhammer and Mary Lou Soffa.

In the Proceedings of the ACM India Software Engineering Conference,

Hyderabad, India, February 2008.

 

Test Suite Reduction and Prioritization with Call Trees

Adam Smith, Joshua Geiger, Gregory M. Kapfhammer and Mary Lou Soffa

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, Atlanta, Georgia, November 2007.

 

Using Coverage Effectiveness to Evaluate Test Suite Prioritizations.

Gregory M. Kapfhammer and Mary Lou Soffa.

In the Proceedings of the ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies, Atlanta, Georgia, November 2007.

Efficient Time-Aware Prioritization with Knapsack Solvers.

Sara Alspaugh, Kristen R. Walcott, Michael Belanich, Gregory M. Kapfhammer, and Mary Lou Soffa.

In the Proceedings of the ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies, Atlanta, Georgia, November 2007.

Program Representations for Testing Wireless Sensor Network Applications

Nguyet T.M. Nguyen, Mary Lou Soffa

DOSTA’07, Workshop on Domain Specific Approaches to Software Test Automation, in conjunction with the 6th ESEC./FSE conference, September, 2007

Refining Buffer Overflow Detection via Path Sensitive, Demand Driven Analysis

Wei Le and Mary Lou Soffa

PASTE, June 14, 2007

Reducing Exit Stub Memory Consumption in Code Caches

Apala Guha, Kim Hazelwood, Mary Lou Soffa,  International Symposium on High Performance Embedded Architectures and Compilers (HiPEAC), Ghent, Belgium, Jan. 2007, pg. 87-101.

Virtual Execution Environments: Support and Tools

Apala, Guha, Jason Hiser, Naveen Kumar, Jing Yang, Min Zhao, Shukang Zhou, Bruce Childers, Jack Davidson, Kim Hazelwood, and Mary Lou Soffa,  NSF Next Generation Software Workshop held in conjunction with the International Parallel and Distributed Processing Symposium, Long Beach, CA, March, 2007. (invited)

Profit-driven Scalar Optimization

Min Zhao, Bruce R. Childers, and Mary Lou Soffa

ACM Transactions on Architecture and Compiler Optimization, 

Vol. 3, No. 3, September, 2006.

Catching and Identifying Bugs in Register Allocation,”
Yuqiang Huang, Bruce R. Childers, and Mary Lou Soffa,
Symposium on Static Analysis,  Korea, August 28-30, 2006.

 Time-Aware Test Suite Prioritization,”
Kristen R. Walcott, Mary Lou Soffa, Gregory M. Kapfhammer, and Robert S. Roos,
ACM  SIGSOFT/SIGPLAN International Symposium on Software Testing and Analysis, Portland, Maine, July 2006.

Techniques and Tools for Dynamic Optimization,” 
Jason D. Hiser, Naveen Kumar, Min Zhao, Shukang Zhou, Bruce R. Childers, Jack W. Davidson, and Mary Lou Soffa,

NSF Next Generation Software Workshop, during the International Parallel and Distributed Processing Symposium (NSFNGS '06). Rhodes Island, Greece, April 2006

 “Dimension: An Instrumentation Tool for Virtual Execution Environments.”
|Jing Yang, Shukang Zhou, and Mary Lou Soffa,
 Second International Conference on Virtual Execution Environments (VEE '06). Ottawa, Canada, June 14, 2006

 “Testing in Resource Constrained Execution Environments,”
Gregory M. Kapfhammer, Mary Lou Soffa and  Daniel Mosse,

ACM/IEEE International Conference on Automated Software Engineering, Long Beach, California, November 7, 2005

 Planning for Code Buffer Management in Distributed Virtual Execution Environments,”
Shukang Zhou, Bruce R. Childers and Mary Lou Soffa,
ACM/USENIX Virtual Execution Environments Conference (VEE'05), Chicago, Illinois, June 2005.

Demand-Driven Structural Testing with Dynamic Instrumentation,”
Jonathan Misurda, James Clause, Juliya L. Reed, Bruce Childers and Mary Lou Soffa

ACM SIGSOFT Int'l. Conference on Software Engineering (ICSE'05)
, St. Louis, Missouri, June 2005.

 

 Low Overhead Program Monitoring and Profiling,”
Naveen Kumar, Bruce R. Childers and Mary Lou Soffa,
 ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE'05), Lisbon, Portugal, September 5, 2005

 TDB: A Source-Level Debugger for Dynamically Translated Programs,”
Naveen Kumar, Bruce R. Childers and Mary Lou Soffa,
 ACM SIGPLAN/SIGSOFT Sixth Int'l. Symposium on Automated and Analysis-Driven Debugging (AADEBUG'05), Monterey, California, September 19-21, 2005.

 

Compile-time Planning for Overhead Reduction in Software Dynamic Translators

Naveen Kumar, Bruce R. Childers, Dan Williams, Jack W. Davidson, and Mary Lou  Soffa,

International Journal on Parallel Programming, Vol. 33, Nos. 2-3, June 2005.

 

Jazz: A Tool for Demand-Driven Structural Testing
J Misurda, J Clause, J L Reed, P Gandra, B R Childers, M L Soffa
14th ETAPS International Conference on Compiler Construction (CC'05), Edinburgh, Scotland, April 2005.

 

A Model-based Framework: An Approach for Profit-driven Optimization
Min Zhao, Bruce R. Childers, and Mary Lou Soffa
ACM SIGMICRO Int'l. Conference on Code Generation and Optimization (CGO'05), San Jose, California, March 2005.

 

 “The Impact of Software Engineering Research on Modern Programming Languages,”

Barbara Ryder, Mary Lou Soffa, and Margaret Burnett,

ACM Transactions on Software Engineering, Volume 14, Number 4, pg. 431-477, October, 2005

“Compile-time Planning for Overhead Reduction in Software Dynamic Translators,”   

N. Kumar, B. R. Childers, D. Williams, J. W. Davidson and M.L. Soffa,

International Journal on Parallel Programming, Col 33, No 2-3, pp. 103-114, June 2005

“Instrumentation in Software Dynamic Translators for Self-Managed Systems"
Naveen Kumar, Jonathan Misurda, Bruce Childers and Mary Lou Soffa                           
Proceedings of the Workshop on Self-Managed Systems (WOSS'04), collocated with Foundations of Software Engineering, 2004.

Overhead Reduction Techniques for Software Dynamic Translation”
Kevin Scott, Naveen Kumar, Bruce R. Childers, Jack W. Davidson and Mary Lou Soffa
NSF Next Generation Software Workshop, collocated with  Int'l. Parallel and Distributed Processing Symposium, April 2004

“Predicting the impact of optimizations for embedded systems"
Min Zhao, Bruce R. Childers, and Mary Lou Soffa
ACM SIGPLAN Symposium on Languages, Compilers, and Tools for Embedded Systems, San Diego, California, June 2003

A Family of Test Adequacy Criteria for Database-Driven Applications,”
G. Kapfhammer and Mary Lou Soffa,
ACM SIGSOFT Foundations of Software Engineering Conference, Sept. 2003, selected as a Distinguished Paper

Regression Testing of GUIs,”

 A. Memon and M. L. Soffa

ACM SIGSOFT Foundations of Software Engineering Conference, Sept. 2003.

“The limits of speculative trace reuse on deeply pipelined processors"
M. L. Pilla, P. O. A. Navaux, A. T. da Costa, F. M. G. Franca, B. R. Childers and M. L. Soffa
The 15th Symposium on Computer Architecture and High Performance Computing, Sao Paulo/SP, Brazil, November 2003

 

"SoftTest: A framework for software testing of Java programs"
B. R. Childers, M. L. Soffa, J. Beaver, L. Ber, K. Cammarata, T. Kane, J. Litman, and J. Misurda
Eclipse Technology Exchange (eTX) Workshop, during the ACM SIGPLAN Conf. on Object-Oriented Programming, Systems, Languages, and Applications, October 27, 2003.
An earlier version is available as Computer Science Department, University of Pittsburgh, Technical Report TR-03-103, August 2003.

 

“Gender and Race in Predicting Achievement in Computer Science,”

S. Katz, D. Allbritton, J. Aronis, C.Wilson, and M.L. Soffa,

IEEE Technology and Society, Special Issue on Women and Minorities in Information Technology, Volume 22, 3, 20-27, 2003

 

"Continuous compilation: A new approach to aggressive and adaptive code transformation"

Bruce Childers, Jack Davidson, and Mary Lou Soffa

NSF Next Generation Software Workshop, during the International Parallel and Distributed Processing Symposium (IPDPS), Nice, France, April 2003

 

Retargetable and Reconfigurable Software Dynamic Translation"
K. Scott, N. Kumar, S. Velusamy, B. Childers, J. Davidson, and M. L. Soffa,
Int'l. Conf. on Code Generation and Optimization, San Francisco, California, March 2003

“An Experiment to Identify Predictors of Achievement in an Introductory Computer Science Course”

S. Katz, J. Aronis, D. Allbritton, C. Wilson and M.L. Soffa,

 ACM Conference on Computer Personnel Research,  2003.

 

“Shortchanging the Future of Information Technology:  The Untapped Resource,”

Balcita, D. Carver, M.L. Soffa, 

ACM SIGCSE Inroads, Special Issue on Women and Computing, June 2002.

 

''Verifying Optimizers Through Comparison Checking''
C. Jaramillo, R. Gupta and M.L. Soffa,  International Workshop: Compiler  Optimization Meets Compiler Verification, Grenoble, Frace, April, 2002.

``Coverage Criteria for GUI Testing,''
A. Memon, M.L. Soffa, M. Pollack,

European Software Engineering Conference/SIGSOFT Foundations of Software Engineering Conference, Vienna, Austria, Sept. 2001.

A. Memon, M. Pollack, and M. L. Soffa, "Hierarchical GUI Test-Case Generation Using Automated Planning," IEEE Transactions on Software Engineering, Vol. 27, No. 2, pages 144-155, February 2001

``Using Component Metadata to Support Regression Testing of Component-based Software,''
 M.J. Harrold, A. Orso, D. Rosenblum, G. Rothemel, M.L. Soffa, H. Do,
International Conference on Software Maitenance, November, 2001.

``Width Sensitive Scheduling for Resource Contained VLIW processors,''
T. Nakra, B. Childers, and M.L.Soffa,
ACM Workshop on Feedback Directed and Dynamic Optimizations, Monterey, Ca.,  Colocated with Micro33 Dec; 2001

``Automated Test Oracles for GUIs,''
A. Memon, M. Pollack, and M.L. Soffa,
Eighth International Symposium on the Foundations of Software Engineering (FSE2000) , San Diego, CA, Nov. 6-10, 2000.

``Generating Test Data for Branch Coverage,''
Neelam Gupta, Aditya Mathur and Mary Lou Soffa,
15th IEEE International Conference on Automated Software Engineering (ASE'2000) , Grenoble, France, September, 2000

FULLDOC: A Full Reporting Debugger for Optimized Code,''
C. Jaramillo, R. Gupta, and M.L. Soffa,
International Static Analysis Symposium , LNCS, Springer Verlag, Santa Barbara, CA, July, 2000.

``Plan Generation for GUI Testing,''
A. Memon, M. Pollack, and M.L. Soffa
Fifth International Conference on Artificial Intelligence Planning and Scheduling, Brackenridge, Co, April 14-19, 2000

`UNA Based Iterative Test Data Generation and its Evaluation,''
N. Gupta, A. Mathur, and M.L. Soffa,
Proceedings of the IEEE Automated Software Engineering Conference, Oct. 12-15, 1999

``Comparison Checking: An Approach to Avoid Debugging of Optimized Code,''
Clara Jaramillo, Rajiv Gupta and Mary Lou Soffa,
accepted by The Joint 7th European Software Engineenering Conference (ESEC) and th ACM SIGSOFT
International Symposium on the Foundations of Software Engineering (FSE),
Toulouse, France, Sept., 1999.

``Load-Reuse Analysis: Design and Evaluation,''
R. Bodik, R. Gupta, and M.L. Soffa,
ACM SIGPLAN Conference on Programming Language Design and Implementation,
Atlanta, Georgia, May 1999.

''Using a Goal-driven Approach to Generate Test Cases for GUIs ''
Atif Memon, Martha Pollack, and Mary Lou Soffa,
International Conference on Software Engineering
Los Angeles, May 19-21, 1999

``Global Context-based Value Prediction,''
T. Nakra, R. Gupta, and M.L. Soffa,
Fifth International Symposium on High Performance Computer Architecture,
Orlando, Florida, January 1999.


 

Last update: 10 January 2004