- talks - lists.cs.princeton.edu

Y Zhang general exam
by Melissa Lawson 07 Oct '08

07 Oct '08

Yun Zhang will present her research seminar/general exam on Tuesday October 14 at 11AM in Room 302. The members of her committee are: David August (advisor), Andrew Appel, and Doug Clark. Everyone is invited to attend her talk and those faculty wishing to remain for the oral exam following are welcome to do so. Her abstract and reading list follow below. ---------------------------- Abstract Shape Aware Memory Analysis for Multi-core Architecture Limited memory alias analysis inhibits automatic parallelization for multi-core architecture. Alias analysis generally considers memory accesses to separated parts of recursive data structures, especially cyclic ones, dependent since the analysis has no shape information indicating how the program traverses the data structure. For example, accesses to the left child of a binary tree node are separated from accesses to the right child, but current memory analysis methods conservatively conclude the accesses may alias with each other. This work proposes a three-step loop-aware memory analysis that performs dependence tests on loops that traverse recursive data structures to benefit automatic code parallelization.The first step captures shape information of recursive data structures using separation logic, the second traces two pointers' definition chains, and the third combines the two definition chains with the shape information of the data structure to see if the two pointer accesses separate or alias between loop iterations. Corresponding soundness proof in separation logic is demonstrated on a couple of typical examples. The experimental results show that this loop-aware alias analysis can effectively disprove false cross-iteration dependences, which unveils opportunities for automatic parallelization, eases the work of instruction distribution and reduces data communications between cores. Reading List Books: 1. Modern Compiler Implementation in ML, by A. W. Appel, Cambridge University Press, 1998 2. Advanced compiler design and implementation, by S. S. Muchnick, Morgan Kaufman, 1997 Papers: 3. Shape Analysis with Inductive Recursion Synthesis. B. Guo, N. Vachharajani, and D. I. August, Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI), June 2007. 4. Detecting Parallelism in C Programs with Recursive Data Sturctures, R. Ghiya, L. J. Hendren and Y. Zhu, Computational Complexity, page 159-173, 1998 5. Practical and Accurate Low-level Pointer Analysis, B. Guo, M.J. Bridges, S. Triantafyllis, G. Ottoni, E. Raman, and D. I. August, Proceedings of the Third International Symposium on Code Generation and Optimization (CGO), March 2005. 6. Identifying Parallelism in Programs with Cyclic Graphs, Y. Hwang and J. Saltz, Proceedings of the International Conference on Parallel Processing(ICPP), 2000 7. A Novel Approach for Detecting Heap-based Loop-carried Dependences, A. Tineo, F. Corbera, A. Navarro, R. Asenjo, and E.L. Zapata, Proceedings of the International Conference on Parallel Processing(ICPP), 2005 8. Analysis of Pointers and Structures, D. R. Chase, M. Wegman, F. K. Zadeck, Proceedings of the ACM SIGPLAN '90 Conference on Programming Language Design and Implementation, pp. 296-310, 1990. 9. Automatic Thread Extraction with Decoupled Software Pipelining, G. Ottoni, R. Rangan, A. Stoler, D. I. August, Proceedings of the 38th IEEE/ACM International Symposium on Microarchitecture (MICRO), November 2005 10. Revisiting the Sequential Programming Model for Multi-core, M. Bridges, N. Vachharajani, Y. Zhang, T. Jablin, D. I. August, Proceedings of the 40th IEEE/ACM International Symposium on Microarchitecture (MICRO), 2007 11. Points-to analysis by type inference in programs with structures and unions, B. Steensgaard, Lecture Notes in Computer Science, 1060 (T. Gyimothy, ed.), pp. 136-150, Springer-Verlag, 1996. Proceedings from the International Conference on Compiler Construction. 12. Relevant context inference, R. Chatterjee, B. G. Ryder, and W. A. Landi, Proceedings of the ACM Symposium on Principles of Programming Languages, pp. 133-146, January 1999.

1 0

FW: AT&T Shannon Labs Distinguished Speaker Series
by Melissa Lawson 07 Oct '08

07 Oct '08

