Publications
2004. Mpjava: High-performance message passing in java using java. nio. Languages and Compilers for Parallel Computing. :323-339.
1995. Going beyond integer programming with the Omega test to eliminate false data dependences. IEEE Transactions on Parallel and Distributed Systems. 6(2):204-211.
1992. The Omega test: a fast and practical integer programming algorithm for dependence analysis. Communications of the ACM. 8(102-114):2-6.
1991. Uniform techniques for loop optimization. Proceedings of the 5th international conference on Supercomputing. :341-352.
1999. SIPR: A new framework for generating efficient code for sparse matrix computations. Languages and Compilers for Parallel Computing. :213-229.
1989. Incremental computation via function caching. Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :315-328.
1988. An improved replacement strategy for function caching. Proceedings of the 1988 ACM conference on LISP and functional programming - LFP '88. :269-276.
1994. Static analysis of upper and lower bounds on dependences and parallelism. ACM Transactions on Programming Languages and SystemsACM Trans. Program. Lang. Syst.. 16(4):1248-1278.
1990. Two-directional record layout for multiple inheritance. Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation. :85-91.
1990. Skip lists: a probabilistic alternative to balanced trees. Communications of the ACMCommun. ACM. 33(6):668-676.
2000. The Java memory model is fatally flawed. Concurrency - Practice and Experience. 12(6):445-455.
2008. Scaling RDF with Time. Proceedings of the 17th international conference on World Wide Web. :605-614.
2011. Using classifier cascades for scalable e-mail classification. Collaboration, Electronic Messaging, Anti-Abuse and Spam Conference, ACM International Conference Proceedings Series.
2000. GP+ echo+ subsumption= improved problem solving. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2000). :411-418.
1999. Practical reasoning and plan execution with active logic. Proceedings of the IJCAI-99 Workshop on Practical Reasoning and Rationality. :30-38.
2010. Diversity and distribution of cholix toxin, a novel ADP‐ribosylating factor from Vibrio cholerae. Environmental Microbiology Reports. 2(1):198-207.
2007. Energy-aware data compression for wireless sensor networks. Acoustics, Speech and Signal Processing, 2007. ICASSP 2007. IEEE International Conference on. 2:II–45-II–45.
2009. Evidence for Coregulation of Myocardial Gene Expression by MEF2 and NFAT in Human Heart Failure / CLINICAL PERSPECTIVE. Circulation: Cardiovascular Genetics. 2(3):212-219.
2009. Resistin gene variation is associated with systemic inflammation but not plasma adipokine levels, metabolic syndrome or coronary atherosclerosis in nondiabetic Caucasians. Clinical Endocrinology. 70(5):698-705.
2005. Bayesian algorithms for simultaneous structure from motion estimation of multiple independently moving objects. Image Processing, IEEE Transactions on. 14(1):94-109.
2004. Structure from Motion Using Sequential Monte Carlo Methods. International Journal of Computer Vision. 59(1):5-31.