- talks - lists.cs.princeton.edu

Talk today 4:00pm - COS 402
by Ginny Hogan 24 Oct '08

24 Oct '08

Manish Vachharajani, University of Colorado - Boulder Title: Visualizing Potential Parallelism in Sequential Programs Abstract: This talk will presents ParaMeter, an interactive program analysis and visualization system for large traces. Using ParaMeter, a software developer can locate and analyze regions of code that may yield to parallelization efforts and to possibly extract performance from multicore hardware. The key contributions in the paper are (1) a method to use interactive visualization of traces to find and exploit parallelism, (2) interactive-speed visualization of large-scale trace dependencies, (3) interactive-speed visualization of code interactions, and (4) a BDD variable ordering for BDD-compressed traces that results in fast visualization, fast analysis, and good compression. ParaMeter's effectiveness is demonstrated by finding and exploiting parallelism in 175.vpr. Measurements of ParaMeter's visualization algorithms show that they are up to seventy-five thousand times faster than prior approaches. Bio: Manish Vachharajani is currently an Assistant Professor at the University of Colorado at Boulder. His research is focused on programming and design of advanced multicore systems ranging from general purpose homogeneous multicores to special purpose compute platforms such as GPUs. Current results from his group range from record-breaking network-processing performance on commodity multicore hardware to substantial speedups of industrial strength numerical weather prediction codes. Manish earned his Ph.D. from Princeton University in 2004.

1 0

S Comandur FPO - time change
by Melissa Lawson 22 Oct '08

22 Oct '08

Seshadhri Comandur's FPO, Friday October 24, will now begin at 1:30 PM instead of 2PM as originally announced. Still in Room 402.

1 0

J Podolak FPO
by Melissa Lawson 20 Oct '08

20 Oct '08

Joshua Podolak will present his FPO on Monday October 27 at 2PM in Room 402. The members of his committee are: Szymon Rusinkiewicz, advisor; Tom Funkhouser and Adam Finkelstein, readers; David Dobkin and Bernard Chazelle, nonreaders. A copy of his thesis, "The Symmetry Transform and Its Applications", is on display in Room 410. Everyone is invited to attend his talk.

1 0

N Vachharajani FPO
by Melissa Lawson 20 Oct '08

20 Oct '08

Neil Vachharajani will present his FPO on Monday October 27 at 9AM in Room 402. The members of his committee are: David August, advisor; Sharad Malik and Scott Mahlke (U Michigan), readers; Andrew Appel and Li-Shiuan Peh, nonreaders. A copy of his thesis, "Intelligent Speculation for Pipelined Multithreading", is on display in Room 310. Everyone is invited to attend his talk.

1 0

Mark Pauly Talk Tomorrow
by Thomas Funkhouser 19 Oct '08

19 Oct '08

Mark Pauly will be giving the PIXL talk tomorrow at noon in CS 402. ################### Title: Symmetry Detection and Structure Discovery for Digital 3D Geometry Abstract: With recent advances in 3D acquisition technology we witness a tremendous growth in the size and complexity of digital 3D models at all scales. We are now capable of digitizing entire cities, reconstruct the intricate 3D structures of human organs, or build accurate spatial representations of complex molecules. One of the key challenges in processing such data is finding and extracting geometric content relevant for a specific application. In this talk I will introduce a computational framework for symmetry detection and structure discovery in digital 3D geometry. The approach is fully automatic and assumes no prior knowledge on the location, size, or shape of the symmetric elements. Based on a statistical analysis of pairwise similarity transformations, our method successfully discovers complex regular structures amidst clutter, noise, and missing geometry. This enables applications in model repair, automated data classification, shape retrieval, reverse engineering, or compression. I will also discuss how symmetry detection and geometric optimization methods can be combined to yield an effective tool for shape design that allows enhancing or de-emphasising symmetries. Bio: Mark Pauly is an assistant professor at the CS department of ETH Zurich. >From August 2003 to March 2005 he was a postdoctoral scholar at Stanford University, where he also held a position as visiting assistant professor during the summer of 2005. He received his Ph.D. degree (with distinction) in 2003 from ETH Zurich and his M.S. degree (with honors) in 1999 from TU Kaiserslautern. His research interests include computer graphics and animation, geometry processing, shape modeling and analysis, and computational geometry. He was recipient of a full-time scholarship of the German National Merit Foundation, received the ETH medal for outstanding dissertation, and was awarded the Eurographics Young Researcher Award in 2006.

1 0

