Information Flow Analysis of Android Applications in DroidSafe.
Proceedings of the 22nd Annual Network and Distributed System Security Symposium, 2015
Covert Communication in Mobile Applications (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
Dynamic expressivity with static optimization for streaming languages.
Proceedings of the 7th ACM International Conference on Distributed Event-Based Systems, 2013
Compiler techniques for scalable performance of stream programs on multicore architectures.
PhD thesis, 2010
Exploiting coarse-grained task, data, and pipeline parallelism in stream programs.
Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems, 2006
Language and Compiler Design for Streaming Applications.
Int. J. Parallel Program., 2005
A reconfigurable architecture for load-balanced rendering.
Proceedings of the ACM SIGGRAPH/EUROGRAPHICS Symposium on Graphics Hardware 2005, 2005
A common machine language for grid-based architectures.
SIGARCH Comput. Archit. News, 2002
A stream compiler for communication-exposed architectures.
,
,
,
,
,
,
,
,
,
,
Proceedings of the 10th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS-X), 2002