If this is a series you think you will be interested in, please bookmark the website. Subject: AT&T Shannon Labs Distinguished Speaker Series Dear Colleagues, We are pleased to announce that AT&T Shannon Labs is hosting an ongoing Distinguished Speaker Series at our Florham Park, NJ facility. This series will feature talks from senior researchers, technology superstars, and policymakers from diverse backgrounds in computer science, telecommunications, science, and technology. We would like to invite members from the local research community to join us and hear from these experts about their views on the future of computing, communications and science, and its impact on our world. The talks will be made available through our research website at http://www.research.att.com. The first talk in the series is being held on Oct 15, from 3:30pm-4:30pm. The details follow. There is limited space available for visitors on a first come first serve basis. If you would like to come, please send us an email at dssorg(a)research.att.com by Oct. 12 so we can arrange to have visitor passes available. -- Speaker: Brian Snow Title: We Need Assurance Time: 3:30pm-4:30pm. Oct 15, 2008. Location: C050 (auditorium) Abstract: When will we be secure? Nobody knows for sure - but it cannot happen before commercial security products and services possess not only enough functionality to satisfy customers' stated needs, but also sufficient assurance of quality, reliability, safety, and appropriateness for use. Such assurances are lacking in most of today's commercial security products and services. I discuss paths to better assurance in Operating Systems, Applications, and Hardware through better development environments, requirements definition, systems engineering, quality certification, and legal/regulatory constraints. I also give some examples. Biography: Mathematician/computer scientist, Brian taught mathematics and helped found the computer science department at Ohio University in the late 1960's. He joined the National Security Agency in 1971 where he became a cryptologic designer and security systems engineer. Brian spent his first 20 years at NSA doing and directing research that developed cryptographic components and secure systems. Many cryptographic systems serving the U.S. government and military use his algorithms; they provide capabilities not previously available and span a range from nuclear command and control to tactical radios for the battlefield. Computer Security and Network Security were major aspects for these systems. He created and managed NSA's Secure Systems Design division in the 1980s. He has many patents, awards, and honors attesting to his creativity. His later years at NSA were the model for what it means to be a senior Technical Director at NSA (similar to a Chief Scientist or Senior Technical Fellow in industry); he served in that capacity in three major mission components - The Research Directorate (1994-1995), The Information Assurance Directorate (1996-2002), and The Directorate for Education and Training --NSA's Corporate University (2003-2006) He was the first Technical Director appointed at the "Key Component" level at NSA, and the only "techie" at NSA to serve in such a role across three different Directorates. In all of his positions, he insisted that the actions NSA took to provide intelligence for our national and military leaders should not put U.S. persons or their rights at risk. He was a leading voice for always assessing the unintended consequences of both success and failure prior to taking action. Brian retired in 2006 and is now an Independent Security Consultant and Ethics Advisor. --------------------------------------------------------------------------

1 0

FW: did you forward this?
by Ginny Hogan 30 Sep '08

30 Sep '08

_____ From: Mitra Kelly [mailto:mkelly@CS.Princeton.EDU] Sent: Tuesday, September 30, 2008 3:35 PM To: Ginny Hogan Subject: did you forward this? Ginny I wasn't sure if you should forward this to the dept or what? thanks Mitra Kelly Academic Secretary Princeton University Computer Science Dept 35 Olden Street Princeton, NJ 08540 Phone: 609-258-4562 Fax: 609-258-1771 _____ From: Lori A. Bailey [mailto:lbailey@princeton.edu] Sent: Tuesday, September 30, 2008 11:06 AM To: Mitra D. Kelly Subject: EMD/CE Seminar - Dr. Steve Koester - Monday, October 06, 2008 Dear Mitra, I am the CE Faculty Assistant for Prof. Margaret Martonosi, who is also an affiliated faculty member of Computer Science. We are co-hosting an EMD/CE Seminar on October 6th and would like to see if this seminar announcement can be forwarded to the Computer Science seminar list. If you are not the correct contact, would you know who I could contact. Any assistance you could provide would be greatly appreciated. Best Regards, Lori Bailey CE Faculty Assistant Department of Electrical Engineering E-Quad, B215 Princeton University 609.258.8090

1 0

refreshments
by Ginny Hogan 26 Sep '08

26 Sep '08

Cookies are now available in the tea room -

1 0

Reminder: CS Colloquium: today at 1pm -- Prof. Dan Huttenlocher (Cornell)
by Fei-Fei Li 26 Sep '08

26 Sep '08

