people.csail.mit.edu: 34 stories from 26 submitters

  1. 3
    Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing (2012) pdf compsci distributed people.csail.mit.edu
    vector_spaces avatar via vector_spaces 14 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 1
    Algorithms for Finding Long Paths pdf math people.csail.mit.edu
    teymour avatar via teymour 7 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 4
    PACMAN: Attacking ARM Pointer Authentication with Speculative Execution pdf security people.csail.mit.edu
    lattera avatar via lattera 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  4. 13
    On relational compilation compilers formalmethods plt people.csail.mit.edu
    brendan avatar via brendan 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  5. 18
    Design and Implementation of a 256-Core BrainFuck Computer pdf hardware programming people.csail.mit.edu
    Wryl avatar via Wryl 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 9
    Going from Bad to Worse: From Internet Voting to Blockchain Voting ☶ pdf cryptography security people.csail.mit.edu
    mjec avatar via mjec 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  7. 2
    Automated lost language deciphering using Phonetic Prior pdf ai people.csail.mit.edu
    inactive-user avatar via inactive-user 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  8. 8
    The SIEUFERD Project databases people.csail.mit.edu
    alexkorban avatar via alexkorban 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 21
    Introduction to Program Synthesis education plt people.csail.mit.edu
    zxtx avatar via zxtx 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 7
    Advanced Scheme: Some Naughty Bits education lisp people.csail.mit.edu
    zge avatar via zge 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 2
    Safecracker: Leaking Secrets through Compressed Caches pdf security people.csail.mit.edu
    fro avatar via fro 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 5
    Systems for Collective Human Curation of Online Discussion pdf culture web people.csail.mit.edu
    enkiv2 avatar via enkiv2 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 5
    Sound and Robust Solid Modeling via Exact Real Arithmetic and Continuity ☶ pdf formalmethods hardware plt people.csail.mit.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  14. 5
    Kendo: Efficient, Deterministic Multithreading in Software (2009) ☶ pdf c c++ compsci linux people.csail.mit.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 2
    Configuration Synthesis for Programmable Analog Devices with Arco pdf compilers hardware people.csail.mit.edu
    Forty-Bot avatar via Forty-Bot 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 3
    DAWG: A Defense Against Cache Timing Attacks in Speculative Execution Processors pdf security people.csail.mit.edu
    fro avatar via fro 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  17. 7
    Algebra and the Lambda Calculus math programming people.csail.mit.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 8
    Log(Graph): A Near-Optimal High-Performance Graph Representation ☶ pdf compsci performance programming people.csail.mit.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  19. 2
    Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement ☶ pdf programming people.csail.mit.edu
    fcbsd avatar via fcbsd 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 3
    Algorand: Scaling Byzantine Agreements for Cryptocurrencies (2017) ☶ pdf merkle-trees people.csail.mit.edu
    atondwal avatar via atondwal 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 6
    Speculative Buffer Overflows: Attacks and Defenses pdf security people.csail.mit.edu
    lattera avatar via lattera 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 5
    A Brief Introduction to Adversarial Examples ai people.csail.mit.edu
    mjn avatar via mjn 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 7
    The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors pdf scaling people.csail.mit.edu
    jtfmumm avatar via jtfmumm 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  24. 7
    Give in to Procrastination and Stop Prefetching pdf networking programming people.csail.mit.edu
    beyang avatar via beyang 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  25. 6
    Systematic Synthesis of Elliptic Curve Cryptography Implementations ☶ pdf assembly cryptography people.csail.mit.edu
    pushcx avatar via pushcx 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
Page 2 >>