Publications
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.
1989. Incremental computation via function caching. Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages. :315-328.
1999. SIPR: A new framework for generating efficient code for sparse matrix computations. Languages and Compilers for Parallel Computing. :213-229.
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.
1992. Definitions of dependence distance. ACM Letters on Programming Languages and SystemsACM Lett. Program. Lang. Syst.. 1(3):261-265.
1997. Iteration space slicing and its application to communication optimization. Proceedings of the 11th international conference on Supercomputing. :221-228.
1995. Finding Legal Reordering Transformations using Mappings. Languages and compilers for parallel computing: 7th International Workshop, Ithaca, NY, USA, August 8-10, 1994: proceedings. 7:107-107.
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.
2004. Robust Bayesian cameras motion estimation using random sampling. Image Processing, 2004. ICIP '04. 2004 International Conference on. 2:1361-1364Vol.2-1361-1364Vol.2.
2002. Structure from Motion/Stereoscopic Vision/Surface Geometry/Shape-Bayesian Self-Calibration of a Moving Camera. Lecture Notes in Computer Science. 2351:277-293.