Publications

View our updated, complete list of publications.

Thesis & Dissertations

Anteneh Anteneh. "Adding Security Controls to Dynamically Optimized Mobile Programs." Senior Thesis. University of Delaware. May 2005. (PDF paper)

Ki-Yong Kim. "Exploring Applicability of a Vertically Integrated Approach to Optimizing Cluster Parallel Programs" Senior Thesis. University of Delaware. May 2005. (PDF paper) (PDF Title) (PDF TOC)

Matthew Bridges. "Program Slicing of Explicitly Parallel Programs". Senior Honors Thesis. University of Delaware. May 2002. (PDF paper).

Amie Souter. "Context Driven Testing of Object-Oriented Software Systems". Ph.D. Thesis. University of Delaware. May 2002. (PDF paper).

Veselin Stoyanov. "Investigating Partial Redundancy Elimination for Explicitly Parallel Programs". Senior Honors Thesis. University of Delaware. May 2002. (PDF paper).

Dixie Hisley, "Analysis and Optimization with Programmer-controlled Memory Consistency Modeling of OpenMP Scientific Codes," Ph.D. Thesis, University of Delaware. December 2003. (PDF paper)

Thomas Way. "Procedure Restructuring for Ambitious Optimization". Ph.D. Thesis. University of Delaware. May 2002. (PDF paper).

Cheer-Sun Yang. "Program-based, Structural Testing of Shared Memory Parallel Programs," Ph.D. Thesis. University of Delaware. May 1999. (PDF paper)

Will Lowe. "Profiling Irregular Applications on a Multithreaded Architecture," Senior Honor's Thesis, 1999. (PDF paper)

James B. Fenwick, Jr.. "Compiler Analysis and Optimization of Linda Parallel Programs," Ph.D. Thesis. University of Delaware. May 1998. (PDF paper)

Mark Chu-Carroll. "Programming Language and Compiler Support for General Purpose Parallelism," Ph.D. Thesis. University of Delaware. May 1997.

Cindy Norris. "Cooperative Register Allocation and Instruction Scheduling," Ph.D. Thesis. University of Delaware. May 1995. (PDF paper)

2005

Sara Sprenkle, Emily Gibson, Sreedevi Sampath, and Lori Pollock. "Automated Replay and Fault Detection for Web Applications," 20th IEEE/ACM International Conference on Automated Software Engineering (ASE), November 2005.

Sara Sprenkle, Sreedevi Sampath, Emily Gibson, Amie Souter, and Lori Pollock. "An Empirical Comparison of Test Suite Reduction Techniques for User-session-based Testing of Web Applications," International Conference on Software Maintenance (ICSM), September 2005. (PDF paper)

Ben Breech and Lori Pollock, "A Framework for Testing Security Mechanisms for Program-Based Attacks," Software Engineering for Secure Systems (SESS), co-located with the International Conference on Software Engineering, May 2005. (PDF paper)

Mike Jochen, Anteneh Addis Anteneh, Lori Pollock, and Lisa Marvel. "Enabling Control over Adaptive Program Transformation for Dynamically Evolving Mobile Software Validation." Software Engineering for Secure Systems (SESS), co-located with the International Conference on Software Engineering, May 2005. (PDF paper)

Sreedevi Sampath, Sara Sprenkle, Emily Gibson, Lori Pollock, and Amie Souter. "Analyzing Clusters of Web Application User Sessions," Workshop on Dynamic Analysis (WODA), co-located with the International Conference on Software Engineering, May 2005. (PDF paper) (PDF slides)

David Shepherd, Tom Tourwe, and Lori Pollock. "Using Language Clues to Discover Crosscutting Concerns." accepted for extended presentation at the First International Workshop on the Modeling and Analysis of Concerns in Software (MACS), co-located with the International Conference on Software Engineering, May 2005. (PDF paper)

Sreedevi Sampath, Emily Gibson, Sara Sprenkle, and Lori Pollock. "Coverage Criteria for Testing Web Applications." Technical Report 2005-017, Department of Computer and Information Sciences, University of Delaware, April 2005. (PDF paper)

Ben Breech, Mike Tegtmeyer and Lori Pollock. ``A Comparison of Online and Dynamic Impact Analysis Algorithms,'' Conference on Software Maintenance and Reengineering, March 2005. (PDF paper)

Anteneh Addis Anteneh, Mike Jochen, Lori Pollock, and Lisa Marvel. ``Initial Studies of Distributed, Adaptive Program Transformation Controls." (short paper) Conference on Information Sciences and Systems, (CISS), March 2005. (PDF paper)

