PL @ UChicago

News

[May 2020] Kavon and John receive a PLDI 2020 Distinguished Paper Award for From Folklore to Fact.
[Mar 2020] Robert Rand will join the department in July!
[Mar 2020] Justin selected for an NSF Graduate Research Fellowship!
[Feb 2020] James Koppel presents Building Multi-Language Tools and elucidates counterfactual inference.

[Dec 2019] Haijun Xia visits and talks about The Power of Representation in Human-Computer Interaction.
[May 2019] Cyrus will start as assistant professor at University of Michigan in the fall. Congrats!
[Apr 2019] Richard Feldman visits FP class and talks about Using Nicer Programming Languages at Work.
[Jan 2019] Ranjit Jhala presents a Distinguished Lecture on Language-Integrated Verification.

[Nov 2018] Justin wins first place in the SPLASH Student Research Competition!
[Jul 2018] Bowen defends his thesis, Predicting Type Signatures, and will start work at NEAR. Congrats!
[Jul 2018] Nick Collins joins the group. Welcome!
[Jul 2018] Charisee is starting at Galois. Congrats, and don't forget to visit!
[Jun 2018] Gordon, Charisee, John, and co-authors receive Best Paper Award at EuroVis 2018.
[May 2018] Cyrus, Ravi, and Matthew Hammer receive collaborative NSF Awards to support Hazel.
[Feb 2018] The EPiQC project, led by Fred Chong, receives NSF Expedition Award!

[Sep 2017] Mikaël Mayer, who just defended his thesis Interactive PbE at EPFL, will join us soon!
[Sep 2017] Cyrus Omar and Kartik Singhal join the group. Welcome!
[Jul 2017] John receives NSF Small Award to pursue High-Level Programming Models for GPUs.
[Mar 2017] Ravi receives NSF CAREER Award to pursue ideas that build on the Sketch-n-Sketch project.

[Sep 2016] Second edition of the Midwest PL Summit will take place at U of C on Friday, December 2.
[Aug 2016] Harry Xu visits and presents Marrying Generational GC and Region Techniques.
[Jun 2016] Peter-Michael Osera visits and presents Program Synthesis with Types.
[May 2016] John and Gordon Kindlmann receive an NSF Medium Award to support the Diderot project.
[May 2016] Derek Dreyer presents the RustBelt project as part of the Distinguished Lecture Series.
[Jan 2016] Arjun Guha visits and presents Programming Languages Meets Programmable Networks.

[Sep 2015] Welcome Brian Hempel, who joins our group as a new PhD student.
[Sep 2015] Izaak wins first place in the ICFP Student Research Competition!
[Jun 2015] Izaak Meckler ('15) submits his thesis describing Mote, a programming assistant for Haskell.
[May 2015] Éric Tanter visits and presents recent work on Gradual Certified Programming in Coq.
[Apr 2015] Stuart is teaching a new course called Functional Systems in Haskell.
[Mar 2015] Evan Czaplicki visits the department and drops by our new FP class taught in Elm.

[Sep 2014] Kavon Farvardin and Joseph Wingerter join our group as graduate students. Welcome!
[Aug 2014] John Reppy and Todd Dupont receive NSF Award for work on GPU programming models.
[Jul 2014] Ravi Chugh joins the department as Assistant Professor.
[Jun 2014] Aaron Turon ('07) wins ACM SIGPLAN Doctoral Dissertation Award. Congrats!

[2013] Professor Reppy selected to serve as the ICFP 2015 Program Chair.
[Sep 2013] Professor Reppy is back at UChicago full time, after having served as a rotating Program Director at the NSF in the CCF division for more than two years.
[Feb 2013] Data-Only Flattening for Nested Data Parallelism presented at at PPoPP in Shenzhen.

[Sep 2012] Lars Bergstrom presents Nested Data-Parallelism on the GPU at ICFP in Copenhagen.
[2012] Professor MacQueen retires.
[Jun 2012] Diderot: A Parallel DSL for Image Analysis and Visualization presented at PLDI in Beijing.