Publications
]
2000. Polymorphic versus monomorphic points-to analysis. Proceedings of the 7th International Static Analysis Symposium, Lecture Notes in Computer Science. Springer Verlag.
2012. Polytope approximation and the Mahler volume. Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms. :29-42.
2005. Porting DSP applications across design tools using the dataflow interchange format. Rapid System Prototyping, 2005. (RSP 2005). The 16th IEEE International Workshop on. :40-46.
2010. Pose estimation in heavy clutter using a multi-flash camera. Robotics and Automation (ICRA), 2010 IEEE International Conference on. :2028-2035.
2010. Pose-robust albedo estimation from a single image. Computer Vision and Pattern Recognition (CVPR), 2010 IEEE Conference on. :2683-2690.
1993. Potentials and limitations of pen-based computers. Proceedings of the 1993 ACM conference on Computer science. :536-539.
1997. A practical approximation algorithm for the LMS line estimator. Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms. :473-482.
2013. Practical Dynamic Proofs of Retrievability. CCS '13 Proceedings of the 2013 ACM SIGSAC Conference on Computer & Communications Security . :325-336.
1996. Practical parallel algorithms for dynamic data redistribution, median finding, and selection. Parallel Processing Symposium, 1996., Proceedings of IPPS '96, The 10th International. :292-301.
2001. Practical programmable packets. IEEE INFOCOM 2001. Twentieth Annual Joint Conference of the IEEE Computer and Communications Societies. Proceedings. 1:41-50vol.1-41-50vol.1.
1999. Practical reasoning and plan execution with active logic. Proceedings of the IJCAI-99 Workshop on Practical Reasoning and Rationality. :30-38.
1986. Practicality of non-interfering checkpoints in distributed database systems. IEEE Real-Time Systems Symposium, New Orleans, Louisiana. :234-241.
1988. PRAM algorithms: teach and preach. collection of position papers, IBM-NSF Workshop on$\textbackslashbackslash$ Opportunities and Constraints of Parallel Computing", IBM Almaden.
2007. PRAM-on-chip: first commitment to silicon. Proceedings of the nineteenth annual ACM symposium on Parallel algorithms and architectures. :301-302.
2000. PRAM-On-Chip Vision. String Processing and Information Retrieval, 2000. SPIRE 2000. Proceedings. Seventh International Symposium on. :260-260.
1992. Preconditioning parallel multisplittings for solving linear systems of equations. Proceedings of the 6th international conference on Supercomputing. :478-484.
2008. Predicate encryption supporting disjunctions, polynomial equations, and inner products. Proceedings of the theory and applications of cryptographic techniques 27th annual international conference on Advances in cryptology. :146-162.
1996. Predictability of real-time systems: a process-algebraic approach. Real-Time Systems Symposium, IEEE International. :82-82.
2009. Predicting and Controlling System-Level Parameters of Multi-Agent Systems. 2009 AAAI Fall Symposium Series.
1999. Predicting the CPU availability of time-shared Unix systems on the computational grid. The Eighth International Symposium on High Performance Distributed Computing, 1999. Proceedings. :105-112.
2011. Predicting Trust and Distrust in Social Networks. Privacy, Security, Risk and Trust (PASSAT), 2011 IEEE Third International Conference on and 2011 IEEE Third International Confernece on Social Computing (SocialCom). :418-424.
1998. Prediction and Adaptation in Active Harmony. High-Performance Distributed Computing, International Symposium on. :180-180.
1999. Prefix computations on symmetric multiprocessors. Parallel and Distributed Processing, 1999. 13th International and 10th Symposium on Parallel and Distributed Processing, 1999. 1999 IPPS/SPDP. Proceedings. :7-13.
1986. A preliminary excursion into step-logics. Proceedings of the ACM SIGART international symposium on Methodologies for intelligent systems -. :262-269.