Sreedevi Sampath, Sara Sprenkle, Emily Gibson, Lori Pollock, and Amie Souter, ``Analyzing Clusters of Web Application User Sessions,'' Technical Report 2005-014, Computer and Information Sciences, University of Delaware, February 2005. (PDF paper)

Anthony Danalis, Ki-Yong Kim, Lori Pollock, and Martin Swany, ``Transformations to Parallel Codes for Communication-Computation Overlap'', Technical Report 2005-012. Computer and Information Sciences, University of Delaware. February 2005. (PDF paper)

2004

Sara Sprenkle, Sreedevi Sampath, Emily Gibson, Amie Souter, Lori Pollock, ``An Empirical Comparison of Test Suite Reduction Techniques for User-session-based Testing of Web Applications'', Technical Report 2005-009. Computer and Information Sciences, University of Delaware. November 2004, Revised April 2005. (PDF paper)

Sreedevi Sampath, Valentin Mihaylov, Amie Souter, Lori Pollock "A Scalable approach to User-session based Testing of Web Applications through Concept Analysis," International Conference on Automated Software Engineering (ASE), September 2004. (PDF paper), (PDF presentation).

B. Breech, A. Danalis, Stacey Shindo, and Lori Pollock, "Online Impact Analysis via Dynamic Compilation Technology," International Conference on Software Maintenance (ICSM), Sept. 2004. (PDF paper)

Sreedevi Sampath, Valentin Mihaylov, Amie Souter, Lori Pollock, "Composing a Framework to Automate Testing of Operational Web-Based Software," International Conference on Software Maintenance (ICSM), September 2004. (PDF paper), (PDF presentation).

Sreedevi Sampath, Amie Souter, Lori Pollock, ``Towards Defining and Exploiting Similarities in Web Application Use Cases Through User Session Analysis," Workshop on Dynamic Analysis (WODA), co-located with International Conference on Software Engineering (ICSE), May 2004. (PDF paper), (PDF presentation).

Sreedevi Sampath, Valentin Mihaylov, Amie Souter, Lori Pollock ``A Scalable approach to User-session based Testing of Web Applications through Concept Analysis,'' Technical Report 2004-08, March 2004. (PDF paper).

Sreedevi Sampath, Amie Souter, Lori Pollock, ``Towards Defining and Exploiting Similarities in Web Application Use Cases Through User Session Analysis," Technical Report 2004-7, March 2004. (PDF paper).

David Shepherd, Emily Gibson, Lori Pollock, ``Design and Evaluation of an Automated Aspect Mining Tool," MASPLAS, April 2004. (PS paper).

Lori Pollock, Kathleen McCoy, Sandra Carberry, Namratha Hundigopal, Xiaoxin You, ``Increasing High School Girls' Self Confidence and Awareness of CS through a Positive Summer Experience," ACM SIGCSE Technical Symposium on Computer Science Education, March 2004. (PDF paper).

2003

Mike Jochen, Lisa Marvel, and Lori Pollock, ``A Framework for Tamper Detection Marking of Mobile Applications," International Symposium on Software Reliability Engineering, (ISSRE), November 2003. (PDF paper).

Mike Jochen, Lisa Marvel, and Lori Pollock, ``Tamper Detection Marking for Object Files," Military Communications Conference, MILCOM, October 2003. (PDF paper).

Amie Souter, David Shepherd, Lori Pollock, ``Testing with Respect to Concerns," International Conference on Software Maintenance (ICSM), September 2003. (PDF paper).

Cheer-Sun D. Yang and Lori L. Pollock, ``All-Uses Testing of Shared Memory Parallel Programs," Software Testing, Verification, and Reliability Journal, 13, pp. 3-24, John Wiley and Sons, 2003. (PDF paper).

David Shepherd, Lori Pollock, ``Ophir:A Framework for Automatic Mining and Refactoring of Aspects," Technical Report 2004-03, October 2003. (PDF paper).

2002

Tom Way and Lori Pollock, ``Evaluation of a Region-based Partial Inlining Algorithm for an ILP Optimizing Compiler," IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2002), Cambridge, Mass., November 2002. (PDF paper).

Amie L. Souter and Lori L. Pollock, ``Putting Escape Analysis to Work for Software Testing," International Conference on Software Maintenance (ICSM), October 2002. (PDF paper).

