CS 2003-2004 Faculty Information - Department of Computer ...

More documents

Recommendations

Info

28 CS 2003-2004 Faculty Information Professor Li is co-PI of a recently-funded mid-size NSF ITR project titled “Automated Trust Negotiation in Open Systems”(2003-2008).Automated Trust Negotiation (ATN) is an approach to regulate the exchange of sensitive credentials by using access-control policies. He has been working with Professors Will Winsborough and Kent Seamons on ATN, using the RT family of trust-management languages. Together with Professors Dan Boneh and Wenliang Du, Professor Li introduced a cryptographic primitive called oblivious signature-based envelope (OSBE) and developed an efficient and provably secure OSBE protocol for credentials signed using RSA signatures. OSBE enables the sender to send an encrypted message to the receiver such that the receiver can decrypt if and only if it possesses the signature on a predetermined message, yet the sender does not learn whether the receiver has the signature or not. Before joining Purdue, Professor Li was a research associate for the Computer Science Department at Stanford University. He has served on the program Committees for the ACM Conference on Computer and Communications Security, IEEE Computer Security Foundations Workshop, and International Conference on Trust Management, and has reviewed papers for a number of international journals and conferences. Selected Publications: Ninghui Li, William H. Winsborough, and John C. Mitchell, “Beyond Proof-of-compliance: Safety and Availability Analysis in Trust Management,” Proceedings of the 2003 IEEE Symposium on Security and Privacy. Ninghui Li, Wenliang Du, and Dan Boneh, “Oblivious Signature-Based Envelope,” Proceedings of the 22nd ACM Symposium on Principles of Distributed Computing (PODC 2003). Ninghui Li, Benjamin N. Grosof, and Joan Feigenbaum, “Delegation Logic: A Logic-based Approach to Distributed Authorization,” ACM Transactions on Information and System Security (TISSEC), Volume 6, No. 1, February 2003. Zhiyuan Li Education: BS, Mathematics, Xiamen University, 1982 MS, Computer Sciences, University of Illinois at Urbana-Champaign, 1985 PhD, Computer Sciences, University of Illinois at Urbana-Champaign, 1989 Positions: Associate Professor of Computer Science Associate Professor of Electrical and Computer Engineering (Courtesy) Bio-sketch: Zhiyuan Li has led a group to design and implement an interprocedural parallelizing Fortran compiler, called Panorama, which performs highly efficient array data flow analysis to enable aggressive loop parallelization and locality-enhancement program transformations. His group also designs and implements compiler-based programming environments and run-time systems for mobile computing on handheld devices. Li received a National Science Foundation Research Initiation Award and a National Science Foundation Career Award in 1992 and 1995, respectively. In 1998, he co-edited with P.C. Yew a special issue on compilers and languages for parallel and distributed computers for IEEE Transaction on Parallel and Distributed Systems and two special issues on compilers and languages for parallel computing for the International Journal on Parallel Programming. Li, with professor P.C. Yew, co-chaired the 10th International Workshop on Languages and Compilers for Parallel Computing in 1997.
He has served as a program committee member for several international conferences, including IEEE International Parallel and Distributed Processing Symposium (IPDPS), ACM International Conference on Supercomputing, International Conference on Parallel Processing,and ACM SIGPLAN Symposium on Languages, Compilers and Tools for Embedded Systems (LCTES). Selected Publications: Junjie Gu and Zhiyuan Li, “Efficient Interprocedural Array Data-flow Analysis for Automatic Program Parallelization,” IEEE Transactions on Software Engineering, Special Issue on Architecture-Independent Languages and Software Tools for Parallel Processing, Volume 26, No. 3, pp. 244-26, March 2000. Cheng Wang and Zhiyuan Li, “Parametric Analysis For Adaptive Computation Offloading,” Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation (PLDI), pp. 119-130, Washington, DC, June 9-11, 2004. Cheng Wang and Zhiyuan Li, “A Compiler Scheme For Computation Offloading on Wireless-Networked Handheld Devices,” Journal of Parallel and Distributed Computing, Volume 64, No. 6, pp. 740-746, June, 2004. Yung-Hsiang Lu Education: BSEE, Electrical Engineering, Taiwan University, 1992 MSEE, Electrical Engineering, Stanford University, 1996 PhD, Electrical Engineering, Stanford University, 2002 Positions: Assistant Professor of Electrical and Computer Engineering Assistant Professor of Computer Science (Courtesy) Bio-sketch: Dr. Lu’s research is developing energy-efficient computing systems. His work focuses on architecture and operating system techniques for power management. The applications include distributed sensor networks, autonomous robots, wireless communication, and real-time systems. He received the Career Award from National Science Foundation in 2004 for developing advanced energy management in operating systems. Selected Publications: Nathaniel Pettis, Le Cai, and Yung-Hsiang Lu, “Dynamic Power Management for Streaming Video,” International Symposium on Low Power Electronics and Design 2004, pp. 62-65. Yung-Hsiang Lu, Luca Benini, and Giovanni De Micheli, “Dynamic Frequency Scaling with Buffer Insertion for Mixed Workloads,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Volume 21, No. 11, pp. 1284-1305, November 2002. Yung-Hsiang Lu, Luca Benini, and Giovanni De Micheli, “Power-Aware Operating Systems for Interactive Systems,” IEEE Transactions on Very Large Scale Integration Systems, Volume 10, No. 2, pp. 119-134, April 2002. 29
Page 1 and 2: Department of Computer Science 2003
Page 3 and 4: Table of Contents 2 Purdue Universi
Page 5 and 6: Computer Science Department Facilit
Page 7 and 8: Corporate Partners The Corporate Pa
Page 9 and 10: Mr. Peter and Mrs. Linda Hogue Mr.
Page 11 and 12: Selected Publications: Daniel G. Al
Page 13 and 14: Selected Publications: M. A. Hammad
Page 15 and 16: Chris Bailey-Kellogg Education: BS,
Page 17 and 18: He serves on five editorial boards
Page 19 and 20: Bio-sketch: Dr. Clifton works on ch
Page 21 and 22: Ahmed K. Elmagarmid Education: BS,
Page 23 and 24: Greg N. Frederickson and Roberto So
Page 25 and 26: Susanne E. Hambrusch Education: MS,
Page 27 and 28: Elias N. Houstis Education: BS, Mat
Page 29: Daisuke Kihara Education: BS, Bioch
Page 33 and 34: Bio-sketch: Professor Lynch has hel
Page 35 and 36: Selected Publications: Jens Palsber
Page 37 and 38: Bio-sketch: Professor Popescu’s r
Page 39 and 40: 2000). He also has published about
Page 41 and 42: Bio-sketch: Ness B. Shroff ’s res
Page 43 and 44: John M. Steele Position: Associate
Page 45 and 46: Bio-sketch: Professor Vitek is work
Page 47 and 48: B. Dodson, A. K. Lenstra, P. Leylan
Page 49 and 50: Research funding The funding shown
Page 51 and 52: Ananth Grama Ananth Y. Grama,“Alg
Page 53 and 54: Aditya P. Mathur,“Tools for Quant
Page 55 and 56: Ahmed K. Elmagarmid, Eugene Spaffor
Page 57 and 58: Joseph-Patrick Roger Dib Jing Dong
Page 59: Computer Science Staff Department S

CS 2003-2004 Faculty Information - Department of Computer ...

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?