Mary Lou Soffa

ACM Trans. Softw. Eng. Methodol., May, 2023

2021

Distribution-aware testing of neural networks using generative models.

[BibT_eX]

[DOI]

Dataset, January, 2021

Artifact: Distribution-Aware Testing of Neural Networks Using Generative Models.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Distribution-Aware Testing of Neural Networks Using Generative Models.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Message from the Program Chairs.

[BibT_eX]

[DOI]

Ayal Zaks

Proceedings of the IEEE/ACM International Symposium on Code Generation and Optimization, 2021

2020

A Language for Autonomous Vehicles Testing Oracles.

[BibT_eX]

[DOI]

Ana Nora Evans

Sebastian G. Elbaum

CoRR, 2020

Testing deep neural networks (keynote).

[BibT_eX]

[DOI]

Proceedings of the SPLASH '20: Conference on Systems, 2020

Is rust used safely by software developers?

[BibT_eX]

[DOI]

Ana Nora Evans

Bradford Campbell

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

A statistics-based performance testing methodology for cloud applications.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2018

Black-Box Generation of Adversarial Text Sequences to Evade Deep Learning Classifiers.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Security and Privacy Workshops, 2018

Testing Cloud Applications under Cloud-Uncertainty Performance Effects.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

2016

Predicting the memory bandwidth and optimal core allocations for multi-threaded applications on large-scale NUMA machines.

[BibT_eX]

[DOI]

Wei Wang

Jack W. Davidson

Proceedings of the 2016 IEEE International Symposium on High Performance Computer Architecture, 2016

2014

DraMon: Predicting memory bandwidth usage of multi-threaded programs with high accuracy and low overhead.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Symposium on High Performance Computer Architecture, 2014

2013

Marple: Detecting faults in path segments using automatically generated analyses.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2013

ReSense: Mapping dynamic workloads of colocated multithreaded applications using resource sensitivity.

[BibT_eX]

[DOI]

ACM Trans. Archit. Code Optim., 2013

Educating Diverse Computing Students at the University of Virginia.

[BibT_eX]

[DOI]

James P. Cohoon

Joanne McGrath Cohoon

Computer, 2013

ReQoS: reactive static/dynamic compilation for QoS in warehouse scale computers.

[BibT_eX]

[DOI]

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2012

Memory optimization of dynamic binary translators for embedded systems.

[BibT_eX]

[DOI]

ACM Trans. Archit. Code Optim., 2012

Increasing Utilization in Modern Warehouse-Scale Computers Using Bubble-Up.

[BibT_eX]

[DOI]

IEEE Micro, 2012

REEact: a customizable virtual execution manager for multicore platforms.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Virtual Execution Environments, 2012

THeME: a system for testing by hardware monitoring events.

[BibT_eX]

[DOI]

Kristen Walcott-Justice

Proceedings of the International Symposium on Software Testing and Analysis, 2012

Performance analysis of thread mappings with a holistic view of the hardware resources.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Symposium on Performance Analysis of Systems & Software, 2012

Compiling for niceness: mitigating contention for QoS in warehouse scale computers.

[BibT_eX]

[DOI]

Lingjia Tang

Proceedings of the 10th Annual IEEE/ACM International Symposium on Code Generation and Optimization, 2012

2011

Jazz2: a flexible and extensible framework for structural testing in a Java VM.

[BibT_eX]

[DOI]

Jonathan Misurda

Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, 2011

Bubble-Up: increasing utilization in modern warehouse scale computers via sensible co-locations.

[BibT_eX]

[DOI]

Proceedings of the 44rd Annual IEEE/ACM International Symposium on Microarchitecture, 2011

Generating analyses for detecting faults in path segments.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Characterizing multi-threaded applications based on shared-resource contention.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2011

The impact of memory subsystem resource sharing on datacenter applications.

[BibT_eX]

[DOI]

Proceedings of the 38th International Symposium on Computer Architecture (ISCA 2011), 2011

Exploiting hardware advances for software testing and debugging.

[BibT_eX]

[DOI]

Kristen R. Walcott

