mgreenblog

posts by category about this blog

Posts in the category "Papers"

  1. Answer set programming (ASP) is the powerhouse technology you've never heard of
    I explain a very cool programming paradigm, by way of a POPL paper with Harvard colleagues.
  2. How to cook a KAT for your pet theory
    I explain our (award-winning!) PLDI 2022 paper. Also, we meet a very good dog.
  3. Summarizing performance numbers
    An exercise in honest reporting of some very nice results.
  4. Bridging the gradual typing gap at OOPSLA 2021
    I did a twoopsla.
  5. SIGPLAN Blog: Making PL Ideas Accessible
    A proposal (never realized) for popular presentations of PL ideas.
  6. Formulog: ML + Datalog + SMT
    I explain how our OOPSLA 2020 paper can help you prototype static analyses.
  7. Flapjax on PL Perspectives
    Our work is featured on the SIGPLAN blog.
  8. Collapsible Contracts: Space-Efficient Contracts in Racket
    Someone implemented my POPL 2015/TFP 2016 work.
  9. New paper: Word expansion supports POSIX shell interactivity
    What if what's weird about the shell is what makes it an effective tool?
  10. Space-Efficient Manifest Contracts at POPL 15
    My first sole-author paper, presented in Mumbai.
  11. Contracts: first-order interlopers in a higher-order world
    Runtime checking---of types or more complex properties---can only be understood by breaking things down to the fundamental checks being done.
  12. A Balance of Power: Expressive, Analyzable Controller Programming
    PL meets networking meets the very stench of Hades.
  13. PhD thesis: Manifest Contracts
    I am become doctor, lecturer of students.
  14. ESOP 2011 Papers
    I did a double.
  15. Contracts Made Manifest: final version
    The POPL 2010 camera ready.
  16. Flapjax: A Programming Language for Ajax Applications
    Our work finally appears in a conference---OOPSLA 2009.
See all categories