Semantic analysis in a concurrent compiler
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
A simple interprocedural register allocation algorithm and its effectiveness for LISP
ACM Transactions on Programming Languages and Systems (TOPLAS)
NARPL: A solution to the student compiler project problem
ACM SIGPLAN Notices
On the Minimization of Loads/Stores in Local Register Allocation
IEEE Transactions on Software Engineering
LEXICAL_ANALYZER_G: a multi-language lexical analysis package
ACM SIGAda Ada Letters
ACM SIGPLAN Notices
Automatic instantiation in Ada
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
The MSL compiler writing project
ACM SIGCSE Bulletin
A bibliography on syntax error handling in context free languages
ACM SIGPLAN Notices
SPARE: A Development Environment for Program Analysis Algorithms
IEEE Transactions on Software Engineering
A compiler construction project for an object-oriented language
SIGCSE '92 Proceedings of the twenty-third SIGCSE technical symposium on Computer science education
Ada experience in the undergraduate curriculum
Communications of the ACM
The expandable split window paradigm for exploiting fine-grain parallelsim
ISCA '92 Proceedings of the 19th annual international symposium on Computer architecture
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Probabilistic register allocation
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Toward zero-cost branches using instruction registers
MICRO 25 Proceedings of the 25th annual international symposium on Microarchitecture
Automatic system file generator
ACM SIGSOFT Software Engineering Notes
Critical path minimization using retiming and algebraic speed-up
DAC '93 Proceedings of the 30th international Design Automation Conference
ACM SIGPLAN Notices
Using the run-time sizes of data structures to guide parallel-thread creation
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
A Parallel Virtual Machine for Programs Composed of Abstract Data Types
IEEE Transactions on Computers
DAC '94 Proceedings of the 31st annual Design Automation Conference
Attribute grammar paradigms—a high-level methodology in language implementation
ACM Computing Surveys (CSUR)
Precise interprocedural dataflow analysis via graph reachability
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parser visualizations for developing grammars with yacc
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Error repair in shift-reduce parsers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Demand interprocedural dataflow analysis
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
A sequence of lab exercises for an introductory compiler construction course
ACM SIGCSE Bulletin
Demand-driven register allocation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Introducing fixed-point iteration early in a compiler course
SIGCSE '97 Proceedings of the twenty-eighth SIGCSE technical symposium on Computer science education
The undergraduate capstone software design experience
Proceedings of the conference on TRI-Ada '97
The undergraduate capstone software design experience
Proceedings of the conference on TRI-Ada '97
“Maximal-munch” tokenization in linear time
ACM Transactions on Programming Languages and Systems (TOPLAS)
A study of dead data members in C++ applications
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
Maximally fast and arbitrarily fast implementation of linear computations
ICCAD '92 Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design
Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
Implementing semantics of object oriented languages using attribute grammars
CSC '91 Proceedings of the 19th annual conference on Computer Science
On optimal slicing of parallel programs
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Coco-2: a new compiler compiler
ACM SIGPLAN Notices
Optimization of available C compilers for the MC68HC11
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
A formal model of real-time program compilation
Theoretical Computer Science
Repairing syntax errors in LR parsers
ACM Transactions on Programming Languages and Systems (TOPLAS)
A compiler for teaching about compilers
SIGCSE '03 Proceedings of the 34th SIGCSE technical symposium on Computer science education
A semantic modeling approach for image retrieval by content
The VLDB Journal — The International Journal on Very Large Data Bases - Spatial Database Systems
Polynomial Constants Are Decidable
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
An Intelligent Tutoring System for Teaching Formal Languages
ITS '98 Proceedings of the 4th International Conference on Intelligent Tutoring Systems
A Formal Model of Real-Time Program Compilation
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Programming Spoken Dialogs Using Grammatical Inference
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
LL parsing, LR parsing, complexity, and automata
ACM SIGCSE Bulletin
Compiling Verilog into timed finite state machines
IVC '95 Proceedings of the 4th IEEE International Verilog HDL Conference
Journal of Systems and Software
The ART of compiler construction projects
ACM SIGPLAN Notices
A BNF-based automatic test program generator for compatible microprocessor verification
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Crossroads
Precise interprocedural dependence analysis of parallel programs
Theoretical Computer Science
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Journal of Functional Programming
Incorporating Intel® MMX$^{\rm TM}$ technology into a Java$^{\rm TM}$ JIT compiler$^{1}$
Scientific Programming
Source Code Analysis: A Road Map
FOSE '07 2007 Future of Software Engineering
Empirical study of optimization techniques for massive slicing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Using mathematics to improve ada compiled code, part 2: the proof
Proceedings of the 2007 ACM international conference on SIGAda annual international conference
Regular-expression derivatives re-examined
Journal of Functional Programming
Assessing the impact of global variables on program dependence and dependence clusters
Journal of Systems and Software
Pure and declarative syntax definition: paradise lost and regained
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Transforming behavioral specifications to facilitate synthesis of testable designs
ITC'94 Proceedings of the 1994 international conference on Test
Optimized code generation for programmable digital signal processors
ICASSP'93 Proceedings of the 1993 IEEE international conference on Acoustics, speech, and signal processing: plenary, special, audio, underwater acoustics, VLSI, neural networks - Volume I
Model projection: simplifying models in response to restricting the environment
Proceedings of the 33rd International Conference on Software Engineering
Behavioral-level synthesis of heterogeneous BISR reconfigurable ASIC's
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Experiences in using cetus for source-to-source transformations
LCPC'04 Proceedings of the 17th international conference on Languages and Compilers for High Performance Computing
Recovering test-to-code traceability using slicing and textual analysis
Journal of Systems and Software
| Hi-index | 0.02 |