Proceedings of the 33rd International Conference on Software Engineering, 2011

Lazy preemption to enable path-based analysis of interrupt-driven code.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications, 2011

Directly characterizing cross core interference through contention synthesis.

[BibT_eX]

[DOI]

Lingjia Tang

Proceedings of the High Performance Embedded Architectures and Compilers, 2011

Focusing high school teachers on attracting diverse students to computer science and engineering.

[BibT_eX]

[DOI]

James P. Cohoon

Joanne McGrath Cohoon

Proceedings of the 2011 Frontiers in Education Conference, 2011

2010

Detecting bugs in register allocation.

[BibT_eX]

[DOI]

Yuqiang Huang

ACM Trans. Program. Lang. Syst., 2010

DBT path selection for holistic memory efficiency and performance.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Virtual Execution Environments, 2010

Path-based fault correlations.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Contention aware execution: online contention detection and response.

[BibT_eX]

[DOI]

Proceedings of the CGO 2010, 2010

Balancing memory and performance through selective flushing of software code caches.

[BibT_eX]

[DOI]

Proceedings of the 2010 International Conference on Compilers, 2010

2009

Transparent Debugging of Dynamically Optimized Code.

[BibT_eX]

[DOI]

Naveen Kumar

Proceedings of the CGO 2009, 2009

A Framework for Exploring Optimization Properties.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 18th International Conference, 2009

2008

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

[BibT_eX]

[DOI]

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

Database-aware test coverage monitoring.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 1st Annual India Software Engineering Conference, 2008

Path Sensitive Analysis for Security Flaws.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

08441 Abstracts Collection - Emerging Uses and Paradigms for Dynamic Binary Translation.

[BibT_eX]

[DOI]

Proceedings of the Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10., 2008

08441 Final Report - Emerging Uses and Paradigms for Dynamic Binary Translation.

[BibT_eX]

[DOI]

Proceedings of the Emerging Uses and Paradigms for Dynamic Binary Translation, 26.10., 2008

2007

Program representations for testing wireless sensor network applications.

[BibT_eX]

[DOI]

Nguyet T. M. Nguyen

Proceedings of the 2007 Workshop on Domain Specific Approaches to Software Test Automation, 2007

Effective source-level debugging of wireless sensor networks.

[BibT_eX]

[DOI]

Jing Yang

Kamin Whitehouse

Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, 2007

Clairvoyant: a comprehensive source-level debugger for wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, 2007

Refining buffer overflow detection via demand-driven path-sensitive analysis.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2007

Test suite reduction and prioritization with call trees.

[BibT_eX]

[DOI]

Adam M. Smith

Joshua Geiger

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Virtual Execution Environments: Support and Tools.

[BibT_eX]

[DOI]

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Reducing Exit Stub Memory Consumption in Code Caches.

[BibT_eX]

[DOI]

Proceedings of the High Performance Embedded Architectures and Compilers, 2007

2006

An approach toward profit-driven optimization.

[BibT_eX]

[DOI]

ACM Trans. Archit. Code Optim., 2006

Gender, achievement, and persistence in an undergraduate computer science program.

[BibT_eX]

[DOI]

Data Base, 2006

Catching and Identifying Bugs in Register Allocation.

[BibT_eX]

[DOI]

Yuqiang Huang

Proceedings of the Static Analysis, 13th International Symposium, 2006

TimeAware test suite prioritization.

[BibT_eX]

[DOI]

Kristen R. Walcott

Robert S. Roos

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Techniques and tools for dynamic optimization.

[BibT_eX]

[DOI]

Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

2005

The impact of software engineering research on modern programming languages.

[BibT_eX]

[DOI]

Barbara G. Ryder

Margaret M. Burnett

ACM Trans. Softw. Eng. Methodol., 2005

Compile-Time Planning for Overhead Reduction in Software Dynamic Translators.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 2005

Planning for code buffer management in distributed virtual execution environments.

[BibT_eX]

[DOI]

Shukang Zhou

Proceedings of the 1st International Conference on Virtual Execution Environments, 2005

