Paper Ideas

If you are interested in talking about a paper, please let us know by modifying this file (/papers_ideas.md) and opening a pull request.

1. Distributed Systems
   • Time, Clocks and the Ordering of Events in a Distributed System
   • Paxos, Paxos simple
   • Raft
   • Bitcoin
2. Linear logic, ownership types, and affine types
   • Linear Haskell
   • Ownership Type: A Survey
   • Ownership Types in Rust
3. Formal Verification
   • Compcert
   • seL4
   • Forward and Backward Simulations
4. Symbolic Verification of Cryptographic Protocols
5. Property-based Testing
   • Property-Based Testing as Probabilistic Programming
6. Compilers
   • The MLIR Paper - Abhiroop volunteers to present this, but maybe not at the earliest meetups
   • From System F to Typed Assembly Language
7. Security (Attacks)
   • Meltdown / Spectre
   • ASLR on the Line: Practical Cache Attacks on the MMU
   • Return to libc
   • Rowhammer
   • Reflections on Trusting Trust - Abhiroop volunteers to present this
8. Databases
9. Concurrency Theory
   • Linearizability
   • Sequential Consistency versus Linearizability
10. Machine Learning
    • The Simple Essence of Automatic Differentiation
    • Attention Is All You Need (The Transformers paper)
    • Automatic Differentiation in Machine Learning: A Survey
11. Programming Language Theory
    • Definitional Interpreters for Higher-Order Programming Languages
    • Propositions as Types