Sumit Tripathi

Profile which I follow

Professors

Professional

Guglielmo Iozzia

Reference Copied from Other

Usefull Electronic References Original Location Dr. Colin S. Gordon blog Link

Programming Language Theory & Program Analysis (including Automatation)

Mathematical Logic, Set Theory, Model Theory, Topology

A Modern Formal Logic Primer
Natural Logic (pdf)
Algebraic Topology
A Concise Course in Algebraic Topology
Model Theory
Set Theory
An Introduction to Substructural Logics
Mathematical Modal Logic: A View of its Evolution
Normalization, Cut-Elimination, and the Theory of Proofs
Logics of Time and Computation
Mathematics of Modality
Modal Logic and Process Algebra: A Bisimulation Perspective
Lectures on Linear Logic
Dynamics, Polarity, and Quantification
Non-Well-Founded Sets
Logic in Action
Varieties of Lattices
Tools and Techniques in Modal Logic (the page is in German; the download link is the actual PDF)
*An Invitation to General Algebra and Universal Constructions
A Concise Course in Algebraic Topology (near the bottom)

Software Testing: From Theory to Practice

Site Reliability Engineering
The Site Reliability Workbook
The Architecture of Open Source Applications project books:
Software Testing: From Theory to Practice (NOTE: Often does not load for me)

Language Implementation

General CS-Related Mathematics (including Statistics)

Computational Linguistics & Natural Language Processing

Education

Topics in Parallel and Distributed Computing: Introducing Concurrency in Undergraduate Courses (preprint)

Language-Focused Introductions to Computer Science

Specific Programming Languages

While most of the books on this page are focused on more theoretical/foundational topics, sometimes you just need to learn a programming language or look at some reference on a particular language feature.

Scala
- Programming in Scala (first edition)
- Creative Scala
OCaml
- Real World OCaml
- Developing Applications With Objective Caml
Haskell
- *Real World Haskell
- Parallel and Concurrent Programming in Haskell (on O’Reilly Safari, but can be read without account or subscription)
- Learn You A Haskell
- Developing Web Applications with Haskell and Yesod
Standard ML
- ML For the Working Programmer, 2nd Edition
Scheme and LISP
- Practical Common Lisp (and PCL in Clojure)
- On Lisp (and one two three ports to Clojure)
Erlang
- Learn You Some Erlang
JavaScript
- JavaScript Allonge
Go
- Go Bootcamp
Java
- Think Java
Python
- Think Python
- Test-Driven Web Development with Python
Rust
- The Rust Programming Language

Introductions to Programming and/or Computer Science

Some of the books listed in other categories are appropriate for someone looking to get started with programming and/or computer science. I’ve duplicated those links in this section so they’re easier to find if that’s what you need.

Useful Tools

Concise Overview Paperss

Abstract Interpretation (Classic): Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. Cousot and Cousot, POPL’77.
Abstract Interpretation (Semantic): Abstracting Abstract Machines. Van Horn and Might, ICFP’10.
Denotational Semantics: The Denotational Semantics of Programming Languages. Tennent, CACM 19(8), 1976.
Program Synthesis: Dimensions in Program Synthesis. Gulwani, PPDP’10.
Type Theory: Introduction to Type Theory. Herman Geuvers, notes from lecture given at Language Engineering and Rigorous
Software Development run of ALFA summer school, 2009.

Paper Reading Lists, Courses, and Miscellaneous

Matt Might’s Grad Student Recommendations
Various Books on Category Theory
Benjamin Pierce’s Great Works in Programming Languages collection
Karl Crary’s Classic Papers in Programming Languages and Logic course
Patrick Cousot’s Abstract Interpretation course (readings section)
Matthias Felleisen’s History of Programming Languages course readings
Viktor Vafeiadis and Derek Dreyer’s course on Concurrent Program Logics
Frank Pfenning’s course on Linear Logic
Michael Shulman’s seminar on Homotopy Type Theory
Bob Harper’s course (with videos) on Homotopy Type Theory

Links

TBD Sample

Github URL

ML

Misc