Low overhead program monitoring and profiling.

[BibT_eX]

[DOI]

Naveen Kumar

Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005

Testing in resource constrained execution environments.

[BibT_eX]

[DOI]

Daniel Mossé

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Demand-driven structural testing with dynamic instrumentation.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Model-Based Framework: An Approach for Profit-Driven Optimization.

[BibT_eX]

[DOI]

Proceedings of the 3nd IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2005), 2005

Jazz: A Tool for Demand-Driven Structural Testing.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 14th International Conference, 2005

Tdb: a source-level debugger for dynamically translated programs.

[BibT_eX]

[DOI]

Naveen Kumar

Proceedings of the Sixth International Workshop on Automated Debugging, 2005

2004

Instrumentation in software dynamic translators for self-managed systems.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, 2004

Overhead Reduction Techniques for Software Dynamic Translation.

[BibT_eX]

[DOI]

Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

Increasing Diversity in the Information Technology Workforce: Implications from a Study of Factors that Predict Achievement in CS.

[BibT_eX]

[DOI]

Proceedings of the Embracing Diversity in the Learning Sciences: Proceedings of the 6th International Conference for the Learning Sciences, 2004

Developing a Foundation for Code Optimization.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 13th International Conference, 2004

2003

Editorial.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2003

Gender and race in predicting achievement in computer science.

[BibT_eX]

[DOI]

IEEE Technol. Soc. Mag., 2003

Influences on the design of exception handling ACM SIGSOFT project on the impact of software engineering research on programming language design.

[BibT_eX]

[DOI]

Barbara G. Ryder

ACM SIGSOFT Softw. Eng. Notes, 2003

Regression testing of GUIs.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

A family of test adequacy criteria for database-driven applications.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

A study to identify predictors of achievement in an introductory computer science course.

[BibT_eX]

[DOI]

Proceedings of the 2003 SIGMIS Conference on Computer Personnel Research: Freedom in Philadelphia, 2003

The Limits of Speculative Trace Reuse on Deeply Pipelined Processors.

[BibT_eX]

[DOI]

Proceedings of the 15th Symposium on Computer Architecture and High Performance Computing (SBAC-PAD 2003), 2003

SoftTest: a framework for software testing of Java programs.

[BibT_eX]

[DOI]

Proceedings of the 2003 OOPSLA Workshop on Eclipse Technology eXchange, 2003

Predicting the impact of optimizations for embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2003 Conference on Languages, 2003

Continuous Compilation: A New Approach to Aggressive and Adaptive Code Transformation.

[BibT_eX]

[DOI]

Jack W. Davidson

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

Report on the ICSE 2003 Doctoral Symposium.

[BibT_eX]

[DOI]

Dick Hamlet

Proceedings of the 25th International Conference on Software Engineering, 2003

Retargetable and Reconfigurable Software Dynamic Translation.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2003), 2003

2002

Shortchanging the future of information technology: the untapped resource.

[BibT_eX]

[DOI]

Angela M. Balcita

Doris L. Carver

ACM SIGCSE Bull., 2002

Debugging and Testing Optimizers through Comparison Checking.

[BibT_eX]

[DOI]

Proceedings of the Compiler Optimization Meets Compiler Verification, 2002

2001

Hierarchical GUI Test Case Generation Using Automated Planning.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2001

Coverage criteria for GUI testing.

[BibT_eX]

[DOI]

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Using Component Metacontent to Support the Regression Testing of Component-Based Software.

[BibT_eX]

[DOI]

Proceedings of the 2001 International Conference on Software Maintenance, 2001

2000

1999 SIGPLAN Awards.

[BibT_eX]

ACM SIGPLAN Notices, 2000

Automated test oracles for GUIs.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

FULLDOC: A Full Reporting Debugger for Optimized Code.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 7th International Symposium, 2000

Generating Test Data for Branch Coverage.

[BibT_eX]

[DOI]

Neelam Gupta

Aditya P. Mathur

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Plan Generation for GUI Testing.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

1999

Tutorial: Techniques to Improve the Scalability and Precision of Data Flow Analysis.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 6th International Symposium, 1999

