notes

PL groups at universities

• Make a portfolio website
• Double my list
• Email some researchers (a month before applying)
• Matt Might’s HOWTO: Get into grad school for science, engineering, math and computer science
  • Advice on GPA
• Letter of recommendation
  • Shriram Krishnamurthi’s advice, which Kimball follows
• A timeline of when to apply:
  • March
    • List graduate programs to apply for
    • Sign up and begin studying for necessary standardized tests
  • April
    • Continue studying
    • Begin asking for recommendation letters
  • May
    • Take any standardized tests for the first time
  • June
    • Follow up on recommendation letters
    • Look into potential sources of funding (unnecessary?)
  • July
    • Request transcripts
    • Retake failed standardized exams, if needed
  • August
    • Begin writing statement of purpose and personal statement
  • September
    • Edit personal statement and keep in touch with your recommenders
  • October
    • Retake any final exams you’re not happy with
  • November
    • Perfect statement of purpose
  • December
    • Send final reminders to recommenders
    • Finish applications
  • January
    • Complete FAFSA, if I need loans
  • Late February–April
    • Hear back from graduate schools and go for visits
    • Plan finances and apply for loans if necessary
    • Pick a school

HPI - Universität Potsdam

• Master’s degree programs
• Application
• Master’s application
• Software Systems Engineering courses
  • Nothing interesting?
• Lecture period:
  • Winter semester 2022/23: 10/17/2022 – 02/10/2023 (Source: Stundenplan)
• Deadlines
  • Summer semester: 1 December
  • Winter semester: 1 June
• 25 places for the Master’s program Software Systems Engineering
• Known for
  • GraalVM: Polyglot Code Finder paper

TU Berlin

• Semesters:
  • Summer semester 2024: 1 Apr 2024 – 30 Sep 2024
  • Winter semester 2024/2025: 1 Oct 2024 – 31 Mar 2025
  • Summer semester 2025: 1 Apr 2025 – 30 Sep 2025
• Deadlines:
  • The first step in the enrollment process, registration in their portal is possible during:
    • Summer semester: 15 Jan – 31 Aug (which year?)
    • Winter semester: 15 Jul – 28 Feb (which year?)

University of Utah - Computer Science

• Deadlines
  • 15 December 2022 for Fall 2023
• Professors
  • John Regehr [dblp]
    • Alive
      • “Provably Correct Peephole Optimizations with Alive” (Nuno P. Lopes, David Menendez, Santosh Nagarakatte, and John Regehr, 2015)
    • Alive2 [code]
      • “Alive2 Part 2: Tracking miscompilations in LLVM using its own unit tests” (Nuno P. Lopes and John Regehr, 2020) blog post
      • See mention in ae-graphs
    • Souper [code]: super-optimizer for LLVM IR using SMT (Z3)
      • Related: “Super-optimizing LLVM IR” (Duncan Sands, 2011)
      • “Let’s Work on an LLVM Superoptimizer” (2014) blog post
      • “Early Superoptimizer Results” and “Souper Results 2” (2014) blog posts
      • “A Few Synthesizing Superoptimizer Results” (2015)
    • “Minotaur: A SIMD-Oriented Synthesizing Superoptimizer” (Zhengyang Liu, Stefan Mada, and John Regehr, 2023): super-optimizer for SIMD in LLVM IR
    • On why he’s in academia (2023) [thread]:

      a big reason I do compiler work from academia instead of industry is that virtually everywhere, compilers are a cost center, not a profit center

      in an odd way, research is a profit center at universities, but as it turns out this isn’t that helpful

  • Matthew Flatt
    • “Binding as Sets of Scopes: Notes on a new model of macro expansion for Racket” (Matthew Flatt, 2016)
  • Pavel Panchekha
  • Mary Hall
    • Has MLIR talk in her files:
      • https://users.cs.utah.edu/~mhall/mlir4hpc/pienaar-MLIR-Tutorial.pdf

University of Illinois at Urbana–Champaign

• Requirements
  • Minimum 3.0 GPA for last two years of undergraduate
• Deadlines
  • Fall for Ph.D. or M.S. in Computer Science:
    • Application deadline: December 15
    • Decision deadline: March 15
• Professors
  • Vikram S. Adve
• Known for
  • LLVM

Max Planck Institute for Software Systems (MPI SWS)

• CS Rankings #1
• Location: Saarbrücken, Saarland, DE
• Deadlines
  • December 31
  • March 31
  • June 30
  • September 30
• Professors
  • Derek Dreyer
    • Check out Coq repos and see if I can change the code a bit
  • Joël Ouaknine
    • Termination of linear loops over the integers
• Groups
  • Programming Languages and Verification

ETH Zürich

• CS Rankings #3
• For Doctorate, Master’s is required at time of admission
• Deadlines
  • International Bachelor’s degrees: 1 November - 15 December 2022
• Ralf Jung
  • Rustlantis
    • “Semantic fuzzing of the Rust compiler and interpreter” Master’s Thesis by Andy Wang, advised by Ralf Jung (2023) [discussion]

Institute of Science and Technology Austria (ISTA)

• CS Rankings #4
• Location: Klosterneuburg, Niederösterreich, AT (by Wien)
• Website offline due to cyberattack

University of Washington

• University of Washington Programming Languages and Software Engineering: egg, Herbie, and Ruler
  • Zachary Tatlock:

    My expertise is rooted in formal verification, especially of compilers. As my students develop their own research vision, we branch out across diverse domains.

• Applications

UC Berkeley

• Electrical Engineering and Computer Science
  • graduate programs
  • fees
  • Max Willsey
    • CS294-260: Declarative Program Analysis and Optimization (includes e-graphs, egglog, Datalog, Flix, SMT, and Halide)

Cornell

• Adrian Sampson

MIT

https://css.csail.mit.edu/stack/

Northeastern

• CS 4410/6410: Compiler Design
• Northeastern University College of Computer and Information Science
  • Matthias Felleisen

St Andrews

• Edwin Brady
  • Contact
  • Selected publications:
    • “Ivor, a Proof Engine” (2006)
      • Namesake: Ivor the Engine
    • “A Verified Staged Interpreter is a Verified Compiler: Multi-stage Programming with Dependent Types” (2006)
    • “Epic—A Library for Generating Compilers” (2011)
    • “Idris—Systems Programming Meets Full Dependent Types” (2011)
      • Did Idris achieve the goal of bridging systems programming and dependent types as claimed by the title?
    • “Programming in Idris: a Tutorial” (2012)
  • “From Whitespace to Idris” interview (2021) [video]

Unsorted

• University of Cambridge
  • Neel Krishnaswami
    • “Integrating Dependent and Linear Types” (Neelakantan R. Krishnaswami, Cecilia Pradic, and Nick Benton, POPL 2015)
• MPI-SWS
  • “A Kripke Logical Relation Between ML and Assembly” (Chung-Kil Hur and Derek Dreyer, 2011)
• Shriram Krishnamurthi
• University of California, San Diego
  • Nadia Polikarpova
• Harvard
  • Nada Amin [GitHub]
    • Collapsing Towers
• Purdue
  • Tiark Rompf
    • Collapsing Towers
• “Guided Equality Saturation” authors: Thomas Kœhler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, and Michel Steuwer

This site is open source. Improve this page.