Publications

Publication date: January 31, 2006

Formal Analysis of Dynamic, Distributed File-System Access Controls

Proc. 26th IFIP Conference on Formal Methods for Networked and Distributed Systems, Paris, France (FORTE 2006), pp. 99-114

A. Chaudhuri, M. Abadi

Publication date: January 31, 2006

Foundations of Access Control for Secure Storage

PhD Dissertation Proposal, University of California, Santa Cruz, USA

A. Chaudhuri

Publication date: January 31, 2006

Oriented Strands – dynamics of stiff multi-body system

ACM SIGGRAPH / Eurographics Symposium on Computer Animation , 2006

Sunil Hadap

Publication date: January 31, 2006

Secrecy by Typing and File-Access Control

Proc. 19th IEEE Computer Security Foundations Symposium/Workshop, Venice, Italy (CSF 2006), pp. 112-123

A. Chaudhuri, M. Abadi

Publication date: January 30, 2006

A Quadratic Bending Model for Inextensible Surfaces

Fourth Eurographics Symposium on Geometry Processing , 227-230

M. Bergou, M. Wardetzky, D. Harmon, D. Zorin, E. Grinspun

Publication date: January 30, 2006

NEWTON: A Library-Based Analytical Synthesis Tool for RF-MEMS Resonators

In Asia and South Pacific Design Automation Conference

M. McCorquodale, J. McCann, R. Brown

Publication date: January 30, 2006

Physics-Based Motions Retiming

In Proceedings of ACM SIGGRAPH/Eurographics Symposium on Computer Animation

J. McCann, N. Pollard, S. Srinivasa

Publication date: January 30, 2006

Piecewise image registration in the presence of multiple large motions

In 2006 Conference on Computer Vision and Pattern Recognition (CVPR 2006) , 2491–2497

P. Bhat, K. Zheng, N. Snavely, A. Agarwala, M. Agrawala, M. Cohen, B. Curless

Publication date: January 24, 2006

Efficient run-time dispatching in generic programming with minimal code bloat

In Workshop of Library-Centric Software Design at OOPSLA'06, Portland Oregon , 15–24

L. Bourdev, J. Järvi

Publication date: December 29, 2005

Multi-view stereo reconstruction of dense shape and complex appearance

International Journal on Computer Vision , 63(3), 175–189

Hailin Jin, S. Soatto, A. Yezzi

Publication date: December 19, 2005

KALMANSAC: Robust filtering of concensus

In Proceedings of the International Conference on Computer Vision , 633–640

A. Vedaldi, Hailin Jin, P. Favaro, S. Soatto

Publication date: October 10, 2005

Background Estimation as a Labeling Problem

ICCV 2005: Tenth IEEE International Conference on Computer Vision , vol. 2, pp. 1034-1041

Scott Cohen

Publication date: October 4, 2005

Light waving: Estimating light positions from photographs alone

Computer Graphics Forum , 24(3), 433–438

Holger Winnemöller, A. Mohan, J. Tumblin, B. Gooch

• Computer Vision, Imaging & Video

Publication date: October 2, 2005

Improving virtual machine performance using a cross-run profile repository

International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), October

M. Arnold, A. Welc, V. Rajan.

Publication date: October 2, 2005

Safe futures for Java

International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), October

A. Welc, S. Jagannathan, A. Hosking

Publication date: October 1, 2005

Vignette and exposure calibration and compensation

In Proc. International Conference on Computer Vision , 899–906, 2005.

Dan Goldman, J. Chen

Publication date: September 13, 2005

Robust object detection via soft cascade

In 2005 Conference on Computer Vision and Pattern Recognition (CVPR 2005) , 236–243

L. Bourdev, Jonathan Brandt

Publication date: August 2, 2005

A transactional object calculus

Science of Computer Programming, August

S. Jagannathan, J. Vitek, A. Welc, A. Hosking

Publication date: July 1, 2005

Animating pictures with stochastic motion textures

ACM Transactions on Graphics (Proc. SIGGRAPH) , 24(3), 853–860, 2005.

Y. Chuang, Dan Goldman, K. Zheng, B. Curless, David Salesin, R. Szeliski

Publication date: June 21, 2005

Video-based Nonphotorealistic and Expressive Illustration of Motion

CGI (Computer Graphics International) , StonyBrook, NewYork, June 22-24, p32-35

Byungmoon Kim, I. Essa