Load-Reuse Analysis: Design and Evaluation.

[BibT_eX]

[DOI]

Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 1999

UNA Based Iterative Test Data Generation and Its Evaluation.

[BibT_eX]

[DOI]

Neelam Gupta

Aditya P. Mathur

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Value Prediction in VLIW Machines.

[BibT_eX]

[DOI]

Tarun Nakra

Proceedings of the 26th Annual International Symposium on Computer Architecture, 1999

Using a Goal-Driven Approach to Generate Test Cases for GUIs.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Conference on Software Engineering, 1999

Global Context-Based Value Prediction.

[BibT_eX]

[DOI]

Tarun Nakra

Proceedings of the Fifth International Symposium on High-Performance Computer Architecture, 1999

Comparison Checking: An Approach to Avoid Debugging of Optimized Code.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, 1999

1998

SIGPLAN and SIGSOFT Joint Efforts.

[BibT_eX]

David Notkin

ACM SIGPLAN Notices, 1998

1998 SIGPLAN Awards.

[BibT_eX]

ACM SIGPLAN Notices, 1998

Automated Test Data Generation Using an Iterative Relaxation Method.

[BibT_eX]

[DOI]

Neelam Gupta

Aditya P. Mathur

Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

Complete removal of redundant expressions (with retrospective)

[BibT_eX]

[DOI]

Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1998

Complete Removal of Redundant Computations.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN '98 Conference on Programming Language Design and Implementation (PLDI), 1998

Data Flow Analysis Driven Dynamic Data Partitioning.

[BibT_eX]

[DOI]

Jodi L. Tims

Proceedings of the Languages, 1998

Integrated Instruction Scheduling and Register Allocation Techniques.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 1998

Capturing the Effects of Code Improving Transformations.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, 1998

1997

Hybrid Slicing: Integrating Dynamic Information with Static Analysis.

[BibT_eX]

[DOI]

John Howard

ACM Trans. Softw. Eng. Methodol., 1997

An Approach for Exploring Code-Improving Transformations.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1997

A Practical Framework for Demand-Driven Interprocedural Data Flow Analysis.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1997

Interprocedural Conditional Branch Elimination.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation (PLDI), 1997

Refining Data Flow Information Using Infeasible Paths.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering, 1997

1996

Program Slicing-Based Regression Testing Techniques.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 1996

Integrating Program Optimizations and Transformations with the Scheduling of Instruction Level Parallelism.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 1996

A Demand-Driven Analyzer for Data Flow Testing at the Integration Level.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Software Engineering, 1996

1995

Introduction to the Special Section.

[BibT_eX]

[DOI]

Henri E. Bal

Boumediene Belkhouche

IEEE Trans. Software Eng., 1995

Hybrid Slicing: An Approach for Refining Static Slices Using Dynamic Information.

[BibT_eX]

[DOI]

Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, 1995

Demand-driven Computation of Interprocedural Data Flow.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

GURRR: A Global Unified Resource Requirements Representation.

[BibT_eX]

[DOI]

Proceedings of the Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95), 1995

Priority based data flow testing.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Maintenance, 1995

Practical approach to single assignment code.

[BibT_eX]

[DOI]

Patricia Prather Pineo

Proceedings of the IFIP WG10.3 working conference on Parallel architectures and compilation techniques, 1995

1994

Scheduling DAG's for Asynchronous Multiprocessor Execution.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1994

The Combining DAG: A Technique for Parallel Data Flow Analysis.

[BibT_eX]

[DOI]

Robert Kramer

IEEE Trans. Parallel Distributed Syst., 1994

Efficient Computation of Interprocedural Definition-Use Chains.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1994

Efficient Register Allocation via Coloring Using Clique Separators.

[BibT_eX]

[DOI]

Denise Ombres

ACM Trans. Program. Lang. Syst., 1994

The Design and Implementation of Genesis.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1994

Debugging Optimized Code Via Tailoring (Abstract).

[BibT_eX]

[DOI]

Mary P. Bivens

