Slides from the talks are available on this webpage, but are hard to find. Click on “talks”, then the talk you are interested in. This should pop up some information about the talk with a button that says “all details” in the bottom left of the page. Click that to go to yet another webpage for the talk. That should have a link to slides.
We proudly announce the SIGPLAN Programming Languages Mentoring Workshop at ICFP. 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 groups who have traditionally not had the opportunity to participate in research in functional programming. 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.
Workshop Focus
Our effort is inspired by and modeled on the highly successful mentoring workshop associated with the POPL conference (PLMW). This workshop has occurred yearly since 2012; we’d like to bring this opportunity to the functional programming community. Our focus for this workshop will be early career graduate students. In particular, we will design the program for the benefit of students entering their first or second year of graduate school. Undergraduates who are seriously considering an academic career will also benefit from the workshop.
Applications (Due July 1st)
To apply for support to come to PLMW and ICFP, please login to hotcrp. Note that hotcrp is not designed precisely for scholarship applications:
- please click “start new submission”.
- please put “title” into the “title” field and list yourself as the only “author”.
- please fill out the rest of the fields as they appear in the form.
Follow this link: https://plmw-icfp16.hotcrp.com/ to begin the application process. You do not need to complete the application in a single sitting; please complete it at your leisure, but finish by July 1st.
Please email the organizers if you have any questions.
Sun 18 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
09:15 - 10:15 | |||
09:15 30mTalk | Welcome to ICFP! PLMW Kathleen Fisher Tufts University Media Attached File Attached | ||
09:45 30mTalk | Rust: PL research in industry PLMW Aaron Turon MPI-SWS |
10:45 - 12:15 | |||
10:45 45mTalk | Basic Mechanics of Operational Semantics PLMW David Van Horn University of Maryland, USA Link to publication | ||
11:30 45mTalk | Some Types of Types PLMW Philip Wadler University of Edinburgh File Attached |
14:00 - 15:00 | |||
14:00 30mTalk | Analyzing JavaScript Web Applications in the Wild (Mostly) Statically PLMW Sukyoung Ryu KAIST File Attached | ||
14:30 30mTalk | Introduction to Dependent Types PLMW Daniel R. Licata Wesleyan University Link to publication |
15:30 - 16:30 | |||
15:30 30mTalk | Program Transformations for Developing Efficient and Correct Programs with Ease PLMW Akimasa Morihata University of Tokyo, Japan File Attached | ||
16:00 30mTalk | How to Write Papers So People Can Read Them PLMW Derek Dreyer MPI-SWS, Germany File Attached |
17:00 - 18:00 | |||
17:00 30mTalk | Principle and Practice of OCaml Type Debugger PLMW Kenichi Asai Ochanomizu University File Attached | ||
17:30 30mTalk | Unaccustomed as I am to public speaking PLMW John Hughes Chalmers University of Technology |
Talks
Scope
Slides from the talks are available on this webpage, but are hard to find. Click on “talks”, then the talk you are interested in. This should pop up some information about the talk with a button that says “all details” in the bottom left of the page. Click that to go to yet another webpage for the talk. That should have a link to slides.
See also the videos of the talks.
We proudly announce the SIGPLAN Programming Languages Mentoring Workshop at ICFP. 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 groups who have traditionally not had the opportunity to participate in research in functional programming. 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 in a process of imagining how they might contribute to the world.
Workshop Focus
Our effort is inspired by and modeled on the highly successful mentoring workshop associated with the POPL conference (PLMW). This workshop has occurred yearly since 2012; we’d like to bring this opportunity to the functional programming community. Our focus for this workshop will be early career graduate students. In particular, we will design the program for the benefit of students entering their first or second year of graduate school. Undergraduates who are seriously considering an academic career will also benefit from the workshop.
Applications (Due July 1st)
To apply for support to come to PLMW and ICFP, please login to hotcrp. Note that hotcrp is not designed precisely for scholarship applications:
- please click “start new submission”.
- please put “title” into the “title” field and list yourself as the only “author”.
- please fill out the rest of the fields as they appear in the form.
Follow this link: https://plmw-icfp16.hotcrp.com/ to begin the application process. You do not need to complete the application in a single sitting; please complete it at your leisure, but finish by July 1st.
Please email the organizers if you have any questions.