More specifically, I have worked with my supervisor
Peter van Beek
on a number of compiler optimization problems targeted towards low-end,
power constrained processors. These include formalizing instruction scheduling
for clustered architectures, memory hierarchy optimizations and code generation.
This work mixes compiler optimization, design, constraint modeling, and graph theoretic analysis.
Selected Publications
Mirza Beg, Peter van Beek.A
Constraint Programming Approach for Instruction Assignment.
In Proceedings of the 15th Workshop on Interaction between
Compilers and Computer Architectures (INTERACT-15), pages 25-34,
San Antonio, Texas, February 2011
Martin Karsten, S. Keshav, Sanjiva Prasad, Mirza Beg. An Axiomatic Basis for Communication.In Proceedings of the 2007 Conference on Applications, Technologies,
Architectures and Protocols for Computer Communications (SIGCOMM '07),
pages 217-228, Kyoto, Japan, August 2007