Graduate Advising: Student Publications: 2005

A. Poonawala, and P. Milanfar, "Prewarping Techniques in Imaging: Applications to Nanotechnology and Biotechnology", Proceedings of the SPIE Conference on Electronic Imaging - Computational Imaging III, vol. 5674, Jan. 2005, San Jose, CA.

Karen Glocer, Damian Eads, and James Theiler. "Online Feature Selection for Pixel Classification." Twenty-second International Conference on Machine Learning (ICML-2005). Bonn, Germany. In print. pp 249-256. August, 2005

Laura Chiticariu, Wang-Chiew Tan, Gaurav Vijayvargiya. DBNotes: A Post-it System for Relational Databases based on Provenance. ACM SIGMOD International Conference on Management of Data (SIGMOD) 2005 - Demonstration Track

D. Yuan and R. Manduchi, "Dynamic Environment Exploration Using a Virtual White Cane", IEEE Conference on Computer Vision and Pattern Recognition(CVPR '05), San Diego, CA, June 2005

B. Adler, L. de Alfaro, M. Faella. Average Reward Timed Games. In FORMATS 05: International Conference on Formal Modelling and Analysis of Timed Systems, LNCS, Springer-Verlag, 2005. Postscript, PDF.

L. de Alfaro, M. Faella, R. Majumdar, V. Raman. Code Aware Resource Management. In EMSOFT 05: Fifth ACM International Conference on Embedded Software, ACM Press, 2005. Postscript, PDF.

L. de Alfaro, L. Dias Da Silva, M. Faella, A. Legay, P. Roy, M. Sorea. Sociable Interfaces. In FROCOS 2005: 5th International Workshop on Frontiers of Combining Systems, LNAI 3717, Springer-Verlag, 2005. Postscript, PDF.

Rolando Menchaca-Mendez, Ravindra Vaishampayan, J. J. Garcia-Luna-Aceves, Katia Obraczka, DPUMA: A Highly Efficient Multicast Routing Protocol for Mobile Ad Hoc Networks, Lecture Notes in Computer Science, Volume 3738, Oct 2005, Pages 178

Automatic Source Attribution: A Neural Networks Approach: Foaad Khosmood and Franz Kurfess, IEEE International Joint Conference on Neural Networks, Montreal, Canada. July-August 2005

Two-stage maximum-likelihood decoding algorithm for linear block codes Authors: Xianren Wu; Sadjadpour, H.R.; Zhi Tian; IEEE Transactions on Communications , June 2005.

Construction of Space-time Convolutional Codes with High Spectral Efficiency, Authors: Christopher Rouchy and Hamid Sadjadpour, 39th Asilomar Conference on Signals, Systems and Computers, Monteray, CA November 2005.

Opportunistic Cooperations: A New Communication Approach for MANETs, Authors: Renato Moraes, Hamid Sadjadpour, JJ Garcia-luna, 39th Asilomar Conference on Signals, Systems and Computers, Monteray, CA November 2005.

A New Communication Scheme for MANETs, Authors: Renato Moraes, Hamid Sadjadpour, JJ Garcia-luna, IEEE WirelessCom 2005 conference, June 2005, HI.

Capacity of MIMO Mobile Wireless Ad Hoc Networks, Authors: Xiaohui Yu, Renato Moraes, Hamid Sadjadpour, JJ Garcia-luna, IEEE WirelessCom 2005 conference, June 2005, HI.

Geoff Ryder and Kevin Ross: A Probability Collectives Approach to Weighted Clustering Algorithms for Ad Hoc Networks, IASTED International Conference on Communications and Computer Networks (CNN), October 26, 2005

Aaron Tomb and Cormac Flanagan, "Automatic Type Inference via Partial Evaluation", Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP 05), July 11-13, 2005, Lisbon, Portugal

Dima Kuzmin and Manfred K. Warmuth,"Unlabeled Compression Schemes for Maximum Classes", Proceedings of the 18th Annual Conference on Learning Theory (COLT 05), June 2005, Bertinoro, Italy

Hari Rangarajan and J.J. Garcia-Luna-Aceves, "Loop-Free On-Demand Routing Using Source-Sequence Numbers," The 2nd IEEE International Conference on Mobile Ad-hoc and Sensor Systems (MASS), November 7-10, 2005, Washington D.C, USA.

Hari Rangarajan and J.J. Garcia-Luna-Aceves, "Efficient Use of Route Requests for Loop-free On-demand Routing in Ad hoc Networks," IFIP Networking 2005 (LNCS) , May 1-6, 2005, Waterloo, Canada

Alexander Ames, Nikhil Bobb, Scott A. Brandt, Adam Hiatt, Carlos Maltzahn, Ethan L. Miller, Alisa Neeman, and Deepa Tuteja, "Richer File System Metadata Using Links and Attributes," Proceedings of the 22nd IEEE / 13th NASA Goddard Conference on Mass Storage Systems and Technologies (MSST 2005), Monterey, CA, April 2005

Qin Xin, Ethan L. Miller, Thomas J. E. Schwarz, and Darrell D. E. Long, "Impact of Failure on Interconnection Networks in Large Storage Systems," Proceedings of the 22nd IEEE / 13th NASA Goddard Conference on Mass Storage Systems and Technologies (MSST 2005), Monterey, CA, April 2005

Qin Xin, Thomas J. E. Schwarz, and Ethan L. Miller, "Disk Infant Mortality in Large Storage Systems," Proceedings of the 13th IEEE/ACM International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2005), Atlanta, GA, September 2005

