Home

Important Dates

Scope

Travel Grants

Schedule

Conference Organizers

Sponsors

 




picture from flickr used under Creative Commons license.

The CRA-W/CDC and SIGPLAN
Programming Languages Mentoring Workshop


Co-located with POPL 2012

Philadelphia, USA
January 24th, 2012

Important dates

Travel grant applications due December 2, 2011 (Friday)
Notification of student travel awards begins December 9, 2011 (Friday)
Early registration/hotel deadline December 24, 2011 (Saturday)
Workshop January 24, 2012 (Tuesday)

Scope

We proudly announce the CRA-W/CDC SIGPLAN Programming Languages Mentoring Workshop. The purpose of this mentoring workshop is to encourage senior undergraduate and beginning graduate students to pursue careers in programming language research. We are specifically interested in attracting women and underrepresented minority students. This workshop will be a combination of learning about the work being done in several areas of programming language research and mentoring with respect to helping students prepare for graduate school and the rest of their career. We will bring together leaders in programming language research from academia and industry to give talks on the kind of research typically performed after obtaining a Ph.D. The workshop will engage students, specifically interested in programming language research, in a process of imagining how they might contribute to the world.

Travel Grants

The workshop will occur immediately before POPL, the premier conference on the Principles of Programming Languages. There will be a small registration fee to attend the workshop. However, through the generous donation of our sponsors, we have a number of travel scholarships available that will cover reasonable travel expenses (airfare, hotel and registration fees) for students to attend both the workshop and POPL. Anyone may apply for a travel scholarship, but first priority will be given to women and underrepresented minority applicants. Applications must have been received by Friday, December 2, 2011 for full consideration. Given the large number of applications already received, we regret that we cannot consider any additional applications at this time.

Student authors of papers appearing at POPL 2012 or any of its associated workshops should apply for travel assistance from the SIGPLAN PAC fund.

Workshop Schedule

Our effort is inspired and modeled on two previous well-received summer schools, the Programming Language Summer School held at The University of Texas at Austin and the Systems Research Mentoring Workshop held at the University of Delaware, both sponsored by CRA-W and CDC.

This academic mentoring workshop will be divided into talks and panels. The talks will cover hot topics and future directions in several areas of programming language theory, such as type systems,verification, programming analysis, model checking, logic and language design. The panels will cover practical topics about starting a research career, including the job search process, time management, and proposal writing.

8:25 - 10:00 Session 1
8:25 -- 8:30 Welcome! (Kathleen Fisher, Ron Garcia, Stephanie Weirich) Slides
8:30 -- 9:00 Types (Benjamin Pierce) Slides
9:00 -- 9:30 Logic (Bob Harper) Slides
9:30 -- 10:00 Writing Papers (Simon Peyton Jones) Slides
10:00 - 10:30 Break
10:30 -- 12:00 Session 2
10:30 -- 11:00 Verification (Philippa Gardner) Slides
11:00 -- 11:30 Program Analysis (Tom Ball) Slides
11:30 -- 12:00 Time Management (Steve Zdancewic and Amal Ahmed)
12:00 - 1:30 Lunch
1:30 -- 3:30 Session 3
1:30 -- 2:00 Termination (Byron Cook) Slides
2:00 -- 2:30 Modeling and Analysis of Embedded Software (Rajeev Alur) Slides
2:30 -- 3:30 Job Search & Life after PhD (Nate Foster, Ron Garcia, Dimitrios Vytiniotis, Isil Dillig) Slides (Foster)
Slides (Garcia)
Slides (Vytiniotis)
Slides (Dillig)
3:30 - 4:00 Break
4:00 -- 5:15 Session 4
4:00 -- 4:30 Language Design (Charles Consel) Slides
4:30 -- 5:15 Proposal Writing (John Reppy) Slides
5:30 -- Reception

Organizers

This workshop is being organized by Kathleen Fisher, Ronald Garcia, and Stephanie Weirich.

Please send any questions about the workshop or travel grant application process to sweirich@cis.upenn.edu.

Sponsors


CRA-W Logo
Committee on the Status of 
Women in Computing Research(CRA-W)

 

ACM SIGPLAN Logo
 

ACM Special Interest Group on
Programming Languages (SIGPLAN)

CDC Logo  

The Coalition to Diversify Computing (CDC)

NSF Logo  

National Science Foundation (NSF)

Amgen Logo  

Amgen

Intel Logo  

Intel