S Comandur FPO
by Melissa Lawson 17 Oct '08

17 Oct '08

Seshadhri Comandur will present his FPO on Friday October 24 at 2PM in Room 402. The members of his committee are: Bernard Chazelle, advisor; Sanjeev Arora and Moses Charikar, readers; Boaz Barak and Ken Steiglitz, nonreaders. A copy of his thesis, "Sublinear Distributed Reconstruction", is on display in Room 310. Everyone is invited to attend his talk.

1 0

E Schmidt FPO
by Melissa Lawson 17 Oct '08

17 Oct '08

Erich Schmidt will present his FPO on Thursday October 23 at 11AM in Room 302 (note room). The members of his committee are: J.P. Singh, advisor; Kai Li and Andrea LaPaugh, readers; Moses Charikar and Jennifer Rexford, nonreaders. A copy of his thesis, "Query-Independent Ranking for Large-Scale Persistent Search Systems", is on display in Room 310. Everyone is invited to attend his talk.

1 0

A Hobor FPO
by Melissa Lawson 10 Oct '08

10 Oct '08

Aquinas Hobor will present his Final Public Oral on Friday October 17 at 10AM in Room 402. The members of his committee are: Andrew Appel, advisor; David Walker and Peter O'Hearn, readers; Brian Kernighan and Vivek Pai, nonreaders. A copy of his thesis, "Oracle Semantics", is on display in Room 310. Everyone is invited to attend his talk.

1 0

cookies
by Ginny Hogan 09 Oct '08

09 Oct '08

Cookies are now available in the tea room followed by Ian Buck's talk at 4:30pm Computer Science Room 105 -

1 0

R Dockins general exam
by Melissa Lawson 09 Oct '08

09 Oct '08

Rob Dockins will present his research seminar/general exam on Thursday October 16 at 3PM in Room 402. The members of his committee are: Andrew Appel (advisor), David Walker, and Brian Kernighan. Everyone is invited to attend his talk and those faculty wishing to remain for the oral exam following are welcome to do so. His abstract and reading list follow below. ------------------------------------ Title: Modal Separation Logic for Program Verification and Metatheory Abstract: The construction of new logics for reasoning about programs has a long history in the field of program verification, going back at least to the seminal works of Floyd and Hoare. In this talk, I shall show how to combine separation logic with a generic multimodal logic using the proof assistant Coq. The logic that results is useful as a substrate for building higher-level program logics and as a tool for proving metatheoretic properties. The techniques I present can be readily generalized across different programming languages and support a large collection of features including mutable memory, unstructured control flow, explicit memory management, and shared-memory concurrency. I present examples from a toy language, the list machine benchmark, and from Concurrent C Minor, a realistic intermediate language for a concurrent C compiler. Reading List: Books: Benjamin Pierce. Types and Programming Languages. MIT Press. 2002. Yves Bertot and Pierre Casteran. Interactive Theorem Proving and Program Development. Springer. 2004. G.E. Hughes and J.M. Cresswell. A New Introduction to Modal Logic. Routldge. 1996. Papers: Andrew W. Appel, Paul Andre Mellies, Christopher D. Richards and Jerome Vouillon. A Very Modal Model of a Modern, Major, General Type System. In Proc. Thirty-Fourth Annual ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), January 2007. Chriatian Calcagno, Peter O'Hearn, Hongseok Yang. Local Action and Abstract Separation Logic. In Proc. Twenty-Second Annual IEEE Symposium on Logic in Computer Science (LICS), July 2007. Alexy Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky and Mooly Sagiv. Local Reasoning for Storable Locks and Threads. In Proc. Fifth Asian Symposium on Programming Languages and Systems (APLAS), November 2007. Xavier Leroy and Sandrine Blazy. Formal Verification of a C-like Memory Model and Its Uses for Verifying Program Transformations. Journal of Automated Reasoning, 41(1):1-31. July 2008. Greg Morrisett, David Walker, Karl Crary and Neal Glew. From System F to Typed Assembly Language. Twenty-Fifth ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), January 1998. Peter O'Hearn. Resources, Concurrency and Local Reasoning. Theoretical Computer Science 375(1):271-307, May 2007. Vaughan R. Pratt. Application of Modal Logic to Programming. Studia Logica, 39(2-3):257-274. June, 1980. John C. Reynolds. Separation Logic: A Logic for Shared Mutable Data Structures. In Proc. Seventeenth Annual IEEE Symposium on Logic in Computer Science (LICS), July 2002.

1 0