- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j48 |      | James P. Cohoon, Joanne McGrath Cohoon, Mary Lou Soffa: Educating Diverse Computing Students at the University of Virginia. IEEE Computer 46(3): 52-55 (2013) |
| c112 | | Lingjia Tang, Jason Mars, Wei Wang, Tanima Dey, Mary Lou Soffa: ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers. ASPLOS 2013: 89-100 |
| 2012 | ||
| j47 | | Jason Mars, Lingjia Tang, Kevin Skadron, Mary Lou Soffa, Robert Hundt: Increasing Utilization in Modern Warehouse-Scale Computers Using Bubble-Up. IEEE Micro 32(3): 88-99 (2012) |
| j46 | | Apala Guha, Kim M. Hazelwood, Mary Lou Soffa: Memory optimization of dynamic binary translators for embedded systems. TACO 9(3): 22 (2012) |
| c111 | | Lingjia Tang, Jason Mars, Mary Lou Soffa: Compiling for niceness: mitigating contention for QoS in warehouse scale computers. CGO 2012: 1-12 |
| c110 | | 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: 156-167 |
| c109 | | Kristen Walcott-Justice, Jason Mars, Mary Lou Soffa: THeME: a system for testing by hardware monitoring events. ISSTA 2012: 12-22 |
| c108 | | 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: 27-38 |
| 2011 | ||
| c107 | | Jason Mars, Lingjia Tang, Mary Lou Soffa: Directly characterizing cross core interference through contention synthesis. HiPEAC 2011: 167-176 |
| c106 | | Mary Lou Soffa, Kristen R. Walcott, Jason Mars: Exploiting hardware advances for software testing and debugging. ICSE 2011: 888-891 |
| c105 | | Lingjia Tang, Jason Mars, Neil Vachharajani, Robert Hundt, Mary Lou Soffa: The impact of memory subsystem resource sharing on datacenter applications. ISCA 2011: 283-294 |
| c104 | | Tanima Dey, Wei Wang, Jack W. Davidson, Mary Lou Soffa: Characterizing multi-threaded applications based on shared-resource contention. ISPASS 2011: 76-86 |
| c103 | | Wei Le, Mary Lou Soffa: Generating analyses for detecting faults in path segments. ISSTA 2011: 320-330 |
| c102 | | 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: 248-259 |
| c101 | | Jonathan Misurda, Bruce R. Childers, Mary Lou Soffa: Jazz2: a flexible and extensible framework for structural testing in a Java VM. PPPJ 2011: 81-90 |
| 2010 | ||
| j45 | | Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa: Detecting bugs in register allocation. ACM Trans. Program. Lang. Syst. 32(4) (2010) |
| c100 | | Apala Guha, Kim M. Hazelwood, Mary Lou Soffa: Balancing memory and performance through selective flushing of software code caches. CASES 2010: 1-10 |
| c99 | | Jason Mars, Neil Vachharajani, Robert Hundt, Mary Lou Soffa: Contention aware execution: online contention detection and response. CGO 2010: 257-265 |
| c98 | | |
| c97 | | Apala Guha, Kim M. Hazelwood, Mary Lou Soffa: DBT path selection for holistic memory efficiency and performance. VEE 2010: 145-156 |
| 2009 | ||
| c96 | | Min Zhao, Bruce R. Childers, Mary Lou Soffa: A Framework for Exploring Optimization Properties. CC 2009: 32-47 |
| c95 | | Naveen Kumar, Bruce R. Childers, Mary Lou Soffa: Transparent Debugging of Dynamically Optimized Code. CGO 2009: 275-286 |
| e5 |  | 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. ACM 2009, isbn 978-1-60558-406-5 |
| 2008 | ||
| c94 | | |
| c93 | | |
| c92 | | Wei Le, Mary Lou Soffa: Marple: a demand-driven path-sensitive buffer overflow detector. SIGSOFT FSE 2008: 272-282 |
| e4 | | Mary Lou Soffa, Evelyn Duesterwald (Eds.): Sixth International Symposium on Code Generation and Optimization (CGO 2008), April 5-9, 2008, Boston, MA, USA. ACM 2008, isbn 978-1-59593-978-4 |
| 2007 | ||
| c91 | | Apala Guha, Kim M. Hazelwood, Mary Lou Soffa: Reducing Exit Stub Memory Consumption in Code Caches. HiPEAC 2007: 87-101 |
| c90 | | 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: 1-6 |
| c89 | | Adam M. Smith, Joshua Geiger, Gregory M. Kapfhammer, Mary Lou Soffa: Test suite reduction and prioritization with call trees. ASE 2007: 539-540 |
| c88 | | Wei Le, Mary Lou Soffa: Refining buffer overflow detection via demand-driven path-sensitive analysis. PASTE 2007: 63-68 |
| c87 | | Jing Yang, Mary Lou Soffa, Leo Selavo, Kamin Whitehouse: Clairvoyant: a comprehensive source-level debugger for wireless sensor networks. SenSys 2007: 189-203 |
| c86 | | Jing Yang, Mary Lou Soffa, Kamin Whitehouse: Effective source-level debugging of wireless sensor networks. SenSys 2007: 405-406 |
| c85 | | Nguyet T. M. Nguyen, Mary Lou Soffa: Program representations for testing wireless sensor network applications. DOSTA 2007: 20-26 |
| 2006 | ||
| j44 | | Min Zhao, Bruce R. Childers, Mary Lou Soffa: An approach toward profit-driven optimization. TACO 3(3): 231-262 (2006) |
| c84 | | 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 |
| c83 | | Kristen R. Walcott, Mary Lou Soffa, Gregory M. Kapfhammer, Robert S. Roos: TimeAware test suite prioritization. ISSTA 2006: 1-12 |
| c82 | | Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa: Catching and Identifying Bugs in Register Allocation. SAS 2006: 281-300 |
| e3 | | Leon J. Osterweil, H. Dieter Rombach, Mary Lou Soffa (Eds.): 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006. ACM 2006, isbn 1-59593-375-1 |
| 2005 | ||
| j43 | | 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 33(2-3): 103-114 (2005) |
| j42 | | Barbara G. Ryder, Mary Lou Soffa, Margaret M. Burnett: The impact of software engineering research on modern programming languages. ACM Trans. Softw. Eng. Methodol. 14(4): 431-477 (2005) |
| c81 | | Naveen Kumar, Bruce R. Childers, Mary Lou Soffa: Tdb: a source-level debugger for dynamically translated programs. AADEBUG 2005: 123-132 |
| c80 | | Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa: Jazz: A Tool for Demand-Driven Structural Testing. CC 2005: 242-245 |
| c79 | | Min Zhao, Bruce R. Childers, Mary Lou Soffa: Model-Based Framework: An Approach for Profit-Driven Optimization. CGO 2005: 317-327 |
| c78 | | Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa: Demand-driven structural testing with dynamic instrumentation. ICSE 2005: 156-165 |
| c77 | | Gregory M. Kapfhammer, Mary Lou Soffa, Daniel Mossé: Testing in resource constrained execution environments. ASE 2005: 418-422 |
| c76 | | Naveen Kumar, Bruce R. Childers, Mary Lou Soffa: Low overhead program monitoring and profiling. PASTE 2005: 28-34 |
| c75 | | Shukang Zhou, Bruce R. Childers, Mary Lou Soffa: Planning for code buffer management in distributed virtual execution environments. VEE 2005: 100-109 |
| 2004 | ||
| c74 | | |
| c73 | | 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 |
| c72 | | Naveen Kumar, Jonathan Misurda, Bruce R. Childers, Mary Lou Soffa: Instrumentation in software dynamic translators for self-managed systems. WOSS 2004: 90-94 |
| 2003 | ||
| j41 | | 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 38(6): 16-22 (2003) |
| j40 | | 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 28(4): 29-35 (2003) |
| j39 | | Carlo Ghezzi, Jeff Magee, H. Dieter Rombach, Mary Lou Soffa: Editorial. ACM Trans. Softw. Eng. Methodol. 12(1): 1-2 (2003) |
| c71 | | Kevin Scott, Naveen Kumar, S. Velusamy, Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa: Retargetable and Reconfigurable Software Dynamic Translation. CGO 2003: 36-47 |
| c70 | | |
| c69 | | Bruce R. Childers, Jack W. Davidson, Mary Lou Soffa: Continuous Compilation: A New Approach to Aggressive and Adaptive Code Transformation. IPDPS 2003: 205 |
| c68 | | Min Zhao, Bruce R. Childers, Mary Lou Soffa: Predicting the impact of optimizations for embedded systems. LCTES 2003: 1-11 |
| c67 | | 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: 79-83 |
| c66 | | 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: 36-45 |
| c65 | | 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: 157-161 |
| c64 | | Gregory M. Kapfhammer, Mary Lou Soffa: A family of test adequacy criteria for database-driven applications. ESEC / SIGSOFT FSE 2003: 98-107 |
| c63 | | |
| 2002 | ||
| j38 | | Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa: Debugging and Testing Optimizers through Comparison Checking. Electr. Notes Theor. Comput. Sci. 65(2): 83-99 (2002) |
| j37 | | Angela M. Balcita, Doris L. Carver, Mary Lou Soffa: Shortchanging the future of information technology: the untapped resource. SIGCSE Bulletin 34(2): 32-35 (2002) |
| 2001 | ||
| j36 | | Atif M. Memon, Martha E. Pollack, Mary Lou Soffa: Hierarchical GUI Test Case Generation Using Automated Planning. IEEE Trans. Software Eng. 27(2): 144-155 (2001) |
| c62 | | 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. ICSM 2001: 716-725 |
| c61 | | Atif M. Memon, Mary Lou Soffa, Martha E. Pollack: Coverage criteria for GUI testing. ESEC / SIGSOFT FSE 2001: 256-267 |
| e2 | | 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. ACM 2001, isbn 1-58113-414-2 |
| 2000 | ||
| j35 | | |
| c60 | | Atif M. Memon, Martha E. Pollack, Mary Lou Soffa: Plan Generation for GUI Testing. AIPS 2000: 226-235 |
| c59 | | Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa: Generating Test Data for Branch Coverage. ASE 2000: 219-228 |
| c58 | | Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa: FULLDOC: A Full Reporting Debugger for Optimized Code. SAS 2000: 240-259 |
| c57 | | Atif M. Memon, Martha E. Pollack, Mary Lou Soffa: Automated test oracles for GUIs. SIGSOFT FSE 2000: 30-39 |
| 1999 | ||
| c56 | | Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa: Comparison Checking: An Approach to Avoid Debugging of Optimized Code. ESEC / SIGSOFT FSE 1999: 268-284 |
| c55 | | |
| c54 | | Atif M. Memon, Martha E. Pollack, Mary Lou Soffa: Using a Goal-Driven Approach to Generate Test Cases for GUIs. ICSE 1999: 257-266 |
| c53 | | |
| c52 | | Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa: UNA Based Iterative Test Data Generation and Its Evaluation. ASE 1999: 224- |
| c51 | | Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Load-Reuse Analysis: Design and Evaluation. PLDI 1999: 64-76 |
| c50 | | Mary Lou Soffa: Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis. SAS 1999: 355-356 |
| 1998 | ||
| j34 | | |
| j33 | | |
| c49 | | Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa: Capturing the Effects of Code Improving Transformations. IEEE PACT 1998: 118-123 |
| c48 | | David A. Berson, Rajiv Gupta, Mary Lou Soffa: Integrated Instruction Scheduling and Register Allocation Techniques. LCPC 1998: 247-262 |
| c47 | | Jodi Tims, Rajiv Gupta, Mary Lou Soffa: Data Flow Analysis Driven Dynamic Data Partitioning. LCR 1998: 75-90 |
| c46 | | Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Complete Removal of Redundant Computations. PLDI 1998: 1-14 |
| c45 | | Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Complete removal of redundant expressions (with retrospective). Best of PLDI 1998: 596-611 |
| c44 | | Neelam Gupta, Aditya P. Mathur, Mary Lou Soffa: Automated Test Data Generation Using an Iterative Relaxation Method. SIGSOFT FSE 1998: 231-244 |
| 1997 | ||
| j32 | | Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa: A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis. ACM Trans. Program. Lang. Syst. 19(6): 992-1030 (1997) |
| j31 | | Deborah Whitfield, Mary Lou Soffa: An Approach for Exploring Code-Improving Transformations. ACM Trans. Program. Lang. Syst. 19(6): 1053-1084 (1997) |
| j30 | | Rajiv Gupta, Mary Lou Soffa, John Howard: Hybrid Slicing: Integrating Dynamic Information with Static Analysis. ACM Trans. Softw. Eng. Methodol. 6(4): 370-397 (1997) |
| c43 | | Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Refining Data Flow Information Using Infeasible Paths. ESEC / SIGSOFT FSE 1997: 361-377 |
| c42 | | Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa: Interprocedural Conditional Branch Elimination. PLDI 1997: 146-158 |
| 1996 | ||
| j29 | | Rajiv Gupta, Mary Jean Harrold, Mary Lou Soffa: Program Slicing-Based Regression Testing Techniques. Softw. Test., Verif. Reliab. 6(2): 83-111 (1996) |
| c41 | | Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa: A Demand-Driven Analyzer for Data Flow Testing at the Integration Level. ICSE 1996: 575-584 |
| c40 | | 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: 207-221 |
| 1995 | ||
| j28 | | Henri E. Bal, Boumediene Belkhouche, Mary Lou Soffa: Introduction to the Special Section. IEEE Trans. Software Eng. 21(11): 881-882 (1995) |
| c39 | | |
| c38 | | David A. Berson, Rajiv Gupta, Mary Lou Soffa: GURRR: A Global Unified Resource Requirements Representation. Intermediate Representations Workshop 1995: 23-34 |
| c37 | | Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa: Demand-driven Computation of Interprocedural Data Flow. POPL 1995: 37-48 |
| c36 | | Rajiv Gupta, Mary Lou Soffa: Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information. SIGSOFT FSE 1995: 29-40 |
| 1994 | ||
| j27 | | Deborah Whitfield, Mary Lou Soffa: The Design and Implementation of Genesis. Softw., Pract. Exper. 24(3): 307-325 (1994) |
| j26 | | Mary Jean Harrold, Mary Lou Soffa: Efficient Computation of Interprocedural Definition-Use Chains. ACM Trans. Program. Lang. Syst. 16(2): 175-204 (1994) |
| j25 | | Rajiv Gupta, Mary Lou Soffa, Denise Ombres: Efficient Register Allocation via Coloring Using Clique Separators. ACM Trans. Program. Lang. Syst. 16(3): 370-386 (1994) |
| j24 | | Brian A. Malloy, Errol L. Lloyd, Mary Lou Soffa: Scheduling DAG's for Asynchronous Multiprocessor Execution. IEEE Trans. Parallel Distrib. Syst. 5(5): 498-508 (1994) |
| j23 | | Robert Kramer, Rajiv Gupta, Mary Lou Soffa: The Combining DAG: A Technique for Parallel Data Flow Analysis. IEEE Trans. Parallel Distrib. Syst. 5(8): 805-813 (1994) |
| c35 | | Patricia Prather Pineo, Mary Lou Soffa: A Practical Approach to the Symbolic Debugging of Parallelized Code. CC 1994: 339-356 |
| c34 | | Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa: Reducing the Cost of Data Flow Analysis By Congruence Partitioning. CC 1994: 357-373 |
| c33 | | Chyi-Ren Dow, Mary Lou Soffa, Shi-Kuo Chang: An Efficient Technique to Remove Transformations. ICPADS 1994: 392-397 |
| c32 | | Chyi-Ren Dow, Mary Lou Soffa, Shi-Kuo Chang: Undoing Code Transformations in an Independent Order. ICPP 1994: 108-115 |
| c31 | | |
| c30 | | David A. Berson, Rajiv Gupta, Mary Lou Soffa: Resource Spackling: A Framework for Integrating Register Allocation in Local and Global Schedulers. IFIP PACT 1994: 135-146 |
| c29 | | Lori L. Pollock, Mary P. Bivens, Mary Lou Soffa: Debugging Optimized Code Via Tailoring (Abstract). ISSTA 1994: 201 |
| e1 | | Vivek Sarkar, Barbara G. Ryder, Mary Lou Soffa (Eds.): Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994. ACM 1994, isbn 0-89791-662-X |
| 1993 | ||
| j22 | | Rajiv Gupta, Mary Lou Soffa: Employing Static Information in the Generation of Test Cases. Softw. Test., Verif. Reliab. 3(1): 29-48 (1993) |
| j21 | | Mary Jean Harrold, Rajiv Gupta, Mary Lou Soffa: A Methodology for Controlling the Size of a Test Suite. ACM Trans. Softw. Eng. Methodol. 2(3): 270-285 (1993) |
| c28 | | Deborah Whitfield, Mary Lou Soffa: Investigating Properties of Code Transformations. ICPP 1993: 156-160 |
| c27 | | David A. Berson, Rajiv Gupta, Mary Lou Soffa: URSA: A Unified ReSource Allocator for Registers and Functional Units in VLIW Architectures. Architectures and Compilation Techniques for Fine and Medium Grain Parallelism 1993: 243-254 |
| c26 | | Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa: A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations. PLDI 1993: 68-77 |
| 1992 | ||
| j20 | | Lori L. Pollock, Mary Lou Soffa: Incremental Global Reoptimization of Programs. ACM Trans. Program. Lang. Syst. 14(2): 173-200 (1992) |
| c25 | | Chyi-Ren Dow, Mary Lou Soffa, Shi-Kuo Chang: A Visual Optimization Specification Language. Advanced Visual Interfaces 1992: 289-303 |
| c24 | | Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa: Register Pipelining: An Integrated Approach to Register Allocation for Scalar and Subscripted Variables. CC 1992: 192-206 |
| c23 | | Brian A. Malloy, Errol L. Lloyd, Mary Lou Soffa: A Fine-Grained Approach to Scheduling Asynchronous Multiprocessors. ICCI 1992: 139-142 |
| c22 | | Rajiv Gupta, Mary Lou Soffa: Automatic Generation of a Compact Test Suit. IFIP Congress (1) 1992: 237-243 |
| c21 | | Robert Kramer, Rajiv Gupta, Mary Lou Soffa: The Combining Dag: A Technique for Parallel DataMow Analysis. IPPS 1992: 652-655 |
| c20 | | Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa: Distributed Slicing and Partial Re-execution for Distributed Programs. LCPC 1992: 497-511 |
| c19 | | Brian A. Malloy, Rajiv Gupta, Mary Lou Soffa: A shape matching approach for scheduling fine-grained parallelism. MICRO 1992: 264-267 |
| c18 | | |
| c17 | | Chyi-Ren Dow, Shi-Kuo Chang, Mary Lou Soffa: A Visualization System for Parallelizing Programs. SC 1992: 194-203 |
| c16 | | Tia M. Watts, Mary Lou Soffa, Rajiv Gupta: Techniques for Integrating Parallelizing Transformations and Compiler-Based Scheduling Methods. SC 1992: 830-839 |
| 1991 | ||
| j19 | | Mary Jean Harrold, Mary Lou Soffa: Selecting and Using Data fro Integration Testing. IEEE Software 8(2): 58-65 (1991) |
| j18 | | Rajiv Gupta, Mary Lou Soffa: Compile-Time Techniques for Improving Scalar Access Performance in Parallel Memories. IEEE Trans. Parallel Distrib. Syst. 2(2): 138-148 (1991) |
| c15 | | Evelyn Duesterwald, Mary Lou Soffa: Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework. Symposium on Testing, Analysis, and Verification 1991: 36-48 |
| c14 | | |
| c13 | | Patricia Prather Pineo, Mary Lou Soffa: Debugging Parallelized Code Using Code Liberation Techniques. Workshop on Parallel and Distributed Debugging 1991: 108-119 |
| c12 | | |
| 1990 | ||
| j17 | | Brian A. Malloy, Mary Lou Soffa: Conversion of Simulation Processes to Pascal Constructs. Softw., Pract. Exper. 20(2): 191-207 (1990) |
| j16 | | Mary P. Bivens, Mary Lou Soffa: Incremental Register Reallocation. Softw., Pract. Exper. 20(10): 1015-1047 (1990) |
| j15 | | Rajiv Gupta, Mary Lou Soffa: Region Scheduling: An Approach for Detecting and Redistributing Parallelism. IEEE Trans. Software Eng. 16(4): 421-431 (1990) |
| c11 | | Lori L. Pollock, Mary Lou Soffa: Incremental Global Optimization for Faster Recompilations. ICCL 1990: 281-290 |
| c10 | | Mary Jean Harrold, Mary Lou Soffa: Computation of Interprocedural Definition and Use Dependencies. ICCL 1990: 297-306 |
| c9 | | Deborah Whitfield, Mary Lou Soffa: An Approach to Ordering Optimizing Transformations. PPOPP 1990: 137-146 |
| c8 | | |
| 1989 | ||
| j14 | | Rajiv Gupta, Mary Lou Soffa: Compilation techniques for a reconfigurable LIW architecture. The Journal of Supercomputing 3(4): 271-304 (1989) |
| j13 | | Lori L. Pollock, Mary Lou Soffa: An Incremental Version of Iterative Data Flow Analysis. IEEE Trans. Software Eng. 15(12): 1537-1549 (1989) |
| c7 | | M. P. Blivens, Mary Lou Soffa: Reuse of Compiler Analysis in a Programming Environment. ACM Conference on Computer Science 1989: 368-373 |
| c6 | | Mary Jean Harrold, Mary Lou Soffa: Interprocedual Data Flow Testing. Symposium on Testing, Analysis, and Verification 1989: 158-167 |
| c5 | | Rajiv Gupta, Mary Lou Soffa, Tim Steele: Register Allocation via Clique Separators. PLDI 1989: 264-274 |
| 1988 | ||
| j12 | | Errol L. Lloyd, Mary Lou Soffa: On Locating Minimum Feedback Vertex Sets. J. Comput. Syst. Sci. 37(3): 292-311 (1988) |
| c4 | | Rajiv Gupta, Mary Lou Soffa: Compile-time Techniques for Efficient Utilization of Parallel Memories. PPOPP/PPEALS 1988: 235-246 |
| 1987 | ||
| c3 | | |
| 1986 | ||
| c2 | | Rajiv Gupta, Mary Lou Soffa: SHAPE: a highly adaptable and parallel system. ACM Conference on Computer Science 1986: 107-114 |
| 1985 | ||
| j11 | | Ching-Chy Wang, Errol L. Lloyd, Mary Lou Soffa: Feedback Vertex Sets and Cyclically Reducible Graphs. J. ACM 32(2): 296-313 (1985) |
| j10 | | Jean R. S. Blair, Phil Kearns, Mary Lou Soffa: An optimistic implementation of the stack-heap. Journal of Systems and Software 5(3): 193-202 (1985) |
| j9 | | Donna J. Quammen, John P. Kearns, Mary Lou Soffa: Efficient Storage Management for Temporary Values in Concurrent Programming Languages. IEEE Trans. Computers 34(9): 832-840 (1985) |
| j8 | | |
| c1 | | Lori L. Pollock, Mary Lou Soffa: Incremental Compilation of Locally Optimized Code. POPL 1985: 152-164 |
| 1984 | ||
| j7 | | Fernando Lafora, Mary Lou Soffa: Reverse Execution in a Generalized Control Regime. Comput. Lang. 9(3/4): 183-192 (1984) |
| 1983 | ||
| j6 | | John P. Kearns, Mary Lou Soffa: The Implementation of Retention in a Coroutine Environment. Acta Inf. 19: 221-233 (1983) |
| j5 | | Lawrence A. Coon, John P. Kearns, Mary Lou Soffa: The Contraction of Control Implementations. Comput. Lang. 8(1): 15-25 (1983) |
| 1982 | ||
| j4 | | Mary Lou Soffa: Control Discipline Necessity: Making the Language as General as the Implementation. BIT 22(2): 169-182 (1982) |
| j3 | | John P. Kearns, Carol J. Meier, Mary Lou Soffa: The Performance Evaluation of Control Implementations. IEEE Trans. Software Eng. 8(2): 89-96 (1982) |
| 1981 | ||
| j2 | | Gary Lindstrom, Mary Lou Soffa: Referencing and Retention in Block-Structured Coroutines. ACM Trans. Program. Lang. Syst. 3(3): 263-292 (1981) |
| 1980 | ||
| j1 | | W. Pauli, Mary Lou Soffa: Coroutine Behaviour and Implementation. Softw., Pract. Exper. 10(3): 189-204 (1980) |
Colors in the list of coauthors
Last update Fri May 24 13:37:27 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page