Please remember to come to today's CS Colloquium at 1pm by Prof. Dan Huttenlocher (CS, Cornell). His talk title is "Sensing for Autonomous Driving: Some Lessons from the DARPA Urban Challenge Race". Cookie/tea reception would be at 2pm in the 2nd floor tea room - i.e. after the talk. This will be a really fun talk! Abstract: Team Cornell's Skynet is one of six vehicles that successfully completed the 2007 DARPA Urban Challenge, with over 55 miles of fully autonomous driving in an urban environment. The competition included many scenarios such as staying in a lane, merging into traffic, passing other vehicles, obeying queueing order at stop signs, parking, and robot-robot interaction. Skynet was designed to drive "human-like" with smooth, predictable behaviors, even in the presence of a vast array of uncertainties. In this talk I will describe the vehicle design with a focus on the systems for perception and planning, and will present some results from the semi-finals and the final race. In particular I will discuss the pose estimation system which uses visual input to improve the estimate of the vehicle's location, and the object tracking system which can simultaneously track dozens of objects while accurately estimating their speed and heading. I will also discuss some of the limitations of such systems, which played a role in the fender bender between Skynet and MIT's Talos robot. Bio: Dan Huttenlocher is the John P. and Rilla Neafsey Professor of Computing, Information Science and Business at Cornell University, where he holds a joint appointment in the Computer Science Department and the Johnson Graduate School of Management. His current research interests are in computer vision, social and information networks, geometric algorithms and autonomous driving. He has been recognized for his research and teaching contributions, including being named an NSF Presidential Young Investigator, New York State Professor of the Year and Fellow of the ACM. In addition to academic posts he has been chief technical officer of Intelligent Markets, a provider of advanced trading systems on Wall Street, and spent more than ten years at Xerox PARC directing work that led to the ISO JBIG2 image-compression standard. -- --------------------------------------------- Li, Fei-Fei Ph.D. (publish under L. Fei-Fei) Assistant Professor Computer Science Dept. Princeton University 35 Olden St. Princeton, NJ 08540 Tel: (609)258-8130 Office: Room 211, CS Building Website: http://vision.cs.princeton.edu --------------------------------------------- _______________________________________________ pixl-talks mailing list pixl-talks(a)lists.cs.princeton.edu https://lists.cs.princeton.edu/mailman/listinfo/pixl-talks -- --------------------------------------------- Li, Fei-Fei Ph.D. (publish under L. Fei-Fei) Assistant Professor Computer Science Dept. Princeton University 35 Olden St. Princeton, NJ 08540 Tel: (609)258-8130 Office: Room 211, CS Building Website: http://vision.cs.princeton.edu --------------------------------------------- _______________________________________________ pixl-talks mailing list pixl-talks(a)lists.cs.princeton.edu https://lists.cs.princeton.edu/mailman/listinfo/pixl-talks -- --------------------------------------------- Li, Fei-Fei Ph.D. (publish under L. Fei-Fei) Assistant Professor Computer Science Dept. Princeton University 35 Olden St. Princeton, NJ 08540 Tel: (609)258-8130 Office: Room 211, CS Building Website: http://vision.cs.princeton.edu ---------------------------------------------

1 0

Reminder: CS Colloquium: tomorrow at 1pm -- Prof. Dan Huttenlocher (Cornell)
by Fei-Fei Li 25 Sep '08

25 Sep '08

Please come to tomorrow's CS Colloquium at 1pm by Prof. Dan Huttenlocher (CS, Cornell). His talk title is "Sensing for Autonomous Driving: Some Lessons from the DARPA Urban Challenge Race" (abstract below). Cookie/tea reception would be at 2pm in the 2nd floor tea room - i.e. after the talk. Abstract: Team Cornell's Skynet is one of six vehicles that successfully completed the 2007 DARPA Urban Challenge, with over 55 miles of fully autonomous driving in an urban environment. The competition included many scenarios such as staying in a lane, merging into traffic, passing other vehicles, obeying queueing order at stop signs, parking, and robot-robot interaction. Skynet was designed to drive "human-like" with smooth, predictable behaviors, even in the presence of a vast array of uncertainties. In this talk I will describe the vehicle design with a focus on the systems for perception and planning, and will present some results from the semi-finals and the final race. In particular I will discuss the pose estimation system which uses visual input to improve the estimate of the vehicle's location, and the object tracking system which can simultaneously track dozens of objects while accurately estimating their speed and heading. I will also discuss some of the limitations of such systems, which played a role in the fender bender between Skynet and MIT's Talos robot. Bio: Dan Huttenlocher is the John P. and Rilla Neafsey Professor of Computing, Information Science and Business at Cornell University, where he holds a joint appointment in the Computer Science Department and the Johnson Graduate School of Management. His current research interests are in computer vision, social and information networks, geometric algorithms and autonomous driving. He has been recognized for his research and teaching contributions, including being named an NSF Presidential Young Investigator, New York State Professor of the Year and Fellow of the ACM. In addition to academic posts he has been chief technical officer of Intelligent Markets, a provider of advanced trading systems on Wall Street, and spent more than ten years at Xerox PARC directing work that led to the ISO JBIG2 image-compression standard. -- --------------------------------------------- Li, Fei-Fei Ph.D. (publish under L. Fei-Fei) Assistant Professor Computer Science Dept. Princeton University 35 Olden St. Princeton, NJ 08540 Tel: (609)258-8130 Office: Room 211, CS Building Website: http://vision.cs.princeton.edu --------------------------------------------- _______________________________________________ pixl-talks mailing list pixl-talks(a)lists.cs.princeton.edu https://lists.cs.princeton.edu/mailman/listinfo/pixl-talks -- --------------------------------------------- Li, Fei-Fei Ph.D. (publish under L. Fei-Fei) Assistant Professor Computer Science Dept. Princeton University 35 Olden St. Princeton, NJ 08540 Tel: (609)258-8130 Office: Room 211, CS Building Website: http://vision.cs.princeton.edu ---------------------------------------------

