Favorite Papers

Program Synthesis and Repair

Language Engineering

Misc PL

  • On Understanding Data Abstraction, Revisited by William Cook
  • The Power of Interoperability: Why Objects Are Inevitable by Jonathan Aldrich
  • Type-based Access Control in Data-Centric Systems by Luís Caires et al
  • A Few Billion Lines of Code Later: Using Static Analysis to Find Bugs in the Real World by Dawson Engler et al
  • Language Engineering Reading List

    These all contain ideas I have found insightful for language engineering