|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 164 occurrences of 113 keywords
|
|
|
|
|
Results
Found 159 publication records. Showing 159 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Wei Wang, Tanima Dey, Jason Mars, Lingjia Tang, Jack W. Davidson, Mary Lou Soffa |
Performance analysis of thread mappings with a holistic view of the hardware resources.  |
ISPASS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Wang, Tanima Dey, Ryan W. Moore, Mahmut Aktasoglu, Bruce R. Childers, Jack W. Davidson, Mary Jane Irwin, Mahmut T. Kandemir, Mary Lou Soffa |
REEact: a customizable virtual execution manager for multicore platforms. |
VEE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lingjia Tang, Jason Mars, Neil Vachharajani, Robert Hundt, Mary Lou Soffa |
The impact of memory subsystem resource sharing on datacenter applications. |
ISCA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tanima Dey, Wei Wang, Jack W. Davidson, Mary Lou Soffa |
Characterizing multi-threaded applications based on shared-resource contention. |
ISPASS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Le, Mary Lou Soffa |
Generating analyses for detecting faults in path segments. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Mars, Lingjia Tang, Robert Hundt, Kevin Skadron, Mary Lou Soffa |
Bubble-Up: increasing utilization in modern warehouse scale computers via sensible co-locations. |
MICRO |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Misurda, Bruce R. Childers, Mary Lou Soffa |
Jazz2: a flexible and extensible framework for structural testing in a Java VM. |
PPPJ |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mary Lou Soffa, Kristen R. Walcott, Jason Mars |
Exploiting hardware advances for software testing and debugging. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Mars, Lingjia Tang, Mary Lou Soffa |
Directly characterizing cross core interference through contention synthesis. |
HiPEAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa |
Detecting bugs in register allocation. |
ACM Trans. Program. Lang. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Mars, Neil Vachharajani, Robert Hundt, Mary Lou Soffa |
Contention aware execution: online contention detection and response. |
CGO |
2010 |
DBLP DOI BibTeX RDF |
cross-core interference, dynamic techniques, execution runtimes, online adaptation, multicore, contention |
| 1 | Apala Guha, Kim M. Hazelwood, Mary Lou Soffa |
DBT path selection for holistic memory efficiency and performance. |
VEE |
2010 |
DBLP DOI BibTeX RDF |
embedded systems, virtual machines, memory management, path selection, dynamic binary translation |
| 1 | Apala Guha, Kim M. Hazelwood, Mary Lou Soffa |
Balancing memory and performance through selective flushing of software code caches. |
CASES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Le, Mary Lou Soffa |
Path-based fault correlations. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Naveen Kumar, Bruce R. Childers, Mary Lou Soffa |
Transparent Debugging of Dynamically Optimized Code. |
CGO |
2009 |
DBLP DOI BibTeX RDF |
software dynamic translation, debugging, Dynamic optimization, binary translation |
| 1 | Mary Lou Soffa, Mary Jane Irwin (eds.) |
Proceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2009, Washington, DC, USA, March 7-11, 2009 |
ASPLOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Min Zhao, Bruce R. Childers, Mary Lou Soffa |
A Framework for Exploring Optimization Properties. |
CC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory M. Kapfhammer, Mary Lou Soffa |
Database-aware test coverage monitoring. |
ISEC |
2008 |
DBLP DOI BibTeX RDF |
test coverage monitoring, database application |
| 1 | Mary Lou Soffa, Evelyn Duesterwald (eds.) |
Sixth International Symposium on Code Generation and Optimization (CGO 2008), April 5-9, 2008, Boston, MA, USA |
CGO |
2008 |
DBLP BibTeX RDF |
|
| 1 | Mary Lou Soffa |
Path Sensitive Analysis for Security Flaws. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Le, Mary Lou Soffa |
Marple: a demand-driven path-sensitive buffer overflow detector. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam M. Smith, Joshua Geiger, Gregory M. Kapfhammer, Mary Lou Soffa |
Test suite reduction and prioritization with call trees. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
call trees, regression testing |
| 1 | Apala Guha, Jason Hiser, Naveen Kumar, Jing Yang, Min Zhao, Shukang Zhou, Bruce R. Childers, Jack W. Davidson, Kim M. Hazelwood, Mary Lou Soffa |
Virtual Execution Environments: Support and Tools. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jing Yang, Mary Lou Soffa, Kamin Whitehouse |
Effective source-level debugging of wireless sensor networks. |
SenSys |
2007 |
DBLP DOI BibTeX RDF |
embedded debugging, wireless sensor networks, distributed debugging, source-level debugging |
| 1 | Jing Yang, Mary Lou Soffa, Leo Selavo, Kamin Whitehouse |
Clairvoyant: a comprehensive source-level debugger for wireless sensor networks. |
SenSys |
2007 |
DBLP DOI BibTeX RDF |
embedded debugging, wireless sensor networks, distributed debugging, source-level debugging |
| 1 | Wei Le, Mary Lou Soffa |
Refining buffer overflow detection via demand-driven path-sensitive analysis. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
path-sensitive, demand-driven, infeasible paths |
| 1 | Nguyet T. M. Nguyen, Mary Lou Soffa |
Program representations for testing wireless sensor network applications. |
DOSTA |
2007 |
DBLP DOI BibTeX RDF |
wireless sensor networks, program representation, test criteria |
| 1 | Apala Guha, Kim M. Hazelwood, Mary Lou Soffa |
Reducing Exit Stub Memory Consumption in Code Caches. |
HiPEAC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Zhao, Bruce R. Childers, Mary Lou Soffa |
An approach toward profit-driven optimization. |
TACO |
2006 |
DBLP DOI BibTeX RDF |
profit-driven, prediction, Profitability |
| 1 | Kristen R. Walcott, Mary Lou Soffa, Gregory M. Kapfhammer, Robert S. Roos |
TimeAware test suite prioritization. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
genetic algorithms, test prioritization, coverage testing |
| 1 | Jason Hiser, Naveen Kumar, Min Zhao, Shukang Zhou, Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa |
Techniques and tools for dynamic optimization. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa |
Catching and Identifying Bugs in Register Allocation. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Leon J. Osterweil, H. Dieter Rombach, Mary Lou Soffa (eds.) |
28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006 |
ICSE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Naveen Kumar, Bruce R. Childers, Daniel W. Williams, Jack W. Davidson, Mary Lou Soffa |
Compile-Time Planning for Overhead Reduction in Software Dynamic Translators. |
International Journal of Parallel Programming |
2005 |
DBLP DOI BibTeX RDF |
instruction traces, dynamic optimization, Dynamic translation |
| 1 | Barbara G. Ryder, Mary Lou Soffa, Margaret M. Burnett |
The impact of software engineering research on modern progamming languages. |
ACM Trans. Softw. Eng. Methodol. |
2005 |
DBLP DOI BibTeX RDF |
Software Engineering, Programming Languages |
| 1 | Min Zhao, Bruce R. Childers, Mary Lou Soffa |
Model-Based Framework: An Approach for Profit-Driven Optimization. |
CGO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory M. Kapfhammer, Mary Lou Soffa, Daniel Mossé |
Testing in resource constrained execution environments. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
code unloading, test suite execution |
| 1 | Shukang Zhou, Bruce R. Childers, Mary Lou Soffa |
Planning for code buffer management in distributed virtual execution environments. |
VEE |
2005 |
DBLP DOI BibTeX RDF |
adaptive code cache, code buffer, distributed environments, program partitioning, dynamic translation, generational cache |
| 1 | Naveen Kumar, Bruce R. Childers, Mary Lou Soffa |
Tdb: a source-level debugger for dynamically translated programs. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
debugging, dynamic instrumentation, dynamic binary translation |
| 1 | Naveen Kumar, Bruce R. Childers, Mary Lou Soffa |
Low overhead program monitoring and profiling. |
PASTE |
2005 |
DBLP DOI BibTeX RDF |
instrumentation optimization, profiling, dynamic instrumentation, dynamic binary translation |
| 1 | Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa |
Jazz: A Tool for Demand-Driven Structural Testing. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa |
Demand-driven structural testing with dynamic instrumentation. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
demand-driven instrumentation, testing, structural testing, code coverage, Java programming language |
| 1 | Kevin Scott, Naveen Kumar, Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa |
Overhead Reduction Techniques for Software Dynamic Translation. |
IPDPS Next Generation Software Program - NSFNGS - PI Workshop |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Naveen Kumar, Jonathan Misurda, Bruce R. Childers, Mary Lou Soffa |
Instrumentation in software dynamic translators for self-managed systems. |
WOSS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Mary Lou Soffa |
Developing a Foundation for Code Optimization. |
CC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara G. Ryder, Mary Lou Soffa |
Influences on the design of exception handling: ACM SIGSOFT project on the impact of software engineering research on programming language design. |
SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Ghezzi, Jeff Magee, H. Dieter Rombach, Mary Lou Soffa |
Editorial. |
ACM Trans. Softw. Eng. Methodol. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara G. Ryder, Mary Lou Soffa |
Influences on the design of exception handling ACM SIGSOFT project on the impact of software engineering research on programming language design. |
ACM SIGSOFT Software Engineering Notes |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Scott, Naveen Kumar, S. Velusamy, Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa |
Retargetable and Reconfigurable Software Dynamic Translation. |
CGO |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa |
Continuous Compilation: A New Approach to Aggressive and Adaptive Code Transformation. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurício L. Pilla, Amarildo T. da Costa, Felipe M. G. França, Bruce R. Childers, Mary Lou Soffa |
The Limits of Speculative Trace Reuse on Deeply Pipelined Processors. |
SBAC-PAD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruce R. Childers, Mary Lou Soffa, J. Beaver, L. Ber, K. Cammarata, T. Kane, J. Litman, Jonathan Misurda |
SoftTest: a framework for software testing of Java programs. |
OOPSLA Workshop on Eclipse Technology eXchange |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dick Hamlet, Mary Lou Soffa |
Report on the ICSE 2003 Doctoral Symposium. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory M. Kapfhammer, Mary Lou Soffa |
A family of test adequacy criteria for database-driven applications. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
database-driven applications, test adequacy criteria |
| 1 | Atif M. Memon, Mary Lou Soffa |
Regression testing of GUIs. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
GUI call-graph, GUI control-flow graph, call-tree, classification of events, repairing test cases, regression testing, GUI testing |
| 1 | Sandra Katz, John M. Aronis, David Allbritton, Christine Wilson, Mary Lou Soffa |
A study to identify predictors of achievement in an introductory computer science course. |
CPR |
2003 |
DBLP DOI BibTeX RDF |
computer science instruction, gender and computer science, programming instruction |
| 1 | Min Zhao, Bruce R. Childers, Mary Lou Soffa |
Predicting the impact of optimizations for embedded systems. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
code models, embedded systems, prediction, optimizing compilers, loop optimizations, resource models, optimization models |
| 1 | Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa |
Debugging and Testing Optimizers through Comparison Checking. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Angela M. Balcita, Doris L. Carver, Mary Lou Soffa |
Shortchanging the future of information technology: the untapped resource. |
SIGCSE Bulletin |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Atif M. Memon, Martha E. Pollack, Mary Lou Soffa |
Hierarchical GUI Test Case Generation Using Automated Planning. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
application of AI planning, GUI regression testing, generating alternative plans, Software testing, GUI testing, automated test case generation |
| 1 | Michael Burke, Mary Lou Soffa (eds.) |
Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Snowbird, Utah, USA, June 20-22, 2001 |
PLDI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Alessandro Orso, Mary Jean Harrold, David S. Rosenblum, Gregg Rothermel, Mary Lou Soffa, Hyunsook Do |
Using Component Metacontent to Support the Regression Testing of Component-Based Software. (PDF / PS) |
ICSM |
2001 |
DBLP DOI BibTeX RDF |
component metadata, Regression testing, component testing |
| 1 | Atif M. Memon, Mary Lou Soffa, Martha E. Pollack |
Coverage criteria for GUI testing. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
GUI test coverage, event-based coverage, event-flow graph, integration tree, GUI testing, component testing |
| 1 | Mary Lou Soffa |
1999 SIGPLAN Awards. |
SIGPLAN Notices |
2000 |
DBLP BibTeX RDF |
|
| 1 | Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa |
Generating Test Data for Branch Coverage. (PDF / PS) |
ASE |
2000 |
DBLP DOI BibTeX RDF |
iterative relaxation technique, testing tools, Path testing, branch testing |
| 1 | Atif M. Memon, Martha E. Pollack, Mary Lou Soffa |
Plan Generation for GUI Testing. |
AIPS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa |
FULLDOC: A Full Reporting Debugger for Optimized Code. |
SAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Atif M. Memon, Martha E. Pollack, Mary Lou Soffa |
Automated test oracles for GUIs. |
SIGSOFT FSE |
2000 |
DBLP DOI BibTeX RDF |
GUI test oracles, automated oracles, GUI testing |
| 1 | Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa |
Load-Reuse Analysis: Design and Evaluation. |
PLDI |
1999 |
DBLP DOI BibTeX RDF |
data-flow analysis, program representations, profile-guided optimizations, register promotion |
| 1 | Tarun Nakra, Rajiv Gupta, Mary Lou Soffa |
Value Prediction in VLIW Machines. |
ISCA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa |
UNA Based Iterative Test Data Generation and Its Evaluation. (PDF / PS) |
ASE |
1999 |
DBLP DOI BibTeX RDF |
iterative relaxation technique, testing tools, scientific programs, Path testing |
| 1 | Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa |
Comparison Checking: An Approach to Avoid Debugging of Optimized Code. |
ESEC / SIGSOFT FSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mary Lou Soffa |
Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis. |
SAS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Atif M. Memon, Martha E. Pollack, Mary Lou Soffa |
Using a Goal-Driven Approach to Generate Test Cases for GUIs. |
ICSE |
1999 |
DBLP BibTeX RDF |
GUI regression testing, application of planning, generating alternate plans, GUI testing, automated test case generation |
| 1 | Tarun Nakra, Rajiv Gupta, Mary Lou Soffa |
Global Context-Based Value Prediction. |
HPCA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mary Lou Soffa |
1998 SIGPLAN Awards. |
SIGPLAN Notices |
1998 |
DBLP BibTeX RDF |
|
| 1 | Mary Lou Soffa, David Notkin |
SIGPLAN and SIGSOFT Joint Efforts. |
SIGPLAN Notices |
1998 |
DBLP BibTeX RDF |
|
| 1 | Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa |
Complete Removal of Redundant Computations. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
control flow restructuring, demand-driven frequency data-flow analysis, speculative execution, partial redundancy elimination, profile-guided optimization |
| 1 | Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa |
Complete removal of redundant expressions (with retrospective) |
Best of PLDI |
1998 |
DBLP DOI BibTeX RDF |
control flow restructuring, demand-driven frequency data-flow analysis, speculative execution, partial redundancy elimination, profile-guided optimization |
| 1 | Jodi Tims, Rajiv Gupta, Mary Lou Soffa |
Data Flow Analysis Driven Dynamic Data Partitioning. |
LCR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa |
Capturing the Effects of Code Improving Transformations. |
IEEE PACT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Berson, Rajiv Gupta, Mary Lou Soffa |
Integrated Instruction Scheduling and Register Allocation Techniques. |
LCPC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa |
Automated Test Data Generation Using an Iterative Relaxation Method. |
SIGSOFT FSE |
1998 |
DBLP DOI BibTeX RDF |
dynamic test data generation, input dependency set, predicate residuals, predicate sliccs, path testing, relaxation methods |
| 1 | Rajiv Gupta, Mary Lou Soffa, John Howard |
Hybrid Slicing: Integrating Dynamic Information with Static Analysis. |
ACM Trans. Softw. Eng. Methodol. |
1997 |
DBLP DOI BibTeX RDF |
dynamic call graph, hybrid slice, dynamic slice, breakpoint, static slice |
| 1 | Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa |
A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
copy constant propagation, def-use chains, demand-driven algorithms, distributive data flow frameworks, data flow analysis, program optimizations, interprocedural data flow analysis |
| 1 | Deborah Whitfield, Mary Lou Soffa |
An Approach for Exploring Code-Improving Transformations. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
automatic generation of optimizers, code-improving transformations, enabling and disabling of optimizations, parallelizing transformations, specification of program optimizations |
| 1 | Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa |
Interprocedural Conditional Branch Elimination. |
PLDI |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa |
Refining Data Flow Information Using Infeasible Paths. |
ESEC / SIGSOFT FSE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajiv Gupta, Mary Jean Harrold, Mary Lou Soffa |
Program Slicing-Based Regression Testing Techniques. |
Softw. Test., Verif. Reliab. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Berson, Pohua P. Chang, Rajiv Gupta, Mary Lou Soffa |
Integrating Program Optimizations and Transformations with the Scheduling of Instruction Level Parallelism. |
LCPC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa |
A Demand-Driven Analyzer for Data Flow Testing at the Integration Level. |
ICSE |
1996 |
DBLP BibTeX RDF |
definition-use pairs, demand-driven analyzer, exhaustive analyzer, incremental analyzer, incremental data-flow updates, large program testing, program procedure interfaces, test case requirements, performance, static analysis, program testing, data flow analysis, unit testing, overhead, integration testing, data flow testing |
| 1 | Henri E. Bal, Boumediene Belkhouche, Mary Lou Soffa |
Introduction to the Special Section. (PDF / PS) |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa |
Demand-driven Computation of Interprocedural Data Flow. |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajiv Gupta, Mary Lou Soffa |
Priority based data flow testing. (PDF / PS) |
ICSM |
1995 |
DBLP DOI BibTeX RDF |
priority based data flow testing, def-use pairs, program change, software testing, software maintenance, software maintenance, software development, statistical analysis, program testing, regression testing, data flow analysis, error, test case generation, program diagnostics |
| 1 | Rajiv Gupta, Mary Lou Soffa |
Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information. |
SIGSOFT FSE |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Berson, Rajiv Gupta, Mary Lou Soffa |
GURRR: A Global Unified Resource Requirements Representation. |
Intermediate Representations Workshop |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Deborah Whitfield, Mary Lou Soffa |
The Design and Implementation of Genesis. |
Softw., Pract. Exper. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Kramer, Rajiv Gupta, Mary Lou Soffa |
The Combining DAG: A Technique for Parallel Data Flow Analysis. |
IEEE Trans. Parallel Distrib. Syst. |
1994 |
DBLP DOI BibTeX RDF |
parallel data flow analysis, sequential data flow algorithm, parallel data flow algorithms, rapid data flow problems, cyclic structures, combining directed acyclic graph, parallelized sequential algorithm, performance, parallel algorithms, parallel algorithm, parallel processing, parallel programming, software tools, multiprocessors, directed graphs, program compilers, DAG, parallel compilers, control flow graph, sequential algorithm |
| 1 | Brian A. Malloy, Errol L. Lloyd, Mary Lou Soffa |
Scheduling DAG's for Asynchronous Multiprocessor Execution. |
IEEE Trans. Parallel Distrib. Syst. |
1994 |
DBLP DOI BibTeX RDF |
asynchronous multiprocessor execution, sequential instructionstream, execution costs, datadependencies, Data General shared memory multiprocessor system, scheduling, scheduling, parallel programming, parallelism, concurrency, shared memory systems, DAG, communication costs, instruction sets, multiprocessing programs, fine grained parallelism |
| 1 | Mary Jean Harrold, Mary Lou Soffa |
Efficient Computation of Interprocedural Definition-Use Chains. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
dataflow testing, interprocedural dataflow analysis, interprocedural definition-use chains, interprocedural reachable uses, interprocedural reaching definitions |
Displaying result #1 - #100 of 159 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")