Tag compiler [at least 200 articles] Export

Recent papers classified by the tag compiler.

	The Structure and Performance of Efficient Interpreters [My Copy] Journal of Instruction-Level Parallelism, Vol. 5 (2003) by Anton M. Ertl, David Gregg posted to interpreter compiler by azwinkau on 2009-11-20 12:59:54 as along with 2 people akuhn fgeller
	Growing a Language [My Copy] Higher Order Symbol. Comput., Vol. 12, No. 3. (October 1999), pp. 221-236. by Guy Steele posted to programming-languages design compiler by azwinkau on 2009-11-20 12:44:22 as along with 12 people and 1 group akuhn onierstrasz samth dherman JacquesC hamish bfraser ryanc tov calvins danlentz dmeister NU-PRL
	Optimal Code Selection in DAGs [My Copy] In Principles of Programming Languages (POPL '99) (1999) by Anton M. Ertl posted to ssa instruction-selection compiler by azwinkau on 2009-11-20 12:25:08 as along with 2 people and 1 group UniQ jolilius TUCS-ES_Lab
	A Formally Verified Compiler Back-end [My Copy] Journal of Automated Reasoning, Vol. 43, No. 4. (1 December 2009), pp. 363-446. by Xavier Leroy posted to formal_verification compiler compilation backend by ajk on 2009-11-19 08:41:54 as
	Near-optimal instruction selection on dags [My Copy] In CGO '08: Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization (2008), pp. 45-54. by David R. Koes, Seth C. Goldstein posted to llvm instruction-selection compiler code-generation by azwinkau on 2009-11-17 08:52:22 as along with 3 people UniQ visit0r sby
	BEG: a generator for efficient back ends [My Copy] SIGPLAN Not., Vol. 24, No. 7. (1989), pp. 227-237. by H. Emmelmann, F. W. Schröer, Rudolf Landwehr posted to firm compiler backend-generator by azwinkau on 2009-11-12 17:10:47 as
	Compilers : principles, techniques, and tools [My Copy] (01 January 1988) by Alfred V. Aho, Ravi Sethi, Jeffrey D. Ullman posted to sweng compiler by mattbiehl on 2009-11-12 15:55:21 as along with 6 people and 1 group camster yaroslavvb ujh jrw leidner eabait dbk-lab
	Towards a holistic approach to auto-parallelization: integrating profile-driven parallelism detection and machine-learning based mapping [My Copy] In PLDI '09: Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation (2009), pp. 177-187. by Georgios Tournavitis, Zheng Wang, Björn Franke, Michael F. P. O'Boyle posted to profiling parallelism multicore compiler by elsaturnino on 2009-11-11 01:25:22 as
	Effective compiler generation by architecture description [My Copy] In LCTES '06: Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems (2006), pp. 145-152. by Stefan Farfeleder, Andreas Krall, Edwin Steiner, Florian Brandner posted to compiler code-generation by azwinkau on 2009-11-10 20:16:31 as
	Register allocation by puzzle solving [My Copy] In PLDI '08: Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation (2008), pp. 216-226. by ao~Pereira Fernando Magno Quint, Jens Palsberg posted to register-allocation compiler by azwinkau on 2009-11-10 20:15:35 as
	Generalized instruction selection using <i>SSA</i>-graphs [My Copy] In LCTES '08: Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems (2008), pp. 31-40. by Dietmar Ebner, Florian Brandner, Bernhard Scholz, Andreas Krall, Peter Wiedermann, Albrecht Kadlec posted to ssa pbqp llvm instruction-selection compiler code-generation by azwinkau on 2009-11-10 20:14:10 as along with 2 people and 1 group UniQ visit0r Verimag-STmicro
	Understanding and Writing Compilers: A Do It Yourself Guide [My Copy] (1979) by Richard Bornat posted to textbook compiler book 1979 by michaelbanks on 2009-09-18 16:53:02 as
	An Applicative Control-Flow Graph Based on Huet's Zipper [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the ACM-SIGPLAN Workshop on ML (ML 2005), Vol. 148, No. 2. (24 March 2006), pp. 105-126. by Norman Ramsey, Joao Dias posted to zipper control-flow compiler caml abstract-interpretation by pedagand on 2009-09-04 21:04:30 as along with 3 people and 1 group dankamongmen robertjohnsimmons spl ConcertRG
	The Implementation of Functional Programming Languages (Prentice-Hall International Series in Computer Series) [My Copy] (01 May 1987) by Simon L. Peyton-Jones posted to language-miranda functional-programming compiler by pedagand on 2009-08-31 05:20:46 as along with 4 people tautologico Benja benchambers spl
	Formalizing and verifying semantic type soundness of a simple compiler [My Copy] In PPDP '07: Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming (2007), pp. 1-12. by Nick Benton, Uri Zarfaty posted to correctness coq compiler by albertfong on 2009-08-24 20:19:38 as along with 1 person pedagand
	Formal verification of translation validators: a case study on instruction scheduling optimizations [My Copy] In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 17-27. by Jean B. Tristan, Xavier Leroy posted to correctness coq compiler by albertfong on 2009-08-24 20:11:18 as
	A cost-driven compilation framework for speculative parallelization of sequential programs [My Copy] In PLDI '04: Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation (2004), pp. 71-81. by Zhao H. Du, Chu C. Lim, Xiao F. Li, Chen Yang, Qingyu Zhao, Tin F. Ngai posted to tls profiling parallelism ddg compiler by elsaturnino on 2009-08-20 17:53:15 as
	Secure web applications via automatic partitioning [My Copy] In 21st ACM SIGOPS symposium on Operating Systems Principles (SOSP '07) (2007), pp. 31-44. by Stephen Chong, Jed Liu, Andrew C. Myers, et al.Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng posted to web-services swift security policy jif java compiler 2007 by michaelbanks on 2009-08-18 11:13:22 as along with 1 group SOSP
	SIF: enforcing confidentiality and integrity in web applications [My Copy] In 16th USENIX Security Symposium on USENIX Security Symposium (SS'07) (2007), pp. 1-16. by Stephen Chong, K. Vikram, Andrew C. Myers posted to web-services swift security policy jif integrity confidentiality compiler 2007 by michaelbanks on 2009-08-18 11:11:43 as along with 1 person akshayk
	Derivatives of Regular Expressions [My Copy] Journal of the ACM, Vol. 11, No. 4. (October 1964), pp. 481-494. by Janusz A. Brzozowski posted to regular-expressions lexing compiler by mattmight on 2009-08-14 02:33:11 as along with 8 people hubris msakai zednenem kavabean mstone bunge jennie dfisher
	EULER: a generalization of ALGOL and it formal definition: Part 1 [My Copy] Commun. ACM, Vol. 9, No. 1. (January 1966), pp. 13-25. by Niklaus Wirth, Helmut Weber posted to wirth compiler algol by ajholanda on 2009-08-12 16:29:55 as along with 1 person scavadini
	On the capabilities of while, repeat, and exit statements [My Copy] Commun. ACM, Vol. 16, No. 8. (1973), pp. 503-512. by W. W. Peterson, T. Kasami, N. Tokura posted to while kasami compiler by ajholanda on 2009-08-12 16:15:38 as
	LR Parsing [My Copy] ACM Comput. Surv., Vol. 6, No. 2. (June 1974), pp. 99-124. by A. V. Aho, S. C. Johnson posted to parser lr compiler aho by ajholanda on 2009-08-12 16:03:50 as along with 2 people ajk pedagand
	Methods for Computing LALR(<italic>k</italic>) Lookahead [My Copy] ACM Trans. Program. Lang. Syst., Vol. 3, No. 1. (1981), pp. 60-82. by Bent B. Kristensen, Ole L. Madsen posted to lalr kristensen compiler by ajholanda on 2009-08-12 15:59:24 as
	A new analysis of LALR formalisms [My Copy] ACM Trans. Program. Lang. Syst., Vol. 7, No. 1. (1985), pp. 159-175. by Joseph C. H. Park, K. M. Choe, C. H. Chang posted to park lalr formalism compiler by ajholanda on 2009-08-12 15:53:58 as
	Deterministic parsing of ambiguous grammars [My Copy] Commun. ACM, Vol. 18, No. 8. (1975), pp. 441-452. by A. V. Aho, S. C. Johnson, J. D. Ullman posted to parser compiler ambiguous-grammar aho by ajholanda on 2009-08-12 15:39:25 as
	Efficient Computation of LALR(1) Look-Ahead Sets [My Copy] ACM Trans. Program. Lang. Syst., Vol. 4, No. 4. (October 1982), pp. 615-649. by Frank Deremer, Thomas Pennello posted to lalr deremer compiler by ajholanda on 2009-08-12 15:32:20 as along with 3 people and 1 group dfisher dherman ajk NU-PRL
	Simple <italic>LR(k)</italic> grammars [My Copy] Commun. ACM, Vol. 14, No. 7. (1971), pp. 453-460. by Franklin L. DeRemer posted to grammar deremer context-free compiler by ajholanda on 2009-08-12 15:29:49 as along with 1 person mattmight
	Bounded context syntactic analysis [My Copy] Commun. ACM, Vol. 7, No. 2. (1964), pp. 62-67. by Robert W. Floyd posted to floyd compiler by ajholanda on 2009-08-12 15:21:38 as along with 1 person mattmight
	An algorithm for coding efficient arithmetic operations [My Copy] Commun. ACM, Vol. 4, No. 1. (1961), pp. 42-51. by Robert W. Floyd posted to precedence operator floyd compiler by ajholanda on 2009-08-12 15:18:33 as
	Syntactic Analysis and Operator Precedence [My Copy] J. ACM, Vol. 10, No. 3. (July 1963), pp. 316-333. by Robert W. Floyd posted to syntatic precedence operator floyd compiler analysis by ajholanda on 2009-08-12 15:16:28 as along with 2 people mattmight scavadini
	The arithmetic translator-compiler of the IBM FORTRAN automatic coding system [My Copy] Commun. ACM, Vol. 2, No. 2. (1959), pp. 9-21. by Peter B. Sheridan posted to sheridan fortran compiler by ajholanda on 2009-08-12 13:55:07 as
	The European side of the last phase of the development of ALGOL 60 [My Copy] (1981), pp. 92-139. by Peter Naur posted to naur european compiler algol by ajholanda on 2009-08-12 13:44:38 as along with 1 person chandlerc
	Invited papers: History of writing compilers [My Copy] In Proceedings of the 1962 ACM national conference on Digest of technical papers (1962), 43. by D. E. Knuth posted to knuth compiler by ajholanda on 2009-08-12 13:17:10 as
	backus normal form vs. Backus Naur form [My Copy] Commun. ACM, Vol. 7, No. 12. (1964), pp. 735-736. by Donald E. Knuth posted to normal naur knuth form compiler backus by ajholanda on 2009-08-12 13:09:54 as
	Pre-Scheme: A Scheme Dialect for Systems Programming [My Copy] (1997) by Richard A. Kelsey posted to compiler scheme by mattmight on 2009-08-08 16:45:45 as
	Raced profiles: efficient selection of competing compiler optimizations [My Copy] In LCTES '09: Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems (2009), pp. 50-59. by Hugh Leather, Michael O'Boyle, Bruce Worton posted to benchmarking compiler interesting-rating--4 statistics by mrsmond on 2009-07-20 13:24:22 as
	Revisiting the Sequential Programming Model for the Multicore Era [My Copy] Micro, IEEE In Micro, IEEE, Vol. 28, No. 1. (2008), pp. 12-20. by M. J. Bridges, N. Vachharajani, Yun Zhang, T. Jablin, D. I. August posted to compiler criticalpath multicore parallelism by elsaturnino on 2009-07-16 00:15:42 as along with 1 person iammealva
	Architecture for a Next-Generation GCC [My Copy] In Proceedings of the First Annual GCC Developers' Summit (May 2003) by Chris Lattner, Vikram Adve posted to compiler llvm ssa by mattmight on 2009-07-15 05:12:23 as along with 1 person and 1 group jolilius TUCS-ES_Lab
	Rabbit: A Compiler for Scheme [My Copy] (1978) by Guy L. Steele posted to compiler cps lambda-calculus scheme by mattmight on 2009-07-14 22:29:27 as along with 7 people and 1 group dimvar samth JeffreyPalmer dsilva calvins eblood bfraser NU-PRL
	The development of the C language [My Copy] In HOPL-II: The second ACM SIGPLAN conference on History of programming languages (1993), pp. 201-208. by Dennis M. Ritchie posted to compiler classic by mitake on 2009-07-14 04:47:24 as
	Programming Techniques: Regular expression search algorithm [My Copy] Commun. ACM, Vol. 11, No. 6. (June 1968), pp. 419-422. by Ken Thompson posted to classic compiler by mitake on 2009-07-14 04:39:14 as along with 2 people SamB maggesi
	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 compiler ghc haskell 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 accelerators architecture compiler embedded 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 accelerators architecture compiler 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 accelerators architecture compiler dfg eda 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 accelerators architecture compiler 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 accelerators architecture compiler 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 accelerators architecture compiler parallelism performance 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 accelerators architecture compiler parallelism programming by elsaturnino on 2009-06-03 01:06:02 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 10 Next

architecture	89
optimization	82
instruction	56
extension	43
instruction-set	36
java	26
scheduling	25
cfa	22
profiling	20
programming	19
control	18
cps	18
goto-elimination	18
accelerators	17
scheme	16
algorithm	14
ssa	14
gfoxpub	12
identification	12
parallel_computing	12
code-optimization	11
dsl	11
haskell	11
language	10
ml	10
continuations	9
coq	9
enumeration	9
formal-proof	9
functional	9
hpf	9
parallelism	9
types	9
inlining	8
ir	8
register-allocation	7
software	7
transformation	7
conferencepaper	6
contification	6
ilp	6
jikes	6
jit	6
list_scheduling	6
machine-learning	6
semantics	6
software-measurement	6
analysis	5
certification	5
compilation	5
correctness	5
cxx	5
jalapeno	5
monads	5
multicore	5
parallel	5
partial-evaluation	5
register	5
security	5
allocation	4
aop	4
bytecode	4
code-generation	4
extensibility	4
extensible-syntax	4
formal	4
functional-programming	4
gpu	4
interpreter	4
jvm	4
llvm	4
loop-optimization	4
model	4
object-oriented	4
optimizing	4
parser	4
performance	4
pipeline	4
program	4
sampling	4
staged-programming	4
survey	4
tail-recursion	4
verification	4
virtuals	4
vliw	4
vm	4
book	3
c-language	3
computational_science	3
design	3
escapeanalysis	3
floyd	3
jml	3
mpi	3
parsing	3
phase	3
rvm	3
static-analysis	3
targeting-c	3

Tag compiler [at least 200 articles] Export

Related Tags