Mike Jochen, Lisa Marvel, and Lori Pollock, ``MOST: A Tamper Detection Tool for Mobile Java Software," Third Annual IEEE Information Assurance Workshop, June 2002. (PDF paper).

Dixie Hisley, Matt Bridges, and Lori Pollock, ``Static Interprocedural Slicing of Shared Memory Parallel Programs, International Conference on Parallel and Distributed Processing Techniques and Applications, (PDPTA 02), June 2002. (PDF paper).

Tom Way and Lori Pollock, ``A Region-based Partial Inlining Algorithm for an ILP Optimizing Compiler," International Conference on Parallel and Distributed Processing Techniques and Applications, (PDPTA'02), June 2002. (PDF paper).

Mike Jochen, Lisa Marvel, and Lori Pollock, ``Bandwidth Efficient Tamper Detection for Distributed Java Systems," 16th Annual International Symposium on High Performance Computing Systems (HPCS02), June 2002. (PDF paper).

Dixie Hisley and Lori Pollock, ``Enabling Programmer-controlled Combined Memory Consistency for Compiler Optimization," International Symposium on Parallel and Distributed Computing and Networks (PDCN), February 2002. (PDF paper).

2001

Amie Souter and Lori Pollock, ``Incremental Call Graph Reanalysis for Object-Oriented Software Maintenance," International Conference on Software Maintenance, (ICSM), November 2001. (PDF paper).

Tom Way, Ben Breech, Wei Du, and Lori Pollock, ``Demand-driven Inlining Heuristics in Region-based Optimization for ILP Architectures, IASTED International Conference on Parallel and Distributed Computing and systems (PDCS), August 2001. (PDF paper).

Tom Way, Ben Breech, Wei Du, Veselin Stoyanov, and Lori Pollock, ''Using Path-spectra-based Cloning in Region-based Optimization for Instruction-level Parallelism," ISCA 14th International Conference on Parallel and Distributed Computing Systems, (ISCA PDCS), August 2001. (PDF paper).

