My Authors
Read all threads
Taylor Swift as important papers in programming languages, a thread.

"An Axiomatic Basis for Computer Programming," C.A.R. Hoare, 1969. Introduced Hoare Logic for proving program properties.…
"Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints," Cousot & Cousot, 1977. Introduced abstract interpretation for statically analyzing program properties. Now used by Airbus.…
"Design and synthesis of synchronization skeletons using branching time temporal logic," Clarke & Emerson, 1981. The first paper on model checking for program correctness. Led to the 2007 Turing Award.…
"Abstraction Mechanisms in CLU," Liskov et al, 1977. One of the most foundational papers in objected-oriented language design. Barbara Liskov won the Turing Award in 2009.…
"Proof-Carrying Code," Necula, 1997. The standard reference paper on the idea of compiling executables that carry verifiable proofs of their own properties. Won POPL's "Most Influential Paper" Award in 2007.…
Had to go for a bit; back now!

"Imperative functional programming," Simon Peyton Jones and Philip Wadler, 1993. Introduces monads for I/O in pure functional languages. POPL "Most Influential Paper" Award in 2003.…
"From System F to Typed Assembly Language," @GMorrisett et al, 1998. Introduced a typed assembly language + type-preserving translation. Being able to prove properties of assembly through types is huge! POPL "Most Influential Paper" in 2008.…
@GMorrisett "Formal Certification of a Compiler Back-end," Xavier Leroy (OCaml creator!), 2006. First paper to use interactive theorem-proving (with Coq) to program and formally verify a C compiler. Landmark paper in verification. POPL "Most Influential Paper" 2016.…
@GMorrisett "Towards a Mathematical Semantics for Computer Languages," Dana Scott and Christopher Strachey, 1971. A classic in modeling programs using math.…
@GMorrisett And we'll end on a major classic, "Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I," John McCarthy, 1960. The OG functional programming paper, introducing Lisp. Fortran is the only widely-used language older than Lisp!…
Missing some Tweet in this thread? You can try to force a refresh.

Keep Current with ⚡️ Jean Yang ⚡️

Profile picture

Stay in touch and get notified when new unrolls are available from this author!

Read all threads

This Thread may be Removed Anytime!

Twitter may remove this content at anytime, convert it as a PDF, save and print for later use!

Try unrolling a thread yourself!

how to unroll video

1) Follow Thread Reader App on Twitter so you can easily mention us!

2) Go to a Twitter thread (series of Tweets by the same owner) and mention us with a keyword "unroll" @threadreaderapp unroll

You can practice here first or read more on our help page!

Follow Us on Twitter!

Did Thread Reader help you today?

Support us! We are indie developers!

This site is made by just two indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member ($3.00/month or $30.00/year) and get exclusive features!

Become Premium

Too expensive? Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal Become our Patreon

Thank you for your support!