- Mesh: Compacting Memory Management for C/C++ Applications
2019/02/13 by Bobby Powers, David Tench, Emery D. Berger +1 · 4 voices
Computer Science · #Allocator #C dynamic memory allocation #Distributed systems and fault tolerance #Extended memory #Interleaved memory #Memory leak #Memory management #Memory map #Memory safety #Parallel Computing and Optimization Techniques #Security and Verification in Computing #Virtual memory #cs.DS #cs.PF #cs.PL
- Register allocation for Intel processor graphics
2018/02/24 by Wei-Yu Chen, Guei-Yuan Lueh, Pratik Ashar +2 · 1 citation
Computer Science · #Parallel Computing and Optimization Techniques #Advanced Data Storage Technologies #Embedded Systems Design Techniques #Computer science #Register allocation #Allocator #Processor register #Parallel computing #Control flow #Compiler #Register file #Overhead (engineering) #Graphics #SIMD #Instruction set #Byte #Operating system #Programming language #Memory address
- Trace Register Allocation Policies
2017/09/15 by Josef Eisl, Stefan Marr, Thomas Würthinger +1 · 2 citations
Computer Science · #Parallel Computing and Optimization Techniques #Logic, programming, and type systems #Security and Verification in Computing #Register allocation #Allocator #Computer science #TRACE (psycholinguistics) #Compiler #Processor register #Parallel computing #Register (sociolinguistics) #Code (set theory) #Just-in-time compilation #Programming language #Operating system
- Trace-based Register Allocation in a JIT Compiler
2016/08/15 by Josef Eisl, Matthias Grimmer, Doug Simon +2 · 2 citations
Computer Science · #Parallel Computing and Optimization Techniques #Logic, programming, and type systems #Software Testing and Debugging Techniques #Register allocation #Computer science #Allocator #Compiler #TRACE (psycholinguistics) #Just-in-time compilation #Parallel computing #Processor register #Dynamic compilation #Call graph #Profiling (computer programming) #Theoretical computer science #Programming language #Operating system
- Split Register Allocation: Linear Complexity Without the Performance Penalty
2010/01/01 by Boubacar Diouf, Albert Cohen, Fabrice Rastello +1 · 1 citation
Computer Science · #Algorithm #Allocator #Bytecode #Compiler #Computer science #Formal Methods in Verification #Java #Linear programming #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Parallel computing #Programming language #Register allocation #Software portability #Time complexity
- Register coalescing techniques for heterogeneous register architecture with copy sifting
2009/01/01 by Minwook Ahn, Yunheung Paek · 1 citation
Computer Science · #Parallel Computing and Optimization Techniques #Distributed systems and fault tolerance #Advanced Data Storage Technologies #Register allocation #Allocator #Computer science #Register (sociolinguistics) #Processor register #Register file #Parallel computing #Architecture #Instruction set #Operating system #Compiler
- Register Spilling and Live-Range Splitting for SSA-Form Programs
2009/01/01 by Matthias Braun, Sebastian Hack · 2 citations
Computer Science · #Algorithm #Allocator #Benchmark (surveying) #Code (set theory) #Compiler #Computer science #Logic, programming, and type systems #Operating system #Parallel Computing and Optimization Techniques #Parallel computing #Programming language #Range (aeronautics) #Register allocation #Software #Software Testing and Debugging Techniques #x86
- On the complexity of spill everywhere under SSA form
2007/06/13 by Florent Bouchez, Alain Darte, Fabrice Rastello · 1 citation
Computer Science · #Parallel Computing and Optimization Techniques #Optimization and Search Problems #Complexity and Algorithms in Graphs #Computer science #Heuristics #Allocator #Register allocation #Overhead (engineering) #Context (archaeology) #Parallel computing #Minification #Distributed computing #Programming language #Operating system
- Hybrid Optimizations: Which Optimization Algorithm to Use?
2006/01/01 by John Cavazos, J. Eliot B. Moss, Michael O’Boyle +1 · 3 citations
Computer Science · #Algorithm #Allocator #Compile time #Compiler #Computer science #Formal Methods in Verification #Graph #Graph coloring #Heuristics #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #Parallel computing #Programming language #Register allocation #Theoretical computer science
- Optimized interval splitting in a linear scan register allocator
2005/06/11 by Christian Wimmer, Hanspeter Mössenböck · 5 citations
Computer Science · #Parallel Computing and Optimization Techniques #Logic, programming, and type systems #Software Testing and Debugging Techniques #Register allocation #Computer science #Allocator #Parallel computing #Compiler #Processor register #Benchmark (surveying) #Polling #Algorithm #Operating system #Memory address
- Optimistic register coalescing
2004/07/01 by Jinpyo Park, Soo‐Mook Moon · 3 citations
Computer Science · Engineering · #Software Testing and Debugging Techniques #Advanced Memory and Neural Computing #Advanced Malware Detection Techniques #Computer science #Heuristics #Graph #Allocator #Theoretical computer science #Distributed computing #Parallel computing #Operating system
- A generalized algorithm for graph-coloring register allocation
2004/06/09 by Michael D. Smith, Norman F. Ramsey, Glenn Holloway · 2 citations
Computer Science · Mathematics · #Formal Methods in Verification #Parallel Computing and Optimization Techniques #Embedded Systems Design Techniques #Register allocation #Computer science #Graph coloring #Register (sociolinguistics) #Allocator #Graph #Parallel computing #Register file #Algorithm #Generalization #Programming language #Arithmetic #Theoretical computer science #Compiler #Instruction set #Mathematics
- Linear Scan Register Allocation in the Context of SSA Form and Register Constraints
2002/01/01 by Hanspeter Mössenböck, Michael Pfeiffer · 1 citation
Computer Science · #Algorithm #Allocator #Computer science #Control flow graph #Data flow diagram #Data-flow analysis #Formal Methods in Verification #Graph #Graph coloring #Parallel Computing and Optimization Techniques #Parallel computing #Programming language #Register (sociolinguistics) #Register allocation #Software Testing and Debugging Techniques #Theoretical computer science #x86
- Linear Scan Register Allocation in a High-Performance Erlang Compiler
2001/12/20 by Erik Johansson, Erik M. J. Johansson, Konstantinos Sagonas · 1 citation
Computer Science · #Allocator #Compiler #Computer science #Dynamic compilation #Erlang (programming language) #Formal Methods in Verification #Functional programming #Just-in-time compilation #Logic, programming, and type systems #Operating system #Parallel Computing and Optimization Techniques #Parallel computing #Processor register #Programming language #Register (sociolinguistics) #Register allocation
- Linear scan register allocation
1999/09/01 by Massimiliano Poletto, Vivek Sarkar · 6 citations
Computer Science · #Parallel Computing and Optimization Techniques #Software Testing and Debugging Techniques #Logic, programming, and type systems #Register allocation #Computer science #Allocator #Graph coloring #Compiler #Parallel computing #Compile time #Graph #Algorithm #Time complexity #Theoretical computer science #Programming language
- Quality and speed in linear-scan register allocation
1998/05/01 by Omri Traub, Glenn Holloway, Michael D. Smith · 1 citation
Computer Science · #Parallel Computing and Optimization Techniques #Software Testing and Debugging Techniques #Logic, programming, and type systems #Register allocation #Computer science #Allocator #Compiler #Graph coloring #Parallel computing #Register (sociolinguistics) #Graph #Processor register #Shift register #Algorithm #Dynamic compilation #Programming language #Theoretical computer science #Computer hardware
- Iterated register coalescing
1996/05/01 by Lal George, Andrew W. Appel · 3 citations
Computer Science · Mathematics · #Parallel Computing and Optimization Techniques #Software Testing and Debugging Techniques #Logic, programming, and type systems #Computer science #Register allocation #Allocator #Graph coloring #Iterated function #Heuristic #Graph #Call graph #Parallel computing #Register (sociolinguistics) #Algorithm #Theoretical computer science #Programming language #Artificial intelligence #Mathematics #Compiler
- Improvements to graph coloring register allocation
1994/05/01 by Preston Briggs, Keith D. Cooper, Linda Torczon · 18 citations
Computer Science · #Parallel Computing and Optimization Techniques #Formal Methods in Verification #Software Testing and Debugging Techniques #Allocator #Computer science #Graph coloring #Register allocation #Suite #Parallel computing #Graph #Thread (computing) #Code (set theory) #Programming language #Theoretical computer science
- Allocating scarce resources: A contingency model of distributive justice
1992/11/01 by Linda J Skitka, Linda J. Skitka, Philip E Tetlock +1 · 2 citations
Psychology · Social Sciences · #Allocator #Contingency #Culture, Economy, and Development Studies #Distributive justice #Distributive property #Economic Justice #Economics #Experimental Behavioral Economics Studies #Microeconomics #Political Philosophy and Ethics #Psychology #Public economics #Resource allocation #Scarcity #Social psychology
- Rematerialization
1992/07/01 by Preston Briggs, Keith D. Cooper, Linda Torczon · 2 citations
Computer Science · #Logic, programming, and type systems #Software Engineering Research #Formal Methods in Verification #Allocator #Computer science #Graph #Context (archaeology) #Theoretical computer science #Parallel computing #Algorithm