|
СТ |
Developing a Foundation for Code Optimization |
2004 |
Soffa M. L. |
|
|
|
Lecture Notes in Computer Science |
22.04.2004 |
|
СТ |
FULLDOC: A Full Reporting Debugger for Optimized Code |
2000 |
Jaramillo C., Gupta R., Soffa M. L. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
19.08.2000 |
|
СТ |
Comparison Checking: An Approach to Avoid Debugging of Optimized Code |
1999 |
Jaramillo C., Gupta R., Soffa M. L. |
|
|
|
Lecture Notes in Computer Science |
14.10.1999 |
|
СТ |
Load-Reuse Analysis: Design and Evaluation |
1999 |
Bodik R., Gupta R., Soffa M. L. |
|
|
|
SIGPLAN Notices |
20.08.1999 |
|
СТ |
Automated Test Data Generation Using an Iterative Relaxation Method |
1998 |
Gupta N., Mathur A. P., Soffa M. L. |
|
|
|
Software Engineering Notes |
26.03.1999 |
|
СТ |
Data Flow Analysis Driven Dynamic Data Partitioning |
1998 |
Tims J., Gupta R., Soffa M. L. |
|
|
|
Lecture Notes in Computer Science |
20.11.1998 |
|
СТ |
Complete Removal of Redundant Expressions |
1998 |
Bodik R., Gupta R., Soffa M. L. |
|
|
|
SIGPLAN Notices |
16.09.1998 |
|
СТ |
Refining Data Flow Information Using Infeasible Paths |
1997 |
Bodik R., Gupta R., Soffa M. L. |
|
|
|
Lecture Notes in Computer Science |
07.10.1997 |
|
СТ |
Integrating Program Optimizations and Transformztions with the Scheduling of Instruction Level Parallelism |
1997 |
Berson D. A., Chang P., Gupta R., Soffa M. L. |
|
|
|
Lecture Notes in Computer Science |
21.08.1997 |
|
СТ |
Interprocedural Conditional Branch Elimination |
1997 |
Bodik R., Gupta R., Soffa M. L. |
|
|
|
SIGPLAN Notices |
09.07.1997 |
|
СТ |
A Demand-Driven Analyzer for Data Flow Testing at the Integration Level |
1996 |
Duesterwald E., Gupta R., Soffa M. L. |
|
|
|
Proc. of the 18th Intern. Conf. on Software Engineering. Berlin, Germany, March 25-29, 1996 |
19.06.1996 |
|
СТ |
GURRR: A Global Unified Resource Requirements Representation |
1995 |
Berson D. A., Gupta R., Soffa M. L. |
|
|
|
SIGPLAN Notices |
05.05.1995 |
|
СТ |
Efficient Register Allocation via Coloring Using Clique Separators |
1994 |
Gupta R., Soffa M. L., Ombres D. |
|
|
|
ACM Trans. Programming Languages and Systems |
01.09.1994 |
|
СТ |
Efficient Computation of Interprocedural Definition-Use Chains |
1994 |
Harrold M. J., Soffa M. L. |
|
|
|
ACM Trans. Programming Languages and Systems |
27.05.1994 |
|
СТ |
A Practical Approach to the Symbolic Debugging of Parallelized Code |
1994 |
Pineo P., Soffa M. L. |
|
|
|
Lecture Notes in Computer Science |
27.04.1994 |
|
СТ |
Reducing the Cost of Data Flow Analysis by Congruence Partitioning |
1994 |
Duesterwald E., Gupta R., Soffa M. L. |
|
|
|
Lecture Notes in Computer Science |
27.04.1994 |
|
СТ |
A Methodology for Controlling the Size of a Test Suite |
1993 |
Harrold M. J., Gupta R., Soffa M. L. |
|
|
|
ACM Trans. Software Engineering and Methodology |
03.11.1993 |
|
СТ |
A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations |
1993 |
Duesterwald E., Gupta R., Soffa M. L. |
|
|
|
SIGPLAN Notices |
11.08.1993 |
|
СТ |
A Shape Matching Approach for Scheduling Fine-Grained Parallelism |
1992 |
Malloy B., Gupta R., Soffa M. L. |
|
|
|
SIGMICRO Newsletter |
13.03.1993 |
|
СТ |
Register Pipelining: An Integrated Approach to Register Allocation for Scalar and Subscripted Variables |
1992 |
Duesterwald E., Gupta R., Soffa M. L. |
|
|
|
Lecture Notes in Computer Science |
27.10.1992 |
|
СТ |
Parallel Task Assignment by Graph Partitioning |
1992 |
Liu S. F., Soffa M. L. |
|
|
|
Lecture Notes in Computer Science |
29.07.1992 |
|
СТ |
Incremental Global Reoptimization of Programs |
1992 |
Pollock L. L., Soffa M. L. |
|
|
|
ACM Trans. Programming Languages and Systems |
05.05.1992 |
|
СТ |
Debugging Parallelized Code Using Code Liberation Techniques |
1991 |
Pineo P. P., Soffa M. L. |
|
|
|
SIGPLAN Notices |
25.02.1992 |