Proceedings of the 1994 International Symposium on Software Testing and Analysis, 1994

Resource Spackling: A Framework for Integrating Register Allocation in Local and Global Schedulers.

[BibT_eX]

[DOI]

Proceedings of the Parallel Architectures and Compilation Techniques, 1994

A Framework for Partial Data Flow Analysis.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Maintenance, 1994

Undoing Code Transformations in an Independent Order.

[BibT_eX]

[DOI]

Proceedings of the 1994 International Conference on Parallel Processing, 1994

An Efficient Technique to Remove Transformations.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994

A Practical Approach to the Symbolic Debugging of Parallelized Code.

[BibT_eX]

[DOI]

Patricia Prather Pineo

Proceedings of the Compiler Construction, 5th International Conference, 1994

Reducing the Cost of Data Flow Analysis By Congruence Partitioning.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 5th International Conference, 1994

1993

A Methodology for Controlling the Size of a Test Suite.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1993

Employing Static Information in the Generation of Test Cases.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 1993

A Practical Data Flow Framework for Array Reference Analysis and its Use in Optimizations.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993

URSA: A Unified ReSource Allocator for Registers and Functional Units in VLIW Architectures.

[BibT_eX]

[DOI]

Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, 1993

Investigating Properties of Code Transformations.

[BibT_eX]

[DOI]

Proceedings of the 1993 International Conference on Parallel Processing, 1993

1992

Incremental Global Reoptimization of Programs.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1992

Techniques for Integrating Parallelizing Transformations and Compiler-Based Scheduling Methods.

[BibT_eX]

[DOI]

Tia M. Watts

Proceedings of the Proceedings Supercomputing '92, 1992

A Visualization System for Parallelizing Programs.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Supercomputing '92, 1992

Parallel Task Assignment by Graph Partitioning.

[BibT_eX]

[DOI]

Shan Fan Liu

Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

A shape matching approach for scheduling fine-grained parallelism.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual International Symposium on Microarchitecture, 1992

Distributed Slicing and Partial Re-execution for Distributed Programs.

[BibT_eX]

[DOI]

Proceedings of the Languages and Compilers for Parallel Computing, 1992

The Combining Dag: A Technique for Parallel DataMow Analysis.

[BibT_eX]

[DOI]

Robert Kramer

Proceedings of the 6th International Parallel Processing Symposium, 1992

Automatic Generation of a Compact Test Suit.

[BibT_eX]

Proceedings of the Algorithms, Software, Architecture, 1992

An approach to regression testing using slicing.

[BibT_eX]

[DOI]

Proceedings of the Conference on Software Maintenance, 1992

A Fine-Grained Approach to Scheduling Asynchronous Multiprocessors.

[BibT_eX]

Proceedings of the Computing and Information, 1992

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 1992

A Visual Optimization Specification Language.

[BibT_eX]

Proceedings of the Advanced Visual Interfaces - Proceedings of the International Workshop, 1992

1991

Compile-Time Techniques for Improving Scalar Access Performance in Parallel Memories.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 1991

Selecting and Using Data fro Integration Testing.

[BibT_eX]

[DOI]

IEEE Softw., 1991

Automatic Generation of Global Optimizers.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), 1991

Debugging Parallelized Code Using Code Liberation Techniques.

[BibT_eX]

[DOI]

Patricia Prather Pineo

Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, 1991

Parallel Generational Garbage Collection.

[BibT_eX]

[DOI]

Ravi Sharma

Proceedings of the Sixth Annual Conference on Object-Oriented Programming Systems, 1991

Concurrency Analysis in the Presence of Procedures Using a Data-Flow Framework.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

1990

Region Scheduling: An Approach for Detecting and Redistributing Parallelism.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1990

Conversion of Simulation Processes to Pascal Constructs.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1990

Incremental Register Reallocation.

[BibT_eX]

[DOI]

Mary P. Bivens

Softw. Pract. Exp., 1990

Architectural support for register allocation in the presence of aliasing.

[BibT_eX]

[DOI]

Ben Heggy