Christopher Olson and Ethan L. Miller, "Secure Capabilities for a Petabyte- Scale Object-Based Distributed File System," Proceedings of the International Workshop on Storage Security and Survivability (StorageSS), held in conjunction with the 12th ACM Conference on Computer and Communications Security (CCS 2005), Fairfax, VA, November 2005. Received Best Long Paper award

Alisa Neeman, Boris Jeremic and Alex Pang. Visualizing Tensor Fields in Geomechanics. IEEE Visualization (Vis '05), October 23-28, 2005, Mineapolis-Saint Paul, Minnesota

Lee, H., Sanso, B., Zhou, W., and Higdon, D., "Inferring Particle Distribution in a Proton Accelerator Experiment", Bayesian Analysis, 2005

Jeremy Richards and Patrick Mantey, "The Simularium: A Large Scale Interactive Tiled Display System for Collaborative Learning", Proceedings of IASTED International Conference Education and Technology, July 4-6 2005, Calgary,Alberta,Canada

Formal Security Analysis of Basic Network-Attached Storage [Avik Chaudhuri and Martin Abadi] 3rd ACM Workshop on Formal Methods in Security Engineering, 2005

By Reason and Authority: A System for Authorization of Proof-Carrying Code [with Nathan Whitehead, Martin Abadi, and George Necula] Proceedings of the 17th IEEE Computer Security Foundations Workshop (June 2 004), 236-250

Language-Based Enforcement of Privacy Policies [Katia Hayati and Martin Abadi] Privacy Enhancing Technologies, 4th International Workshop, PET 2004, Revised Selected Papers, Springer-Verlag (2005), 302-313

BCiC: A System for Code Authentication and Verification [Nathan Whitehead and Martin Abadi]Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, Springer-Verlag (March 2005), 110-124

Sunghun Kim, Pan Kai, E. James Whitehead, "When Functions Change Their Names: Automatic Detection of Origin Relationships." Proceedings of the 12th Working Conference on Reverse Engineering (WCRE 2005), November 8-11, 2005, Pittsburgh, Pennsylvania, USA

Jennifer Bevan, E. James Whitehead, Jr., Sunghun Kim, Michael Godfrey, "Facilitating Software Evolution with Kenyon." Proceedings of the 2005 European Software Engineering Conference and 2005 Foundations of Software Engineering (ESEC/FSE 2005), September 5-9, 2005, Lisbon, Portugal.

Sunghun Kim, E. James Whitehead, Jr., Jennifer Bevan, "Analysis of Signature Change Patterns." Proceedings of the 2nd Int'l Workshop on Mining Software Repositories (MSR 2005), May 17, 2005, St. Louis, Missouri, pp. 64-68

Cyrus Bazeghi, Francisco J. Mesa-Martinez, and Jose Renau; uComplexity: Estimating Processor Design Effort, 38th International Symposium on Microarchitecture (MICRO), November 2005

Cintia B. Margi, Katia Obraczka, Roberto Manduchi; "Characterizing System Level Energy Consumption in Mobile Computing Platforms", in IEEE WirelessCom 2005 - Symposium on Mobile Computing, June 13-16, 2005

Wander A., Gura N., Eberle H., Gupta V., and Chang Shantz S. "Energy Analysis of Public-Key Cryptography on Small Wireless Devices." 3rd IEEE International Conference on Pervasive Computing & Communications (PerCom05), March 8-12, 2005, Kauai Island, Hawaii

Zimet L., Shahram M., Milanfar P., "An Adaptive Framework for Image and Video Sensing", SPIE Electronic Imaging, Conference on Digital Imaging, Sensors, and Applications, Jan. 2005, San Jose, CA

Poonawala, A., and P. Milanfar, "Prewarping Techniques in Imaging: Applications to Nanotechnology and Biotechnology", SPIE Electronic Imaging, Conference on Computational Imaging III, Jan. 2005, San Jose, CA

Lawrence L. You, Kristal T. Pollack, and Darrell D. E. Long, "Deep Store: an Archival Storage System Architecture". In Proceedings of The 21st International Conference on Data Engineering (ICDE). April 2005

Kristal T. Pollack and Scott A. Brandt, "Efficient Access Control for Distributed Hierarchical File Systems", in Proceedings of the 13th NASA Goddard Conference on Mass Storage Systems andTechnologies (MSST '05)

Ames, A., Bobb , N., Brandt, S.A., Hiatt, A., Maltzahn, C., Miller, E. L., Neeman, A., Tuteja, D.: Richer File System Metadata Using Links and Attributes, in Proceedings of the 13th NASA Goddard Conference on Mass Storage Systems and Technologies (MSST '05)

Yan Zhang, Gehong Zeng, Joachim Piprek, Avram Bar-Cohen and Ali Shakouri: Superlattice Microrefrigerators Flip-Chip Bonded with Optoelectronic Devices, invited for submission on Journal of IEEE Transactions on Components and Packaging Technologies (accepted in Jan, 2005)

Hari Rangarajan, J.J. Garcia-Luna-Aceves,"Making On-demand Routing Protocols Based on Destination Sequence Numbers Robust," IEEE International Conference on Communications (ICC), May 16-20, 2005, Seoul, Korea.

Hari Rangarajan, J.J. Garcia-Luna-Aceves, "Path Verification for Robust,Instantaneous Loop-free Routing in Ad-hoc Networks," IEEE Wireless Communications and Networking Conference (WCNC), March 13-17, 2005, New Orleans, LA, USA