Superoptimization - PDFSEARCH.IO - Document Search Engine

Superoptimization
Results: 12

#	Item
1	The Straight-Line Automatic Programming Problem Rajeev Joshi, Greg Nelson, Yunhong Zhou HP Laboratories Palo Alto HPLNovember 20th , 2003* superoptimization, Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:41:20 Computer programming Theoretical computer science Software engineering Logic in computer science Computational complexity theory Boolean algebra NP-complete problems Formal methods Boolean satisfiability problem Conditional Reduction Algorithm
2	Scaling up Superoptimization Phitchaya Mangpo Phothilimthana Aditya Thakur Add to Reading List Source URL: pl.eecs.berkeley.edu Language: English - Date: 2016-01-28 03:12:38 Programming language theory Computing Software engineering Graph connectivity Peephole optimization Algorithm Search algorithm Google Search Connected component ALGOL 68
3	Sound Loop Superoptimization for Google Native Client Berkeley Churchill Rahul Sharma ∗ JF Bastien Add to Reading List Source URL: raw.githubusercontent.com
4	Conditionally Correct Superoptimization Rahul Sharma Eric Schkufza Berkeley Churchill Add to Reading List Source URL: theory.stanford.edu - Date: 2015-09-11 02:07:20
5	research highlights DOI:70 1 Stochastic Program Optimization By Eric Schkufza, Rahul Sharma, and Alex Aiken Add to Reading List Source URL: raw.githubusercontent.com Language: English Compiler optimizations Compilers X86 architecture Programming language implementation Compiler construction X86 Low-level programming language GNU Compiler Collection LLVM Assembly language Superoptimization Program optimization
6	Optgen: A Generator for Local Optimizations Sebastian Buchwald Karlsruhe Institute of Technology Abstract. Every compiler comes with a set of local optimization rules, Add to Reading List Source URL: pp.info.uni-karlsruhe.de Language: English - Date: 2015-01-20 17:49:37 Software Compiler optimizations Computer programming Peephole optimization Superoptimization Constant folding Compiler Program optimization Satisfiability modulo theories Expression Static single assignment form GNU Compiler Collection
7	Microsoft Word - REV-ARTdoc Add to Reading List Source URL: www.currentscience.ac.in Language: English - Date: 2015-05-18 06:52:38 Compiler optimizations Software Programming language implementation Peephole optimization Code generation Superoptimization Compiler Program optimization Stack machine Software engineering Compiler construction Computing
8	Stochastic Superoptimization Eric Schkufza Rahul Sharma Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2013-01-20 12:06:36 X86-64 Low-level programming language GNU Compiler Collection Markov chain Monte Carlo C Segmentation fault Strength reduction MOV Program optimization Computing Software X86 architecture
9	Automatic Generation of Peephole Superoptimizers Sorav Bansal and Alex Aiken Computer Systems Lab Stanford University {sbansal, aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-08-01 01:50:46 Programming language implementation X86 instructions Peephole optimization Superoptimization MOV X86 architecture Assembly language X86 CPUID Computer architecture Compiler optimizations Computing
10	Chlorophyll: Synthesis-Aided Compiler for Low-Power Spatial Architectures Phitchaya Mangpo Phothilimthana Tikhon Jelvis Rohin Shah Add to Reading List Source URL: jelv.is Language: English - Date: 2014-04-02 08:10:20 Procedural programming languages Data types Compiler optimizations Program analysis Stack Superoptimization Partition editor Disk partitioning Partition of a set Computing Software engineering Programming language theory