Program analysis and code generation in an APL/370 compiler
IBM Journal of Research and Development
Data flow analysis for `intractable' system software
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Discovering machine-specific code improvements
SIGPLAN '86 Proceedings of the 1986 SIGPLAN symposium on Compiler construction
Detecting equality of variables in programs
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Global value numbers and redundant computations
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the Minimization of Loads/Stores in Local Register Allocation
IEEE Transactions on Software Engineering
Look ma, no hashing, and no arrays neither
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Constant propagation with conditional branches
ACM Transactions on Programming Languages and Systems (TOPLAS)
A bibliography on syntax error handling in context free languages
ACM SIGPLAN Notices
Loop distribution with multiple exits
Proceedings of the 1992 ACM/IEEE conference on Supercomputing
Optimal code motion: theory and practice
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compiler transformations for high-performance computing
ACM Computing Surveys (CSUR)
Optimization of functional programs by grammar thinning
ACM Transactions on Programming Languages and Systems (TOPLAS)
Global code motion/global value numbering
PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
A Tree-Based Alternative to Java Byte-Codes
International Journal of Parallel Programming
SWAMI: a flexible logic implementation system
DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference
Analysis of Graphs by Ordering of Nodes
Journal of the ACM (JACM)
Some Topics in Code Optimization
Journal of the ACM (JACM)
Testing for the Church-Rosser Property
Journal of the ACM (JACM)
A Fast and Usually Linear Algorithm for Global Flow Analysis
Journal of the ACM (JACM)
Code Generation for Expressions with Common Subexpressions
Journal of the ACM (JACM)
On Live-Dead Analysis for Global Data Flow Problems
Journal of the ACM (JACM)
Assignment Commands with Array References
Journal of the ACM (JACM)
Variations on the Common Subexpression Problem
Journal of the ACM (JACM)
The ALS Ada compiler global optimizer
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada
Look-ahead allocation in the presence of branches
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Comparative study of page-based and segment-based software DSM through compiler optimization
Proceedings of the 14th international conference on Supercomputing
Some Observations Concerning Formal Differentiation of Set Theoretic Expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Finite Differencing of Computable Expressions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Experience with the SETL Optimizer
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing Quicksort programs
Communications of the ACM
An analysis of inline substitution for a structured programming language
Communications of the ACM
An algorithm for reduction of operator strength
Communications of the ACM
A program data flow analysis procedure
Communications of the ACM
State-space problem-reduction, and theorem proving—some relationships
Communications of the ACM
The synthesis of loop predicates
Communications of the ACM
Communications of the ACM
MPACT: microprocessor application to control-firmware translator
ACM SIGDA Newsletter
A unified approach to global program optimization
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Generalized common subexpressions in very high level languages
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Expression continuity and the formal differentiation of algorithms
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Applications of a graph grammar for program control flow analysis
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Application of lattice algebra to loop optimization
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Transformational programming: applications to algorithms and systems
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A program form based on data dependency in predicate regions
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Inductively computable constructs in very high level languages
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The History of Fortran I, II, and III
IEEE Annals of the History of Computing
Computing in Science and Engineering
Computational Divided Differencing and Divided-Difference Arithmetics
Higher-Order and Symbolic Computation
Speculative Predication Across Arbitrary Interprocedural Control Flow
LCPC '99 Proceedings of the 12th International Workshop on Languages and Compilers for Parallel Computing
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Eliminating Dead Code on Recursive Data
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Detecting Equalities of Variables: Combining Efficiency with Precision
SAS '99 Proceedings of the 6th International Symposium on Static Analysis
Constant Propagation on the Value Graph: Simple Constants and Beyond
CC '00 Proceedings of the 9th International Conference on Compiler Construction
Control structure aptness: A case study using top-down parsing
ICSE '78 Proceedings of the 3rd international conference on Software engineering
ARTSPEAK: A graphics language for artists
The papers of the ACM symposium on Graphic languages
Validating register allocations for straight line programs
STOC '72 Proceedings of the fourth annual ACM symposium on Theory of computing
Flow graph analysis using linear connected regions
ACM '76 Proceedings of the 1976 annual conference
A survey of compiler optimization techniques
ACM '73 Proceedings of the ACM annual conference
Automatic recognition of vector and parallel operations in a higher level language
ACM '72 Proceedings of the ACM annual conference - Volume 2
The optimization of user programs for an Algebraic Manipulation System
SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
An intermediate language for source and target independent code optimization
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Optimized machine-independent extended FORTRAN for minicomputer programming
SIGMINI '76 Proceedings of the ACM SIGMINI/SIGPLAN interface meeting on Programming systems in the small processor environment
Adapting large systems to small machines
SIGMINI '76 Proceedings of the ACM SIGMINI/SIGPLAN interface meeting on Programming systems in the small processor environment
The history of FORTRAN I, II, and III
ACM SIGPLAN Notices - Special issue: History of programming languages conference
Fortran for the Texas Instruments ASC system
Proceedings of the conference on Programming languages and compilers for parallel and vector machines
Proceedings of a symposium on Compiler optimization
Expression optimization using unary complement operators
Proceedings of a symposium on Compiler optimization
A methodology for machine language decompilation
ACM '74 Proceedings of the 1974 annual conference - Volume 1
ACM '71 Proceedings of the 1971 26th annual conference
Code generation for expressions with common subexpressions (Extended Abstract)
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
Induction variables in very high level languages
POPL '76 Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages
What can we gain by unfolding loops?
ACM SIGPLAN Notices
The structure of shared forests in ambiguous parsing
ACL '89 Proceedings of the 27th annual meeting on Association for Computational Linguistics
Automatic recognition of vector and parallel operations in a higher level language
ACM SIGPLAN Notices - Special issue on control structures in programming languages
ACM SIGPLAN Notices - Best of PLDI 1979-1999
COLING '88 Proceedings of the 12th conference on Computational linguistics - Volume 1
The history of Fortran I, II, and III
History of programming languages I
Efficient On-Line Proofs of Equalities and Inequalities of Formulas
IEEE Transactions on Computers
Optimization on array bound check and redundancy elimination
ISTASC'05 Proceedings of the 5th WSEAS/IASME International Conference on Systems Theory and Scientific Computation
Redundancy elimination revisited
Proceedings of the 17th international conference on Parallel architectures and compilation techniques
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
Inducing compact but accurate tree-substitution grammars
NAACL '09 Proceedings of Human Language Technologies: The 2009 Annual Conference of the North American Chapter of the Association for Computational Linguistics
An efficient context-free parsing algorithm for natural languages
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 2
Improved optimization of FORTRAN object programs
IBM Journal of Research and Development
Optimization and code generation in a compiler for several machines
IBM Journal of Research and Development
Strength reduction for division and modulo with application to accessing a multilevel store
IBM Journal of Research and Development
Register assignment algorithm for generation of highly optimized object code
IBM Journal of Research and Development
The history of language processor technology in IBM
IBM Journal of Research and Development
Programmer productivity: program efficiency and improvement
ACM-SE 15 Proceedings of the 15th annual Southeast regional conference
Hardware-Accelerated RNA Secondary-Structure Alignment
ACM Transactions on Reconfigurable Technology and Systems (TRETS)
A probabilistic parser applied to software testing documents
AAAI'92 Proceedings of the tenth national conference on Artificial intelligence
Pure and declarative syntax definition: paradise lost and regained
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Reducing the worst case running times of a family of RNA and CFG problems, using Valiant's approach
WABI'10 Proceedings of the 10th international conference on Algorithms in bioinformatics
Sparse RNA folding: Time and space efficient algorithms
Journal of Discrete Algorithms
Products of weighted logic programs
Theory and Practice of Logic Programming
Incremental syntactic language models for phrase-based translation
HLT '11 Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies - Volume 1
Reestimation of reified rules in semiring parsing and biparsing
SSST-5 Proceedings of the Fifth Workshop on Syntax, Semantics and Structure in Statistical Translation
Parsing noun phrases in the penn treebank
Computational Linguistics
Checking herbrand equalities and beyond
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Interprocedural herbrand equalities
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Dynamic method to evaluate code optimization effectiveness
Proceedings of the 15th International Workshop on Software and Compilers for Embedded Systems
Use-definition chains with applications
Computer Languages
A coarse-grained parallel algorithm for the matrix chain order problem
Proceedings of the 2012 Symposium on High Performance Computing
Finite-state chart constraints for reduced complexity context-free parsing pipelines
Computational Linguistics
Simple and efficient construction of static single assignment form
CC'13 Proceedings of the 22nd international conference on Compiler Construction
Efficient divide-and-conquer parsing of practical context-free languages
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Approximate matching between a context-free grammar and a finite-state automaton
CIAA'13 Proceedings of the 18th international conference on Implementation and Application of Automata
SLSP'13 Proceedings of the First international conference on Statistical Language and Speech Processing
| Hi-index | 0.11 |