Amie L. Souter and Lori L. Pollock, "Contextual Def-Use Associations for Object Aggregation," Workshop on Program Analysis for Software Tools and Engineering (PASTE'01), June 2001. (PDF paper).

Mike Jochen, Lisa Marvel, and Lori Pollock, ``Mobile Code Security via Fragile Tamper Detection Marking," Mid-Atlantic Student Workshop on Programming Languages and Systems (MASPLAS '01), April 2001. (ppt poster).

Amie Souter, Tiffany Wong, Stacey Shindo, and Lori Pollock, "TATOO: Testing and Analysis Tool for Object-Oriented Software," Tools and Algorithms for the Construction and Analysis of Systems, (TACAS), April 2001. (PDF paper).

Lori Pollock, ``Integrating an Intensive Experience with Communication Skills Development into a Computer Science Course," ACM SIGCSE 2001, February 2001. (PDF paper).

Lori Pollock and Mike Jochen, ``Making Parallel Programming Accessible to Inexperienced Programmers through Cooperative Learning," ACM SIGCSE 2001, February 2001. (PDF paper).

2000

Tom Way, Ben Breech, Lori Pollock, ``Region Formation Analysis with Partial Inlining for Scalable Region-based Compilation," PACT'00, October 2000. (PDF paper).

Amie L. Souter and Lori L. Pollock, ``OMEN: A Strategy for Testing of Object-oriented Software", ISSTA'00, August 2000. (PDF paper).

Gary M. Zoppetti, Gagan Agrawal, Lori L. Pollock, Jose Nelson Amaral, Xinan Tang, and Guang Gao, ``Automatic Compiler Techniques for Thread Coarsening for Multithreaded Applications," ICS'00, May 2000. (PDF paper).

Amie L. Souter and Lori L. Pollock, ``A Strategy for Testing of Object-oriented Software," MASPLAS'00, April 2000.

Dixie Hisley, Punyam Satya-narayana, Gagan Agrawal, Lori Pollock, ``Porting and Performance Evaluation of Irregular Codes using OpenMP," to Concurrency: Practice and Experience, Volume 12, pages 1241-1259, 2000. (PDF paper).

Lori L. Pollock and Cheer-Sun Yang, "Extending Program-based Testing for Parallelized Communication Software," ATIRP'00, March 2000.

1999

Dixie Hisley, Punyam Satya-narayana, Gagan Agrawal, Lori Pollock, ``Porting and Performance Evaluation of Irregular Codes using OpenMP," First European Workshop on OpenMP (EWOMP), October 1999. (PDF paper).

Amie L. Souter, Lori L. Pollock, and Dixie Hisley, ``Inter-class Def-Use Analysis s with Partial Class Representations," PASTE'99, September 1999. (PDF paper).

Gary Zoppetti, Gagan Agrawal, and Lori Pollock, `Thresholding for Work Distribution of Recursive, Multithreaded Functions'', in Proceedings of Languages and Compilers for Parallel Computing (LCPC), August 1999. (4 page poster abstract)

James B. Fenwick, Jr. and Lori L. Pollock, ``Efficient Implementation of Distributed Tuplespace Programs,'' book chapter in High Performance Cluster Computing: The Programming and Applications Issues, Volume 2, Rajkumar Buyya, Prentice Hall, 1999. (PDF paper).

Dale Shires, Lori Pollock, and Sara Sprenkle, ``Program Flow Graph Construction for Static Analysis of MPI Programs,'' PDPTA99, June 1999. (PDF paper).

James B. Fenwick, Jr. and Lori L. Pollock, ``Tuple Counting Data Flow Analysis and Its Use in Communication Optimization,'' HPCN Europe'99, April 1999. (PDF paper).

John Graham and Lori L. Pollock, ``An Experimental Study of Potential Parallelism in an Implementation of MIL-STD 188-220'', January 1999.

1998

Tom Way and Lori L. Pollock, ``Using Path Spectra to Direct Function Cloning'', Workshop on Profile and Feedback-directed Compilation, October 1998. (PDF paper).

Cindy Norris and Lori Pollock, ``Experiences with Cooperating Register Allocation and Instruction Scheduling'', International Journal on Parallel Programming, Vol 26, No. 3, pp. 241-284, September 1998. (PDF paper).

James B. Fenwick, Jr. and Lori L. Pollock, ``Static Optimization of Distributed Tuplespace Message Communications'', Second European IASTED International Conference on Parallel and Distributed Systems (Euro-PDS'98), July 1998. (PDF paper).

Dixie Hisley, Gagan Agrawal, and Lori Pollock, ``Performance Studies of the Parallelization of a CFD Solver on the Origin 2000'', Army Science Conference, June 1998.

James B. Fenwick, Jr. and Lori L. Pollock, ``Data Flow Analysis Across Tuplespace Process Boundaries'', International Conference on Computer Languages, (ICCL'98), May 1998. (PDF paper).

Dixie Hisley, Gagan Agrawal, and Lori Pollock, ``Experiences with a Parallelizing Compiler'', Fourth Workshop on Languages, Compilers, and Run-time Systems for a Scalable Computer, (LCR'98), May 1998.

Cindy Norris and Lori Pollock, ``Design and Implementation of RAP: A PDG-based Register Allocator'', Software Practice and Experience, Vol. 28, (4), pp. 401-424, April 1998. (SPE postscript paper)

Cheer-Sun D. Yang, Amie L. Souter, and Lori L. Pollock, ``All-du-path Coverage for Parallel Programs'', International Symposium on Software Testing and Analysis (ISSTA'98), March 1998. (issta postscript paper)

Thomas P. Way, Cheer-Sun Yang, and Lori L. Pollock, ``Potential performance Improvements of MIL-STD 188-220A Through Parallelism'', ARL-ATIRP Second Annual Technical Conference, January 1998. (PDF paper).

1997

Cheer-Sun Yang and Lori Pollock, ``An All-du-path Coverage Algorithm for Testing Shared memory Parallel Programs'', The Sixth Asian Test Symposium, November 1997. (asian test postscript paper)

James B. Fenwick and Lori Pollock, ``Issues and Experiences of Implementing a Distributed Tuplespace'', Software Practice and Experience, Vol. 27, No. 10, pp. 1199-1232, 1997. (journal postscript paper)

James B. Fenwick and Lori Pollock, ``Optimizing the Use of Distributed Queues in Tuplespace'', International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'97), June 1997. (pdpta97 postscript paper)

Cheer-Sun Yang and Lori Pollock, ``The Challenges in Automated Testing of Multithreaded Programs'', 14th International Conference on Testing Computer Software, June 1997. (tcs postscript paper)

Tom Way and Lori Pollock, ``Towards Identifying and Monitoring Optimization Impacts'', Mid-Atlantic Student Workshop on Programming Languages and Systems (MASPLAS 97), April 1997. (PDF paper).

Mark Chu-Carroll and Lori Pollock, ``Composite Tree Parallelism: Language Support for General Purpose Parallel Programming'', Journal of Programming Languages, Vol. 5, Issue 1, pp. 1-36, 1997. (journal postscript paper)

Cheer-Sun Yang and Lori Pollock, ``Identifying Redundant Test Cases for Testing Explicitly Parallel Language Constructs'', ARL-ATIRP First Annual Technical Conference, January 1997. (atirp postscript paper)

1996

Jay Fenwick and Lori Pollock, ``Global Compiler Analysis for Optimizing Shared Tuple Space Communication on Distributed Memory Systems'', 1996 International Conference on Parallel and Distributed Computing and Systems (PDCS), October 1996. (pdcs96 postscript paper)

Mark Chu-Carroll and Lori L. Pollock, ``Design and Implementation of a General Purpose, Parallel Programming System'', International Conference and Exhibition on High Performance Computing and Networking (HPCN'96), April 1996. (hpcn postscript paper)

Jay Fenwick and Lori Pollock, ``Identifying Tuple Usage Patterns in an Optimizing Linda Compiler'', MASPLAS'96, April 1996. (MASPLAS postscript paper)

Cheer-Sun Yang and Lori Pollock, ``Identifying Potentially Load Sensitive Code Regions for Stress Testing'', poster session of MASPLAS '96, April 1996. (masplas postscript paper)

Alan Carle and Lori L. Pollock, ``On the Optimality of Incremental Evaluators for Hierarchical Attribute Grammars'', ACM Transactions on Programming Languages and Systems, pp. 16-29, January 1996.

Jay Fenwick and Lori Pollock, ``Implementing an Optimizing Linda Compiler using SUIF'', The First SUIF Workshop, January 1996. (SUIF Workshop postscript paper)

Cheer-Sun Yang and Lori Pollock, ``Towards a Structural Load Testing Tool'', workshop session of International Symposium on Software Testing and Analysis, (ISSTA96), January 1996. (issta96 postscript paper)

1995

Cindy Norris and Lori Pollock, ``An Experimental Study of Several Cooperative Register Allocation and Instruction Scheduling Strategies'', MICRO-28, November 1995. (EXPER postscript paper)

Cindy Norris and Lori L. Pollock, ``Register Allocation Sensitive Region Scheduling'', International Conference on Parallel Architectures and Compilation Techniques, June 1995. (RASER postscript paper)

Cindy Norris, ``Cooperative Register Allocation and Instruction Scheduling'', Ph.D. Dissertation, May 1995. (DISSERTATION postscript paper)

Guy Edjlali, Gagan Agrawal, Alan Sussman and Joel Saltz, ``Data Parallel Programming in An Adaptive Environment'', Proceedings of International Parallel Processing Symposium, April 1995.

Alan Carle and Lori L. Pollock, ``A Context-Based Incremental Evaluator for Hierarchical Attribute Grammars'', Journal of Programming Languages, pp. 1-30, March 1995.

Alan Carle and Lori L. Pollock, ``Matching-Based Incremental Evaluators for Hierarchical Attribute Grammar Dialects'', ACM Transactions on Programming Languages and Systems, pp. 394-429, March 1995.

Chris Makowski and Lori Pollock, ``Efficient Register Allocation Via Parallel Graph Coloring'', Programming Languages Track of the Symposium on Applied Computing, February 1995.

1994

Lori L. Pollock, Mary Bivens, and Mary Lou Soffa, ``Debugging Optimized Code Via Tailoring'', workshop session of International Symposium on Software Testing and Analysis, August 1994. (postcript paper)

Cindy Norris and Lori L. Pollock, ``Register Allocation over the Program Dependence Graph'', ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1994. (RAP postscript paper)

Mark C. Carroll and Lori L. Pollock, ``Composites: Trees for Data Parallel Programming'', International Conference on Computer Languages, May 1994. (Composites postscript paper)

1993

Cindy Norris and Lori L. Pollock, ``A Scheduler-Sensitive Global Register Allocator'', Supercomputing 1993, November 1993. (SSG postscript paper)

1992

Alan Carle, ``A Class of Hierarchical Attribute Grammars: Incremental Evaluation and Applications'', Dept. of Computer Science, Rice University, April 1992.

Lori L. Pollock and Mary Lou Soffa, ``Incremental Global Reoptimization of Programs'', ACM Transactions on Programming Languages and Systems, pp. 173-200, April 1992.