News

  1. [July 2025] Ragged Blocks: Rendering Structured Text with Style to appear at UIST 2025.
  2. [Feb 2025] Code Style Sheets: CSS for Code to appear at OOPSLA 2025.
  3. [Feb 2025] Sam presented the code style sheets project at PLATEAU 2025.
  4. [Jan 2025] Our study with creative coding educators and toolmakers to appear at CHI 2025.
  5. [Dec 2024] After more than fifteen years of failure, finally posted a complementary CV.

  7. [Jul 2023] Started as director of undergrad studies for the CS department.
  8. [Jun 2023] Andrew McNutt is now a computer science doctor, post-doctor, and professor!
  9. [Jan 2023] Our initial study of editor features for creative coding accepted to CHI 2023.

  11. [Apr 2022] Bimodal Tangible Functional Programming accepted to ECOOP.
  12. [Mar 2022] Brian Hempel is now a computer science doctor!

  14. [Aug 2021] Delivered an ICFP keynote with record low attendance.
  15. [Mar 2021] Thank you, Ivan Reese, for hosting me on the Future of Coding podcast.

  17. [Dec 2020] Tenure! Many thanks to the team: Brian, Justin, Mikaël, Cyrus, Nick, and Andrew
  18. [Dec 2020] Ivy conditionally accepted to CHI 2021.
  19. [Nov 2020] Joined the Journal of Functional Programming editorial board!
  20. [Sep 2020] Sketch-n-Sketch is featured at Illinois Ignite.
  21. [Jul 2020] Invited to write a monograph on interactive programming and visualization!
  22. [Jun 2020] SYNT 2020 is shaping up to be the best-ever virtual Workshop on Synthesis.
  23. [May 2020] Sketching with Live Bidirectional Evaluation conditionally accepted to ICFP.
  24. [Apr 2020] Tiny Structure Editors for Low, Low Prices! accepted to VL/HCC.

  26. [Oct 2019] Brian presented Sketch-n-Sketch and received Best Demo Honorable Mention.
  27. [Jul 2019] Trailer for new Output-Directed Programming paper, to appear at UIST 2019.
  28. [Jun 2019] Mikaël presented A Bidirectional Krivine Evaluator at Bx.
  29. [Jan 2019] Cyrus presented Live Functional Programming at POPL.

  31. [Nov 2018] Mikaël presented Bidirectional Evaluation at OOPSLA.
  32. [Nov 2018] Great demos and attendance at the LIVE workshop. Thanks all!
  33. [Nov 2018] PLATEAU keynote on Direct Manipulation Programming in Sketch-n-Sketch.
  34. [Oct 2018] Live Functional Programming accepted to POPL 2019.
  35. [Sep 2018] Cyrus presented Hazel at Strange Loop.
  36. [Sep 2018] Presented Structured Editing for Elm* in Elm at elm-conf.
  37. [Sep 2018] We presented a Sketch-n-Sketch Tutorial at ICFP.
  38. [Sep 2018] Thanks to everyone who participated in the ICFP Student Research Competition.
  39. [Jun 2018] Bidirectional Evaluation conditionally accepted to OOPSLA 2018.
  40. [May 2018] Brian presented Deuce at ICSE 2018.
  41. [May 2018] Cyrus, Matthew Hammer, and I received NSF Awards for the Hazel project!

  43. [Dec 2017] Deuce: A Lightweight Interface for Structured Editing accepted to ICSE 2018.
  44. [Oct 2017] Presented Direct Manipulation Programming Systems at SPLASH-I.
  45. [Jun 2017] Sketch-n-Sketch in Programming by Examples article (ACM Queue and CACM).
  46. [Mar 2017] Received NSF CAREER Award to pursue Direct Manipulation Programming!

  48. [Dec 2016] Nearly 100 students and researchers attended the Midwest PL Summit.
  49. [Sep 2016] Sketch-n-Sketch demo at Strange Loop.
  50. [Sep 2016] Received NSF funding to support the Midwest PL Summit later this year.
  51. [Aug 2016] Trailer for Semi-Automated SVG Programming, to appear at UIST 2016.
  52. [Jun 2016] Sketch-n-Sketch presented by Brian at PLDI 2016.
  53. [Jun 2016] Participated on a panel at the Programming Languages Mentoring Workshop.
  54. [May 2016] Prodirect Manipulation presented at ICSE 2016.
  55. [Feb 2016] Sketch-n-Sketch appears on Elm page, Lambda the Ultimate, and Hacker News.
  56. [Jan 2016] Prodirect Manipulation papers to appear at ICSE's V2025 and PLDI 2016.
  57. [Jan 2016] Program Synthesis for Direct Manipulation invited talk at PADL 2016.

  59. [Dec 2015] Presented Program Synthesis for Direct Manipulation at Midwest PL.
  60. [Oct 2015] Received a College Research Fellows award to support undergraduate research.
  61. [Oct 2015] Invited to serve on PLDI 2016 External Review Committee.
  62. [Sep 2015] Interested in programmatic plus direct manipulation? Join our user study.
  63. [Aug 2015] Consider submitting a paper to TFP 2016 next spring.
  64. [Jul 2015] Released alpha version of Sketch-n-Sketch, a prodirect manipulation SVG editor.
  65. [Jun 2015] Invited to serve on POPL 2016 SRC and ECOOP 2016 Program Committees.
  66. [May 2015] Honored to receive a Neubauer Faculty Fellowship for undergraduate teaching!
  67. [Apr 2015] Presented IsoLate at ESOP.
  68. [Jan 2015] IsoLate camera-ready sent to ESOP 2015.
  69. [Jan 2015] Using Elm in a new Functional Programming course.

  71. [Dec 2014] Invited to serve on PLDI 2015 Student Research Competition PC.
  72. [Oct 2014] Invited to serve on the STOP 2015 PC.
  73. [Sep 2014] Done Building a New Chicago PL Page.
  74. [Sep 2014] Invited to serve on the OOPSLA 2015 ERC.
  75. [Jul 2014] Interviewed for an article on PL Enthusiast.
  76. [Jun 2014] Spoke about Late Types at Dagstuhl.
  77. [May 2014] Spoke at Pint of Science US in San Diego.
  78. [May 2014] Excited to join the faculty at The University of Chicago this fall!

  80. [Dec 2013] Invited to serve on PLDI 2014 Artifact Evaluation Committee.
  81. [Sep 2013] Invited to serve on OOPSLA 2014 and POPL 2015 PCs.
  82. [Sep 2013] Presented A Fix for Dynamic Scope at ML.
  83. [Sep 2013] Defended my dissertation!
  84. [Aug 2013] Invited to serve on PLDI 2014 ERC.
  85. [May 2013] Consider submitting a paper to FOOL 2013.
  86. [May 2013] Presented Dependent JavaScript at HCSS.

  88. [Oct 2012] Presented Dependent JavaScript at OOPSLA.
  89. [Sep 2012] Heading to Dagstuhl for Web Application Security.
  90. [Jun 2012] Presented Dependent JavaScript at STOP and JSTools.
  91. [Jan 2012] Presented Nested Refinements at POPL.
  92. [Jan 2012] Started an internship at Mozilla Research in the Bay Area.

  94. [Dec 2011] Heading to Dagstuhl for Foundations of Scripting Languages.
  95. [Nov 2011] Thesis proposal: "Nested Refinement Types for Dynamic Languages".