Stories tagged as pdf – Link to a PDF document
  1. 2
    High-Coverage Hint Generation for Massive Courses ☶ pdf video compsci formalmethods lisp programming people.eecs.berkeley.edu
    aminb avatar via aminb 2 months ago | cached | 1 comment
  2. 7
    Scaling up Superoptimization (2016) ☶ pdf compilers performance people.eecs.berkeley.edu
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 3 comments
  3. 11
    Deceived by design pdf privacy fil.forbrukerradet.no
    fcbsd avatar via fcbsd 2 months ago | cached | no comments
  4. 9
    Software Defined Radio for Engineers ☶ pdf book hardware analog.com
    zpojqwfejwfhiunz avatar via zpojqwfejwfhiunz 2 months ago | cached | no comments
  5. 1
    Instruction Selection: Principles, Methods, and Applications (2016) pdf assembly book compilers kth.diva-portal.org
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 1 comment
  6. 28
    PoC || GTFO 18 pdf reversing security alchemistowl.org
    gsg avatar via gsg 2 months ago | cached | 1 comment
  7. 4
    Inside the Windows 95 File System (1997) pdf historical programming windows tenox.net
    calvin avatar via calvin 2 months ago | cached | no comments
  8. 5
    The Past, Present, and Future(s): Verifying Temporal Software Properties ☶ pdf formalmethods heidyk.com
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 1 comment
  9. 3
    A Critique of IBM's Computer Science Research (1980) pdf historical practices rant jimgray.azurewebsites.net
    calvin avatar via calvin 2 months ago | cached | no comments
  10. 9
    Programming Paradigms and Beyond ☶ pdf education cs.brown.edu
    GeoffWozniak avatar via GeoffWozniak 2 months ago | cached | no comments
  11. 6
    A Portable Compiler for the Language C (1975) pdf c compilers historical publications.csail.mit.edu
    calvin avatar via calvin 2 months ago | cached | 2 comments
  12. 4
    Detecting Kernel Memory Disclosure with x86 Emulation and Taint Tracking pdf security j00ru.vexillium.org
    fro avatar via fro 2 months ago | cached | no comments
  13. 2
    Finding Missed Compiler Optimizations by Differential Testing ☶ pdf c compilers performance complang.tuwien.ac.at
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 4 comments
  14. 2
    Equivalence Testing for JavaScript Transformations ☶ pdf slides javascript testing people.mpi-sws.org
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  15. 2
    Colour Space Conversions pdf graphics math poynton.ca
    friendlysock avatar via friendlysock 2 months ago | cached | no comments
  16. 13
    SAT/SMT by Example pdf book formalmethods yurichev.com
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | 1 comment
  17. 10
    Comparing Languages for Engineering Server Software: Erlang, Go, and Scala with Akka pdf erlang go scala dcs.gla.ac.uk
    joaolucasl avatar via joaolucasl 2 months ago | cached | 2 comments
  18. 3
    Smashing the Stack Protector for Fun and Profit pdf security dke.maastrichtuniversity.nl
    fro avatar via fro 2 months ago | cached | 1 comment
  19. 1
    BoundShield: Comprehensive Mitigation for Memory Disclosure Attacks via Secret Region Isolation pdf security ieeexplore.ieee.org
    fro avatar via fro 2 months ago | cached | no comments
  20. 10
    Iverson's Algebra: An Algorithmic Treatment ☶ pdf apl historical math jsoftware.com
    lorddimwit avatar via lorddimwit 2 months ago | cached | no comments
  21. 8
    Inside the Mac OS X Kernel (2007) pdf slides freebsd historical mac events.ccc.de
    mjturner avatar via mjturner 2 months ago | cached | 3 comments
  22. 2
    Synthesizing Data Structure Transformations from Input-Output Examples pdf compsci cs.rice.edu
    pushcx avatar via pushcx 2 months ago | cached | no comments
  23. 2
    Symbolic Computation with C++ pdf slides c++ math www-zeuthen.desy.de
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  24. 7
    Backdooring your server through its BMC: the HPE iLO4 case pdf slides hardware security airbus-seclab.github.io
    calvin avatar via calvin 2 months ago | cached | no comments
  25. 3
    Translating Clojure to ACL2 Code for Verification (2016) ☶ pdf clojure formalmethods ou.edu
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
<< Page 7 | Page 9 >>