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
A new, simpler linear-time dominators algorithm
ACM Transactions on Programming Languages and Systems (TOPLAS)
Basic compiler algorithms for parallel programs
Proceedings of the seventh ACM SIGPLAN symposium on Principles and practice of parallel programming
Using node merging to enhance graph coloring
Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
From recursion to iteration: what are the optimizations?
PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
CUPV—a visualization tool for generated parsers
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Persistent execution state of a Java virtual machine
Proceedings of the ACM 2000 conference on Java Grande
Using visualization tools to teach compiler design
CCSC '00 Proceedings of the fourteenth annual consortium on Small Colleges Southeastern conference
Type-based analysis and applications
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Hiding Relaxed Memory Consistency with a Compiler
IEEE Transactions on Computers - Special issue on the parallel architecture and compilation techniques conference
Silent Stores and Store Value Locality
IEEE Transactions on Computers
What comes after CS 1 + 2: a deep breadth before specializing
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
Open runtime platform: flexibility with performance using interfaces
JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
Annals of Software Engineering
Interprocedural compatibility analysis for static object preallocation
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Implementation Strategies for First-Class Continuations
Higher-Order and Symbolic Computation
Universal Regular Path Queries
Higher-Order and Symbolic Computation
Lambda-Lifting in Quadratic Time
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Prefix Languages of Church-Rosser Languages
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Simple Generation of Static Single-Assignment Form
CC '00 Proceedings of the 9th International Conference on Compiler Construction
Linear Scan Register Allocation in the Context of SSA Form and Register Constraints
CC '02 Proceedings of the 11th International Conference on Compiler Construction
ICN '01 Proceedings of the First International Conference on Networking-Part 1
Soot - a Java bytecode optimization framework
CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
Automatic fence insertion for shared memory multiprocessing
ICS '03 Proceedings of the 17th annual international conference on Supercomputing
Experiences in building a compiler for an object-oriented language
ACM SIGPLAN Notices
XML in the visualisation pipeline
VIP '01 Proceedings of the Pan-Sydney area workshop on Visual information processing - Volume 11
A framework for building language interpreters
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
The ART of compiler construction projects
ACM SIGPLAN Notices
A functional correspondence between call-by-need evaluators and lazy abstract machines
Information Processing Letters
Compiler Hacking for Source Code Analysis
Software Quality Control
Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
Compiler-assisted demand paging for embedded systems with flash memory
Proceedings of the 4th ACM international conference on Embedded software
Memory overflow protection for embedded systems using run-time checks, reuse and compression
Proceedings of the 2004 international conference on Compilers, architecture, and synthesis for embedded systems
Comparing conservative coalescing criteria
ACM Transactions on Programming Languages and Systems (TOPLAS)
Making compiler construction projects relevant to core curriculums
ITiCSE '05 Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education
Displaying linear programs and their solutions with XML and SVG
APVis '04 Proceedings of the 2004 Australasian symposium on Information Visualisation - Volume 35
MinCaml: a simple and efficient compiler for a minimal functional language
Proceedings of the 2005 workshop on Functional and declarative programming in education
On flow-sensitive security types
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The compiler course in today's curriculum: three strategies
Proceedings of the 37th SIGCSE technical symposium on Computer science education
Design and implementation of a modern compiler course
Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education
A pattern for almost compositional functions
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Jelatine: a virtual machine for small embedded systems
JTRES '06 Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems
Attribute grammars and the teaching of compiler design and implementation
Journal of Computing Sciences in Colleges
On bytecode slicing and aspectJ interferences
Proceedings of the 6th workshop on Foundations of aspect-oriented languages
COOTS'01 Proceedings of the 6th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 6
Circular reference attributed grammars — their evaluation and applications
Science of Computer Programming
Computing SSA Form with Matrices
Electronic Notes in Theoretical Computer Science (ENTCS)
CASE-FX: feature modeling support in an OO Case tool
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Securing software by enforcing data-flow integrity
OSDI '06 Proceedings of the 7th symposium on Operating systems design and implementation
DXQ: a distributed XQuery scripting language
XIME-P '07 Proceedings of the 4th international workshop on XQuery implementation, experience and perspectives
Static elaboration of recursion for concurrent software
PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Filmification of methods: A visual language for graph algorithms
Journal of Visual Languages and Computing
Reconfigurable content-based router using hardware-accelerated language parser
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Bantam: a customizable, java-based, classroom compiler
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Fast liveness checking for ssa-form programs
Proceedings of the 6th annual IEEE/ACM international symposium on Code generation and optimization
A parallel dynamic compiler for CIL bytecode
ACM SIGPLAN Notices
A set of tools to teach compiler construction
Proceedings of the 13th annual conference on Innovation and technology in computer science education
Aliased register allocation for straight-line programs is NP-complete
Theoretical Computer Science
Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency
Proceedings of the 7th annual IEEE/ACM International Symposium on Code Generation and Optimization
Multilanguage business document translator: an automatic translator tool
International Journal of Electronic Finance
May/must analysis and the DFAGen data-flow analysis generator
Information and Software Technology
Detecting large-scale system problems by mining console logs
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
An efficient optimization algorithm of java bytecode to reduce network traffic
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartII
Functional in-place update with layered datatype sharing
TLCA'03 Proceedings of the 6th international conference on Typed lambda calculi and applications
Bantam Java compiler project: experiences and extensions
Journal of Computing Sciences in Colleges
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
Hoopl: a modular, reusable library for dataflow analysis and transformation
Proceedings of the third ACM Haskell symposium on Haskell
A hybrid learning compiler course
ICHL'10 Proceedings of the Third international conference on Hybrid learning
Soot: a Java bytecode optimization framework
CASCON First Decade High Impact Papers
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Science of Computer Programming
Targeting FPGA-based processors for an implementation-driven compiler construction course
Proceedings of the 49th Annual Southeast Regional Conference
Transactions on Computational Systems Biology VI
Source-Level debugging for multiple languages with modest programming effort
CC'05 Proceedings of the 14th international conference on Compiler Construction
Simulating multiple inheritance and generics in Java
Computer Languages
How much does unused code matter for maintenance?
Proceedings of the 34th International Conference on Software Engineering
Program Transformation with Scoped Dynamic Rewrite Rules
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 2
Calculating graph algorithms for dominance and shortest path
MPC'12 Proceedings of the 11th international conference on Mathematics of Program Construction
Functional semantics of parsing actions, and left recursion elimination as continuation passing
Proceedings of the 14th symposium on Principles and practice of declarative programming
Using FPGAs as a reconfigurable teaching tool throughout CS systems curriculum
Proceeding of the 44th ACM technical symposium on Computer science education
Systematic management of simulation state for multi-branch simulations in simulink
Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium
Hi-index | 0.00 |