1 0

Speaker Friday 9/26/2008
by Ginny Hogan 24 Sep '08

24 Sep '08

Dan Huttenlocher, Cornell University will present his talk, "Sensing for Autonomous Driving: Some Lessons from the DARPA Urban Challenge Race", Friday Sept. 26th at 1:00pm Computer Science Room 105. - There will be a tea following the talk at 2:00pm. Second floor tea room -

1 0

Kavita Bala talk
by Tom Funkhouser 17 Sep '08

17 Sep '08

*Speaker: Kavita Bala, Cornell University Title: Perceptually-based scalable graphics Abstract: Simulating the appearance of complex scenes faithfully and efficiently is a challenge in graphics. My research develops algorithms that scale to complex illumination and scenes, by exploiting limitations in human perception. In this talk I will describe two complementary research goals. First, we need to understand image fidelity: when is a rendered image good enough? We introduce a new appearance-based measure of image fidelity called visual equivalence[SIG07,SIG08] that goes beyond pixel accuracy to better capture what graphics practitioners care about: preserving appearance in complex scenes. Second, we design perceptually-based algorithms that scale to complex scenes and complex illumination effects, like motion blur, depth-of-field, participating media, and subsurface scattering. I will describe our work on lightcuts for scalable final rendering [SIG05,SIG06,EG08] and matrix row-column sampling for lighting preview [SIG07,EGSR08]. These approaches are complementary in performance and can be applied across a range of applications such as cinematic relighting, production rendering, games, cultural heritage, and ecommerce, among others. Bio: Kavita Bala is an Assistant Professor in the Computer Science Department and Program of Computer Graphics at Cornell University. She received her S.M. and Ph.D. from the Massachusetts Institute of Technology (MIT), and her B.Tech. from the Indian Institute of Technology (IIT, Bombay). Bala specializes in computer graphics, leading research projects in scalable rendering, perceptually-based rendering, interactive global illumination, and image-based modeling and texturing. She has co-authored the graduate-level textbook "Advanced Global Illumination" (A K Peters publisher, second edition). In 2005 she co-chaired the Eurographics Symposium on Rendering (EGSR). Bala has received the NSF CAREER award, Cornell's College of Engineering James and Mary Tien Excellence in Teaching Award, and Cornell's Affinito-Stewart award. **Time/Place: Monday, September 22, 2008 12:00 - 1:30PM, CS 402 (PIXL Lunch) *

1 0

E Banks preFPO
by Melissa Lawson 16 Sep '08

16 Sep '08

Eric Banks will present his preFPO on Monday September 22 at 1:30PM in room 402. The members of his committee are: Mona Singh, advisor; Olga Troyanskaya and Bernard Chazelle, readers; Tom Funkhouser and David Blei, nonreaders. Everyone is invited to attend his talk. His abstract follows below. ------------------------------------------ High-throughput experimental and computational approaches are enabling the collection of large-scale biological networks, consisting of proteins and the interactions among them, for a growing number of species. With appropriate computational analysis and experimental work the potential exists for uncovering the organizational principles of the cell and, consequently, protein functions and pathways, which are still largely unidentified. In this work, we introduce a novel framework for analyzing protein interaction networks in order to uncover organizational units corresponding to recurring means with which diverse biological processes are carried out. We formalize recurring patterns of interaction among different types of proteins using "network schemas"; network schemas specify descriptions of proteins and the topology of interactions among them. We develop algorithms for systematically uncovering recurring, over-represented schemas in physical interaction networks and apply these methods to the S. cerevisiae interactome, identifying hundreds of such organizational units of varying complexity. We establish the functional importance of these schemas by showing that they correspond to functionally cohesive sets of proteins, are enriched in the frequency with which they have instances in the H. sapiens interactome, and are useful for predicting protein function. Finally, we introduce NetGrep, a system for searching protein interaction networks for matches to more general network schemas. NetGrep provides an advanced graphical interface for specifying schemas and fast algorithms for extracting their matches.

1 0

Matthew Bridges FPO
by Melissa Lawson 09 Sep '08

09 Sep '08

Matt Bridges will present his FPO on Monday September 15 at 2PM in Room 402. The members of his committee are: David August, advisor; Kai Li and Dan Lavery, readers; Doug Clark and Margaret Martonosi, nonreaders. A copy of his thesis, "The VELOCITY Compiler: Extracting Efficient Multicore Execution from Legacy Sequential Codes", is on display in Room 310. Everyone is invited to attend his talk.

1 0