Hacker News
- Gemini: Fast Failure Recovery in Distributed Training with In-Memory Checkpoints [pdf] https://www.cs.rice.edu/~eugeneng/papers/SOSP23.pdf 13 comments
- A Gentle Introduction to Multi-Stage Programming [pdf] http://www.cs.rice.edu/~taha/publications/journal/dspg04a.pdf 7 comments
- Artificial Intelligence and Technological Unemployment [pdf] http://www.cs.rice.edu/~vardi/papers/aaai15-tutorial.pdf 2 comments
Lobsters
- Macros as Multi-Stage Computations - Type-Safe, Generative, Binding Macros in MacroML (2001) http://www.cs.rice.edu/~taha/publications/conference/icfp01a.pdf 4 comments compilers , compsci , formalmethods , ml , pdf
- Question about book: Reasoning about Knowledge https://www.cs.rice.edu/~vardi/papers/book.pdf 2 comments compsci
- On The Unreasonable Effectiveness of SAT Solvers [PDF] https://www.cs.rice.edu/~vardi/papers/SATSolvers21.pdf 5 comments reverseengineering
- A Gentle Introduction to Multi-stage Programming [PDF] http://www.cs.rice.edu/~taha/publications/journal/dspg04a.pdf 5 comments compsci
- Metaprogramming in Template Haskell, MetaOCaml, and C++ [PDF] http://www.cs.rice.edu/~taha/publications/journal/dspg04b.pdf 3 comments programming
Lambda the Ultimate
- CFP: Off-the-Beaten-Track (OBT) workshop at POPL 2015 http://www.cs.rice.edu/~sc40/obt15/ 1 comment LtU Forum
- Branching Time vs. Linear Time: Semantical Perspective http://www.cs.rice.edu/~vardi/papers/atva0711.pdf 26 comments Parallel/Distributed , Semantics
- Concoqtion: Mixing Indexed Types and Hindley-Milner Type Inference http://www.cs.rice.edu/~jgs3847/pubs/pubs/2007/pasalic07:_concoq.pdf 3 comments Functional , Implementation , Logic/Declarative , Semantics , Type Theory
- Implicitly Heterogeneous Multi-stage Programming http://www.cs.rice.edu/~taha/publications/preprints/2005-04-16.pdf 1 comment Meta-Programming
- Relating FFTW and Split-Radix http://www.cs.rice.edu/~taha/publications/conference/icess04.pdf 7 comments Meta-Programming , Software Engineering
- On the Unusual Effectiveness of Logic in Computer Science http://www.cs.rice.edu/~vardi/logic/ 19 comments Theory
- A Methodology for Generating Verified Combinatorial Circuits http://www.cs.rice.edu/~taha/publications/conference/emsoft04.pdf 3 comments Software Engineering
- Practical Aspects of Multi-Stage Programming http://www.cs.rice.edu/~taha/publications/preprints/2004-02-16.pdf 4 comments implementation
- Environment Classifiers http://www.cs.rice.edu/~taha/publications/conference/popl03.pdf 3 comments theory
- DSL Implementation in MetaOCaml, Template Haskell, and C++ http://www.cs.rice.edu/~taha/publications/preprints/2003-12-01.pdf 5 comments DSL
- A syntactic approach to type soundness http://www.cs.rice.edu/~taha/teaching/02F/511/papers/WF.ps 0 comments theory
- Macros as Multi-Stage Computations http://www.cs.rice.edu/~taha/publications/preprints/icfp01-pre.pdf 0 comments Software-Eng
- Modeling an Algebraic Stepper http://www.cs.rice.edu/CS/PLT/Publications/esop2001-cff.pdf 3 comments theory
- H-M type inference and imperative language features http://www.cs.rice.edu/CS/PLT/Publications/lasc95-w.ps.gz 0 comments theory
- Contracts Reading List http://www.cs.rice.edu/~robby/contract-reading-list/ 2 comments Software-Eng
- Next Generation Programming Language Research http://www.cs.rice.edu/~matthias/Presentations/next.ppt 3 comments Software-Eng
- On the Unusual Effectiveness of Logic in Computer Science http://www.cs.rice.edu/~vardi/papers/aaas99.jsl.ps.gz 0 comments theory
- SILK - A Playful Blend of Scheme and Java http://www.cs.rice.edu/~matthias/Scheme2000/anderson.ps 0 comments fun
- Intro to call-with-current-continuation http://www.cs.rice.edu/~matthias/TSS/tss-sample.ps 2 comments functional
- Soft Typing http://www.cs.rice.edu/CS/PLT/Publications/cs96-cf.ps.gz 0 comments theory
- The Why of Y http://www.cs.rice.edu/~matthias/TLS/tls-sample.ps 4 comments