Proceedings of the Proceedings Supercomputing '90, New York, NY, USA, November 12-16, 1990, 1990

An Approach to Ordering Optimizing Transformations.

[BibT_eX]

[DOI]

Proceedings of the Second ACM SIGPLAN Symposium on Princiles & Practice of Parallel Programming (PPOPP), 1990

Incremental Global Optimization for Faster Recompilations.

[BibT_eX]

[DOI]

Proceedings of the 1990 Internation Conference on Computer Languages, 1990

Computation of Interprocedural Definition and Use Dependencies.

[BibT_eX]

[DOI]

Proceedings of the 1990 Internation Conference on Computer Languages, 1990

1989

An Incremental Version of Iterative Data Flow Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1989

Compilation techniques for a reconfigurable LIW architecture.

[BibT_eX]

[DOI]

J. Supercomput., 1989

[BibT_eX]

[DOI]

Tim Steele

Proceedings of the ACM SIGPLAN'89 Conference on Programming Language Design and Implementation (PLDI), 1989

Interprocedual Data Flow Testing.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

Reuse of Compiler Analysis in a Programming Environment.

[BibT_eX]

[DOI]

M. P. Blivens

Proceedings of the Computer Trends in the 1990s, 1989

1988

On Locating Minimum Feedback Vertex Sets.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1988

Compile-time Techniques for Efficient Utilization of Parallel Memories.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGPLAN PPEALS 1988, 1988

An incremental approach to unit testing during maintenance.

[BibT_eX]

[DOI]

Proceedings of the Conference on Software Maintenance, 1988

1987

A Reconfigurable LIW Architecture.

[BibT_eX]

Proceedings of the International Conference on Parallel Processing, 1987

1986

SIMCAL: the merger of Simula and Pascal.

[BibT_eX]

[DOI]

Proceedings of the 18th conference on Winter simulation, 1986

SHAPE: a highly adaptable and parallel system.

[BibT_eX]

[DOI]

Proceedings of the 14th ACM Annual Conference on Computer Science, 1986

1985

Feedback Vertex Sets and Cyclically Reducible Graphs

[BibT_eX]

[DOI]

Ching-Chy Wang

J. ACM, April, 1985

Eager Reclamation.

[BibT_eX]

[DOI]

Ching-Chy Wang

IEEE Trans. Software Eng., 1985

Efficient Storage Management for Temporary Values in Concurrent Programming Languages.

[BibT_eX]

[DOI]

Donna J. Quammen

IEEE Trans. Computers, 1985

The efficiency of storage management schemes for Ada programs.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1985

An optimistic implementation of the stack-heap.

[BibT_eX]

[DOI]

Jean R. S. Blair

Phil Kearns

J. Syst. Softw., 1985

Incremental Compilation of Locally Optimized Code.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985

1984

Reverse Execution in a Generalized Control Regime.

[BibT_eX]

[DOI]

Fernando Lafora

Comput. Lang., 1984

1983

The Contraction of Control Implementations.

[BibT_eX]

[DOI]

Lawrence A. Coon

Comput. Lang., 1983

The Implementation of Retention in a Coroutine Environment.

[BibT_eX]

[DOI]

Acta Informatica, 1983

1982

The Performance Evaluation of Control Implementations.

[BibT_eX]

[DOI]

Carol J. Meier

IEEE Trans. Software Eng., 1982

Control Discipline Necessity: Making the Language as General as the Implementation.

[BibT_eX]

[DOI]

BIT, 1982

1981

Referencing and Retention in Block-Structured Coroutines.

[BibT_eX]

[DOI]

Gary Lindstrom

ACM Trans. Program. Lang. Syst., 1981

1980

Coroutine Behaviour and Implementation.

[BibT_eX]

[DOI]

W. Pauli

Softw. Pract. Exp., 1980

An instructional aid for student programs.

[BibT_eX]

[DOI]

Sally S. Robinson

Proceedings of the 11th SIGCSE Technical Symposium on Computer Science Education, 1980

1977

Control Separation in programming languages.

[BibT_eX]

[DOI]

Michael J. Lemon

Gary Lindstrom