November 2007 - talks - lists.cs.princeton.edu

Announcement: Princeton Research Symposium 2007 -- Sat, 11/17
by Melissa M Lawson 09 Nov '07

09 Nov '07

You are invited to attend this year's Princeton Research Symposium! Please extend this invitation to any colleagues, friends, and family in and outside of the University that you think would be interested in this event. This symposium is open to all -- from high school students to professors! PRS 2007 is a one-day event showcasing Princeton's research to the University and area community. Princeton researchers will deliver talk and poster presentations throughout the day, specifically tailored for an educated but non-specialist audience. Professor Ed Felten will be delivering the keynote faculty talk on the very timely topic of "Electronic Voting: Danger and Opportunity". come hear presentations from: classics . ecology and evolutionary biology . electrical engineering . physics . history . molecular biology . applied and computational math . astrophysical sciences . politics . chemistry . chemical engineering . atmospheric and oceanic studies . psychology . computer science . operations research and financial engineering . plasma physics . geosciences . comparative literature While attendance is free, we encourage you to register online, preferably by Sunday, 11/11. For more information, please visit http://www.princeton.edu/~prs Saturday November 17, 2007 Princeton Research Symposium 2007 When: 8:30a-6pm Where: Friend Center, Princeton University Detailed schedule: 8:30a-9a: breakfast 9-9:30a: opening talk: Kerry Walk, Director of the Princeton Writing Program 9:30a-11:30a: talk session 11:30a-2:15p: poster session/lunch 2:15-3:45p: talk session 3:45p-4p: break 4-5p: keynote: Ed Felten, Professor of Computer Science and Public Affairs and Director of the Center of Information Technology Policy "Electronic Voting: Danger and Opportunity" 5-6p: awards/reception Sponsored by Graduate School, Pace Center, McGraw Center, Graduate Student Government Events Board, Association of Princeton Graduate Alumni, and the Princeton Writing Program Contact: Shin-Yi Lin (shinyi(a)princeton.edu) and Lesley Chuang (lchuang(a)princeton.edu)

1 0

cookies
by Ginny Hogan 07 Nov '07

07 Nov '07

Cookies are now available in the tea room -

1 0

Refreshments -
by Ginny Hogan 07 Nov '07

07 Nov '07

Tea will be at 3:30 today followed by Yuanyuan Zhou's talk, Taming Wild Concurrent Progreams starting at 4:15pm, Computer Science room 105 -

1 0

L Jia FPO
by Melissa M Lawson 07 Nov '07

07 Nov '07

Limin Jia will present her FPO on Wednesday November 14 at 3PM in Room 402. The members of her committee are: David Walker, advisor; Andrew Appel and Frank Pfenning (CMU), readers; David August and David Blei, nonreaders. A copy of her thesis, "Linear Logic and Imperative Programming", is on display in room 310. Everyone is invited to attend her talk.

1 0

Talk today in COS 105 at 4:15pm
by Kai Li 07 Nov '07

07 Nov '07

Title: Taming Wild Concurrent Programs Abstract: The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. As programmers are used to sequential thinking, concurrent programs can easily run wild. Additionally, due to the non-deterministic nature, concurrency bugs are notoriously hard to expose during testing and to reproduce for diagnosis. In this talk, I will describe our recent research effort in combating wild concurrent programs. More specifically, I will talk about our findings in (1) hardware and system support as well as using data mining and machine learning/NLP techniques to automatically infer programmers' synchronization intent and detect concurrency bugs; (2) systematic approaches to identify and cover corner-case interleavings and expose more concurrency bugs during in-house testing; and (3) real world concurrency bug characteristics that can shed some lights on future research on concurrency bug detection, testing and programming language design. Bio: Yuanyuan Zhou is an associate professor in the Department of Computer Science at Univ of Illinois at Urbana Champaign. Prior to UIUC, she worked at NEC Research Institute as a scientist after completing her Ph.D at Princeton in 2000. Her research interests span the areas of operating systems, architecture, storage systems and software reliability. She was the recipient for the Alfred Sloan Fellowship 2007, UIUC Gear Faculty Award 2006, NSF Career-2004 award, the CRA-W Anita-Borg Early Career Award 2005, the DOE Early Career Principle Investigator Award 2005, the IBM Faculty Award 2004 & 2005, and the IBM SUR-2003 award. She has 3 papers selected into the IEEE Micro Special Issue on Top Picks from Architecture Conferences and one best paper in SOSP 2005. She was also selected into the "Incomplete List of Teachers Ranked as Excellent by Their Students" in 2003 and 2006 at UIUC.

1 0

Programming Languages and Compilers
by cbell＠CS.Princeton.EDU 06 Nov '07

06 Nov '07

Come to the new reading group for programming languages and compilers this Friday at 12:20 in room 302! Food will be provided. Please RSVP (to cbell@cs) by Wednesday night so we can determine how much to order, and sign up to this mailing-list for further announcements: plc-seminar(a)lists.cs.princeton.edu https://lists.cs.princeton.edu/mailman/listinfo/plc-seminar The first paper we discuss will be "AVIO: Detecting Atomicity Violations via Access Interleaving Invariants", by Shan Lu, Joe Tucek, Feng Qin, and Yuanyuan Zhou. [http://opera.cs.uiuc.edu/paper/asplos062-lu.pdf] (Yuanyuan Zhou will be here tomorrow: http://www.cs.princeton.edu/research/colloquia/event/294). This will be a somewhat informal reading group where "presenting" a paper is not required. Rather, we will take turns each week leading the discussion. So be prepared to talk. ------------------------------------------------------------------------------ Finally, there are two talks coming up that may also interest you. On Monday, November 19th, there will be two talks by visiting speakers: 12:00 Gang Tan, Boston College: Inter-language analysis across Java and C Place: probably CS 105. Host: A. Appel This talk is for those interested in programming languages, in security, and in systems. Gang will talk about finding bugs and security holes in real software at the interfaces, after people have already gone through with all the modern tools that find bugs inside the Java components and inside the C components. 1:30 Stephanie Weirich, U. Penn.: Engineering Formal Metatheory Place: probably CS 301. Host: A. Appel This talk is for those interested in programming languages, lambda calculus, and formal methods. Stephanie will talk about recent ways to formalize lambdas and binders in Coq, in her solution to the POPLmark challenge. -cj Christian Bell

1 0

Speaker tomorrow 11/7 -
by Ginny Hogan 06 Nov '07

06 Nov '07

Yuanyuan Zhou will present her talk "Taming Wild Concurrent Programs" tomorrow 11/7, at 4:15pm Computer Science Room 105.

1 0