Tag compiler [at least 200 articles]

Recent papers classified by the tag compiler.

	The Glasgow Haskell Compiler: A Technical Overview [My Copy] In Proc. UK Joint Framework for Information Technology (JFIT) Technical Conference (93) by Simon L. Peyton-Jones, Cordelia V. Hall, Kevin Hammond, Will Partain, Philip Wadler posted to haskell ghc compiler by mattmight on 2009-06-20 01:23:04 as along with 5 people and 1 group jrw rahul robennals tmiya tov SRL
	An Architecture Framework for Transparent Instruction Set Customization in Embedded Processors [My Copy] In ISCA '05: Proceedings of the 32nd annual international symposium on Computer Architecture (2005), pp. 272-283. by Nathan Clark, Jason Blome, Michael Chu, Scott Mahlke, Stuart Biles, Krisztian Flautner posted to embedded compiler architecture accelerators by elsaturnino on 2009-06-11 22:34:06 as
	A Scalable Synthesis Methodology for Application-Specific Processors [My Copy] Very Large Scale Integration (VLSI) Systems, IEEE Transactions on In Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, Vol. 14, No. 11. (2006), pp. 1175-1188. by F. Sun, S. Ravi, A. Raghunathan, N. K. Jha posted to compiler architecture accelerators by elsaturnino on 2009-06-11 22:07:02 as
	Automated custom instruction generation for domain-specific processor acceleration [My Copy] Computers, IEEE Transactions on In Computers, IEEE Transactions on, Vol. 54, No. 10. (2005), pp. 1258-1270. by N. T. Clark, H. Zhong, S. A. Mahlke posted to eda dfg compiler architecture accelerators by elsaturnino on 2009-06-04 23:36:22 as
	Scalable subgraph mapping for acyclic computation accelerators [My Copy] In CASES '06: Proceedings of the 2006 international conference on Compilers, architecture and synthesis for embedded systems (2006), pp. 147-157. by Nathan Clark, Amir Hormati, Scott Mahlke, Sami Yehia posted to compiler architecture accelerators by elsaturnino on 2009-06-03 21:24:02 as along with 1 person and 2 groups iammealva CompArch Compilers
	PICO: automatically designing custom computers [My Copy] Computer In Computer, Vol. 35, No. 9. (2002), pp. 39-47. by V. Kathail, S. Aditya, R. Schreiber, Ramakrishna, D. C. Cronquist, M. Sivaraman posted to compiler architecture accelerators by elsaturnino on 2009-06-03 18:54:22 as along with 1 person visit0r
	CUDA-Lite: Reducing GPU Programming Complexity [My Copy] Languages and Compilers for Parallel Computing (2008), pp. 1-15. by Sain-Zee Ueng, Melvin Lathara, Sara Baghsorkhi, Wen-Mei Hwu posted to performance parallelism compiler architecture accelerators by elsaturnino on 2009-06-03 01:06:39 as
	MCUDA: An Efficient Implementation of CUDA Kernels for Multi-core CPUs [My Copy] Languages and Compilers for Parallel Computing (2008), pp. 16-30. by John Stratton, Sam Stone, Wen-Mei Hwu posted to programming parallelism compiler architecture accelerators by elsaturnino on 2009-06-03 01:06:02 as
	Dependence-Based Code Generation for a CELL Processor [My Copy] Languages and Compilers for Parallel Computing (2007), pp. 64-79. by Yuan Zhao, Ken Kennedy posted to parallelism compiler architecture accelerators by elsaturnino on 2009-06-01 23:35:16 as
	EXOCHI: architecture and programming environment for a heterogeneous multi-core multithreaded system [My Copy] In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation (2007), pp. 156-166. by Perry H. Wang, Jamison D. Collins, Gautham N. Chinya, et al.Hong Jiang, Xinmin Tian, Milind Girkar, Nick Y. Yang, Guei-Yuan Lueh, Hong Wang posted to programming compiler architecture accelerators by elsaturnino on 2009-06-01 22:00:01 as along with 2 people mwmarkland naoya
	Exploiting Narrow Accelerators with Data-Centric Subgraph Mapping [My Copy] In CGO '07: Proceedings of the International Symposium on Code Generation and Optimization (2007), pp. 341-353. by Amir Hormati, Nathan Clark, Scott Mahlke posted to compiler architecture accelerators by elsaturnino on 2009-06-01 21:22:27 as
	Formal verification of translation validators: a case study on instruction scheduling optimizations [My Copy] SIGPLAN Not., Vol. 43, No. 1. (2008), pp. 17-27. by Jean B. Tristan, Xavier Leroy posted to translation-validation formal-proof coq compiler by pedagand on 2009-05-26 14:02:45 as
	A compiler framework for optimization of affine loop nests for gpgpus [My Copy] In ICS '08: Proceedings of the 22nd annual international conference on Supercomputing (2008), pp. 225-234. by Muthu M. Baskaran, Uday Bondhugula, Sriram Krishnamoorthy, J. Ramanujam, Atanas Rountev, P. Sadayappan posted to optimization gpgpu compiler by naoya on 2009-05-19 04:38:08 as along with 1 person sambayliss
	Using XML in a compiler course [My Copy] In ITiCSE '04: Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education (2004), pp. 4-6. by Robert D. Adams, Christian Trefftz posted to xml project compiler by bhoward on 2009-05-18 17:54:39 as
	Issues and challenges in compiling for graphics processors [My Copy] In CGO '08: Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization (2008), pp. 2-2. by Norm Rubin posted to manycore gpu compiler by yingbo on 2009-05-16 16:05:23 as
	Understanding why correlation profiling improves the predictability of data cache misses in nonnumeric applications [My Copy] Computers, IEEE Transactions on In Computers, IEEE Transactions on, Vol. 49, No. 4. (2000), pp. 369-384. by T. C. Mowry, C. K. Luk posted to profiling prefetching data-locality compiler cache by yingbo on 2009-05-13 16:05:58 as
	Profiling k-Iteration Paths : A Generalization of the Ball-Larus Profiling Algorithm [My Copy] Code Generation and Optimization, 2009. CGO 2009. International Symposium on In Code Generation and Optimization, 2009. CGO 2009. International Symposium on (2009), pp. 70-80. by Subhajit Roy, Y. N. Srikant posted to profiling compiler by yingbo on 2009-05-13 08:18:50 as
	Perflint: A Context Sensitive Performance Advisor for C++ Programs [My Copy] Code Generation and Optimization, 2009. CGO 2009. International Symposium on In Code Generation and Optimization, 2009. CGO 2009. International Symposium on (2009), pp. 265-274. by Lixia Liu, Silvius Rus posted to profiling performance compiler by yingbo on 2009-05-13 04:25:23 as
	OptiScope: Performance Accountability for Optimizing Compilers [My Copy] Code Generation and Optimization, 2009. CGO 2009. International Symposium on In Code Generation and Optimization, 2009. CGO 2009. International Symposium on (2009), pp. 254-264. by Tipp Moseley, Dirk Grunwald, Ramesh Peri posted to sampling performance compiler by yingbo on 2009-05-13 04:18:41 as
	Cross-Input Learning and Discriminative Prediction in Evolvable Virtual Machines [My Copy] Code Generation and Optimization, 2009. CGO 2009. International Symposium on In Code Generation and Optimization, 2009. CGO 2009. International Symposium on (2009), pp. 92-101. by Feng Mao, Xipeng Shen posted to workload-characterization machine-learning compiler by yingbo on 2009-05-13 04:12:38 as
	Online optimizations driven by hardware performance monitoring [My Copy] In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation (2007), pp. 373-382. by Florian T. Schneider, Mathias Payer, Thomas R. Gross posted to sampling profiling compiler by yingbo on 2009-05-13 04:10:58 as along with 2 people iff mwmarkland
	A Practical Approach to Hardware Performance Monitoring Based Dynamic Optimizations in a Production JVM [My Copy] Code Generation and Optimization, 2009. CGO 2009. International Symposium on In Code Generation and Optimization, 2009. CGO 2009. International Symposium on (2009), pp. 190-199. by John Cuthbertson, Sandhya Viswanathan, Konstantin Bobrovsky, Alexander Astapchuk, Eric K. Srinivasan posted to sampling profiling compiler by yingbo on 2009-05-13 04:07:51 as
	Automatic Feature Generation for Machine Learning Based Optimizing Compilation [My Copy] Code Generation and Optimization, 2009. CGO 2009. International Symposium on In Code Generation and Optimization, 2009. CGO 2009. International Symposium on (2009), pp. 81-91. by Hugh Leather, Edwin Bonilla, Michael O'Boyle posted to machine-learning compiler by yingbo on 2009-05-13 04:01:22 as
	Workload Reduction for Multi-input Feedback-Directed Optimization [My Copy] Code Generation and Optimization, 2009. CGO 2009. International Symposium on In Code Generation and Optimization, 2009. CGO 2009. International Symposium on (2009), pp. 59-69. by Paul Berube, Jose N. Amaral, Rayson Ho, Raul Silvera posted to workload-characterization profiling machine-learning compiler by yingbo on 2009-05-13 03:57:20 as
	Scenario Based Optimization: A Framework for Statically Enabling Online Optimizations [My Copy] Code Generation and Optimization, 2009. CGO 2009. International Symposium on In Code Generation and Optimization, 2009. CGO 2009. International Symposium on (2009), pp. 169-179. by Jason Mars, Robert Hundt posted to sampling profiling compiler by yingbo on 2009-05-11 15:01:15 as
	Formal Verification of a Java Compiler in Isabelle [My Copy] In CADE-18: Proceedings of the 18th International Conference on Automated Deduction (2002), pp. 63-77. by Martin Strecker posted to semantics proof-simulation mechanization formal-proof compiler by pedagand on 2009-05-07 20:11:18 as along with 1 person ddemange
	Translation validation [My Copy] Tools and Algorithms for the Construction and Analysis of Systems (1998), pp. 151-166. by A. Pnueli, M. Siegel, E. Singerman posted to semantics proof-simulation compiler by pedagand on 2009-05-07 10:50:03 as
	Translation validation for an optimizing compiler [My Copy] SIGPLAN Not., Vol. 35, No. 5. (2000), pp. 83-94. by George C. Necula posted to translation-validation semantics optimization mechanization formal-proof compiler by pedagand on 2009-05-06 17:31:10 as
	Software Verification and Software Engineering: a Practitioner’s Perspective [My Copy] Verified Software: Theories, Tools, Experiments In Verified Software: Theories, Tools, Experiments, Vol. 4171 (2008), pp. 70-73. by Anthony Hall posted to verification software-engineering opinion grand-challenge compiler 2008 by michaelbanks on 2009-04-29 14:12:43 as
	Dynamic optimization through the use of automatic runtime specialization [My Copy] M.eng., Massachussetts Institute of Technology (1999) by John Whaley, John Whaley posted to transformation program optimization java dynamic compiler by ddemange on 2009-04-10 14:04:08 as
	The Jalapeño dynamic optimizing compiler for Java [My Copy] In JAVA '99: Proceedings of the ACM 1999 conference on Java Grande (1999), pp. 129-141. by Michael G. Burke, Jong-Deok Choi, Stephen Fink, et al.David Grove, Michael Hind, Vivek Sarkar, Mauricio J. Serrano, V. C. Sreedhar, Harini Srinivasan, John Whaley posted to transformation program optimization java dynamic compiler by ddemange on 2009-04-10 14:02:43 as along with 2 people and 1 group guillonc cruediger CompsSTMicro
	Harissa: A flexible and efficient Java environment mixing bytecode and compiled code [My Copy] In In Proceedings of the 3rd Conference on Object-Oriented Technologies and Systems (1997), pp. 1-20. by Gilles Muller, Fabrice Bellard, Charles Consel posted to off-line jit java compiler c bytecode by ddemange on 2009-04-10 13:54:14 as
	A formally verified compiler back-end [My Copy] (12 Feb 2009) by Xavier Leroy posted to verification transformations theorem semantic prover proof program preservation optimizations methods formal coq compiler by ddemange on 2009-04-10 13:28:08 as along with 2 people jrw jleny
	Optimizing indirect branch prediction accuracy in virtual machine interpreters [My Copy] In In SIGPLAN ’03 Conference on Programming Language Design and Implementation (2003), pp. 278-288. by Anton M. Ertl, Tu Wien, David Gregg posted to jvm interpreter compiler branchprediction by ReiOdaira on 2009-04-06 03:49:15 as
	Using machine learning to focus iterative optimization [My Copy] Code Generation and Optimization, 2006. CGO 2006. International Symposium on In Code Generation and Optimization, 2006. CGO 2006. International Symposium on (2006), 11 pp.. by F. Agakov, E. Bonilla, J. Cavazos, et al.B. Franke, G. Fursin, M. F. P. O'Boyle, J. Thomson, M. Toussaint, C. K. I. Williams posted to optimization model metaheuristic markov machine-learning compiler by nojhan to the group Statistical Machine Learning on 2009-04-01 09:42:38 as along with 1 person and 1 group dominik-g Optimization
	A post-compilation register reassignment technique for improving hamming distance code compression [My Copy] In CASES '05: Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems (2005), pp. 97-104. by Montserrat Ros, Peter Sutton posted to register-allocation compiler by sby on 2009-03-31 18:40:39 as
	Compiler-Based Register Name Adjustment for Low-Power Embedded Processors [My Copy] In ICCAD '03: Proceedings of the 2003 IEEE/ACM international conference on Computer-aided design (2003), 523. by Peter Petrov, Alex Orailoglu posted to register-allocation compiler by sby on 2009-03-31 18:37:15 as
	Threads cannot be implemented as a library [My Copy] In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 261-268. by H. Hans-J posted to parallel multicore compiler by sby on 2009-03-31 18:28:45 as along with 11 people NickGasson DickSilver LittleWood kinaba thsutton JosephKoshy qiongc arsyed damaru Bluetulip brothers
	Compiling Exceptions Correctly [My Copy] Mathematics of Program Construction (2004), pp. 211-227. by Graham Hutton, Joel Wright posted to formal-proof exceptions compiler by pedagand on 2009-03-24 12:06:23 as
	Meta-programming with Typed Object-Language Representations [My Copy] Generative Programming and Component Engineering (2004), pp. 136-167. by Emir Pašalić, Nathan Linger posted to types domain-specific-language compiler by pedagand on 2009-03-21 10:26:48 as
	Deterministic, error-correcting combinator parsers [My Copy] Advanced Functional Programming (1996), pp. 184-207. by S. Swierstra, Luc Duponcheel posted to domain-specific-language compiler by pedagand on 2009-03-21 10:24:06 as
	The design, implementation, and evaluation of a compiler algorithm for CPU energy reduction [My Copy] In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, Vol. 38, No. 5. (May 2003), pp. 38-48. by Chung-Hsing Hsu, Ulrich Kremer posted to power_mgmt dvfs compiler by hamurster on 2009-03-17 00:23:00 as along with 2 people ladypine pejo
	Compiling Join-Patterns [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 16, No. 3. (1998), pp. 205-224. by F. Lefessant, L. Maranget posted to join-calculus distributed compiler by pedagand on 2009-03-14 21:43:07 as
	A Dynamic Compilation Framework for Controlling Microprocessor Energy and Performance [My Copy] In In MICRO 38: Proceedings of the 38th annual IEEE/ACM International Symposium on Microarchitecture (2005), pp. 271-282. by Qiang Wu, V. J. Reddi, Youfeng Wu, et al.Jin Lee, Dan Connors, David Brooks, Margaret Martonosi, Douglas W. Clark posted to perfctr embedded dvfs power_mgmt compiler by hamurster on 2009-03-14 20:28:12 as
	Java<sup>TM</sup> just-in-time compiler and virtual machine improvements for server and middleware applications [My Copy] In VM'04: Proceedings of the 3rd conference on Virtual Machine Research And Technology Symposium (2004), pp. 12-12. by Nikola Grcevski, Allan Kielstra, Kevin Stoodley, Mark Stoodley, Vijay Sundaresan posted to jvm compiler by ReiOdaira on 2009-03-06 10:46:01 as
	Decrypting the Java gene pool [My Copy] In ISMM '07: Proceedings of the 6th international symposium on Memory management (2007), pp. 67-78. by Sebastien Marion, Richard Jones, Chris Ryder posted to pretenuring gc compiler by ReiOdaira on 2009-03-04 16:02:04 as
	Reflections on trusting trust [My Copy] Commun. ACM, Vol. 27, No. 8. (August 1984), pp. 761-763. by Ken Thompson posted to trust lecture-aos compiler by pedagand on 2009-02-24 09:46:33 as along with 3 people and 1 group muraken kingsunshine reinhardt RAB LAB
	Domain specific embedded compilers [My Copy] In Domain-Specific Languages (1999), pp. 109-122. by Daan Leijen, Erik Meijer posted to project-master-thesis language-haskell functional-programming domain-specific-language compiler by pedagand on 2009-02-18 19:39:55 as along with 13 people and 2 groups draganigajic sourada twleung dherman jacob JacquesC hamish JeffreyPalmer cedricboidin msakai ryanc jimburton dfisher NU-PRL Lambda the Ultimate
	Parametric higher-order abstract syntax for mechanized semantics [My Copy] SIGPLAN Not., Vol. 43, No. 9. (2008), pp. 143-156. by Adam Chlipala posted to types theorem-prover project-master-thesis programming-language formal-proof compiler by pedagand on 2009-02-18 19:19:05 as along with 1 person keigoi
	The transmeta code morphing software: Using speculation, recovery, and adaptive retranslation to address real-life challenges [My Copy] (2003), pp. 15-24. by James C. Dehnert, Brian K. Grant, John P. Banning, et al.Richard Johnson, Thomas Kistler, Er Klaiber, Jim Mattson posted to immutable hardware compiler by ReiOdaira on 2009-01-27 08:17:35 as

Note: You may cite this page as: http://www.citeulike.org/tag/compiler

Result page: 1 2 3 4 5 6 7 8 9 Next

RIS BibTeX RTF/PDF

Tag compiler [at least 200 articles]

Tag selected articles

Related Tags