Modern complier implementation in C: basic techniques

Global register allocation for minimizing energy consumption

ISLPED '99 Proceedings of the 1999 international symposium on Low power electronics and design

Code generation for embedded processors

ISSS '00 Proceedings of the 13th international symposium on System synthesis

Stack allocation of objects in the CACAO virtual machine

PPPJ '09 Proceedings of the 7th International Conference on Principles and Practice of Programming in Java

FACT: fast communication trace collection for parallel applications through program slicing

Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis

A practical method for the implementation of syntactic parsers

ICAI'05/MCBC'05/AMTA'05/MCBE'05 Proceedings of the 6th WSEAS international conference on Automation & information, and 6th WSEAS international conference on mathematics and computers in biology and chemistry, and 6th WSEAS international conference on acoustics and music: theory and applications, and 6th WSEAS international conference on Mathematics and computers in business and economics

Mechanized verification of computing dominators for formalizing compilers

CPP'12 Proceedings of the Second international conference on Certified Programs and Proofs

Verifiably-safe software-defined networks for CPS

Proceedings of the 2nd ACM international conference on High confidence networked systems