http://lamport.azurewebsites.net/pubs/multiple-byte.pdf
http://lamport.azurewebsites.net/pubs/garbage.pdf
https://www.cs.colorado.edu/~jrblack/class/csci6268/s14/p761-thompson.pdf
http://web.ece.ucdavis.edu/~anhttran/files/download/caching/ISCA-2007-Qureshi-SetDuelingControl.pdf
https://www.cs.hmc.edu/~oneill/papers/Sieve-JFP.pdf
http://homedirs.ccs.neu.edu/wahl/Teaching/Software-Model-Checking/2016-Spring/Papers/termination.pdf
http://www.pcg-random.org/pdf/hmc-cs-2014-0905.pdf
http://www2.engr.arizona.edu/~ece506/readings/project-reading/6-cad/altera-alm.pdf
https://pdfs.semanticscholar.org/8b69/31a100b7fe0cf31f25e0bb3373a361ba9892.pdf
http://www.cs.cmu.edu/afs/cs.cmu.edu/academic/class/15213-f98/doc/dsa.pdf
http://www.ece.umd.edu/class/enee646.F2014/Tomasulo.PDF
http://lamport.azurewebsites.net/pubs/pubs.html#glitch
http://pp.ipd.kit.edu/uploads/publikationen/braun13cc.pdf
http://stanford.edu/~boyd/papers/scs.html
http://mtv.ece.ucsb.edu/courses/ece156B_14/randy_obdd86.pdf
https://sbel.wisc.edu/Courses/ME964/Literature/knuthProgramming1974.pdf
https://pdfs.semanticscholar.org/dd00/6b6383bd512c7645d8408fa6c97875c27318.pdf
https://www.cs.princeton.edu/~chazelle/pubs/FilteringSearch.pdf
http://www.cs.utexas.edu/~flame/pubs/GotoTOMS_revision.pdf
http://graphics.stanford.edu/papers/veach_thesis/
http://elthariel.free.fr/ebooks/icmc01-hardsync.pdf
https://keithp.com/~keithp/porterduff/p253-porter.pdf
http://users.cs.fiu.edu/~giri/teach/6405/s04/SarnakTarjanCACM86.pdf
http://www.cs.cmu.edu/~./cdm/pdf/Valmari12.pdf
http://cs.au.dk/~mis/dOvs/slides/46b-codegeneration-in-V8.pdf
https://pdfs.semanticscholar.org/dcb8/8719880e1f76ad71fb1c5aebb118e2ecfe71.pdf
https://pdfs.semanticscholar.org/bda3/442cc6b1d10e4b36b574af0a34a668492230.pdf
https://www.researchgate.net/publication/228797158_How_complex_systems_fail
http://www.diku.dk/OLD/undervisning/2005f/dat-os/skrifter/lockfree.pdf
https://www.microsoft.com/en-us/research/publication/state-problem-describing-solution/
With explanations:
https://fgiesen.wordpress.com/2017/08/12/papers-i-like-part-1/
https://fgiesen.wordpress.com/2017/08/14/papers-i-like-part-2/