Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Efficient incremental run-time specialization for free
Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Static and Dynamic Program Compilation by Interpreter Specialization
Higher-Order and Symbolic Computation
Specialization tools and techniques for systematic optimization of system software
ACM Transactions on Computer Systems (TOCS)
Towards bridging the gap between programming languages and partial evaluation
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Efficient Implementations of Software Architectures via Partial Evaluation
Automated Software Engineering
Combining Program and Data Specialization
Higher-Order and Symbolic Computation
Certifying Compilation and Run-Time Code Generation
Higher-Order and Symbolic Computation
Can Software Implemented Fault-Injection Be Used on Real-Time Systems?
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
Self-Specializing Mobile Code for Adaptive Network Services
IWAN '00 Proceedings of the Second International Working Conference on Active Networks
Specialization of Systems Programs: Lessons and Perspectives
SAIG '00 Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation
Towards Automatic Specialization of Java Programs
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Some Synchronization Issues When Designing Embedded Systems from Components
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Think: A Software Framework for Component-based Operating System Kernels
ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference
A Component Framework for Dynamic Reconfiguration of Distributed Systems
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
An Environment for Building Customizable Software Components
CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Efficient mediators through dynamic code generation: a method and an experiment
Proceedings of the 2003 ACM symposium on Applied computing
Optimizing ML with run-time code generation
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization
Higher-Order and Symbolic Computation
A tour of tempo: a program specializer for the C language
Science of Computer Programming - Special issue on program transformation
IEEE Transactions on Software Engineering
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
Flexible IDL compilation for complex communication patterns[1]
Scientific Programming
WINSYM'98 Proceedings of the 2nd conference on USENIX Windows NT Symposium - Volume 2
High-performance distributed objects over system area networks
WINSYM'99 Proceedings of the 3rd conference on USENIX Windows NT Symposium - Volume 3
Efficient execution of composite Web services exchanging intensional data
Information Sciences: an International Journal
Running a Java VM inside an operating system kernel
Proceedings of the fourth ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
Remote specialization for efficient embedded operating systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.00 |