Abstract. Anti dependences (write-after-read dependences) constrain the reordering of instructions and limit the eectiveness of instruction scheduling and software pipelining techniques for superscalar and VLIW processors. Repairing solves this problem: If the denition of a variable is moved before a previous use of that variable, compiler-generated re-pair code reconstructs the value that the denition destroyed. Repair-ing features several potential advantages over register renaming, another technique for removing anti dependences: less register pressure, less loop unrolling and fewer move instructions
While fixing concurrency bugs, program repair algorithms may introduce new concurrency bugs. We pres...
For decades, compilers have relied on dependence analysis to deter-mine the legality of their transf...
International audienceRegister allocation recently regained much interest due to new decoupled strat...
Over the past decade, there has been a surge of academic and industrial interest in optimistic concu...
Over the past decade, there has been a surge of academic and industrial interest in optimistic concu...
We present a new, semantics-based approach to me-chanical program repair where the intended meaning ...
Register allocation regained much interest in recent years due to the development of decoupled strat...
Abstract. While fixing concurrency bugs, program repair algorithms may introduce new concurrency bug...
This thesis examines the feasibility of applying compile-time information to assist in rollback reco...
The goal of automatic program repair is to identify a set of syntactic changes that can turn a progr...
Modern superscalar processors use advanced features like dynamic scheduling and speculative executio...
Much initial research on automatic program repair has fo-cused on experimental results to probe thei...
Much initial research on automatic program repair has fo-cused on experimental results to probe thei...
. Register allocation and instruction scheduling are antagonistic optimizations: Whichever is applie...
We present a new and flexible approach to repair reactive programs with respect to a specification. ...
While fixing concurrency bugs, program repair algorithms may introduce new concurrency bugs. We pres...
For decades, compilers have relied on dependence analysis to deter-mine the legality of their transf...
International audienceRegister allocation recently regained much interest due to new decoupled strat...
Over the past decade, there has been a surge of academic and industrial interest in optimistic concu...
Over the past decade, there has been a surge of academic and industrial interest in optimistic concu...
We present a new, semantics-based approach to me-chanical program repair where the intended meaning ...
Register allocation regained much interest in recent years due to the development of decoupled strat...
Abstract. While fixing concurrency bugs, program repair algorithms may introduce new concurrency bug...
This thesis examines the feasibility of applying compile-time information to assist in rollback reco...
The goal of automatic program repair is to identify a set of syntactic changes that can turn a progr...
Modern superscalar processors use advanced features like dynamic scheduling and speculative executio...
Much initial research on automatic program repair has fo-cused on experimental results to probe thei...
Much initial research on automatic program repair has fo-cused on experimental results to probe thei...
. Register allocation and instruction scheduling are antagonistic optimizations: Whichever is applie...
We present a new and flexible approach to repair reactive programs with respect to a specification. ...
While fixing concurrency bugs, program repair algorithms may introduce new concurrency bugs. We pres...
For decades, compilers have relied on dependence analysis to deter-mine the legality of their transf...
International audienceRegister allocation recently regained much interest due to new decoupled strat...