Search
 
   

111 results for "domain:mit.edu"

  1. 2
    Compiler Verification Meets Cross-Language Linking via Data Abstraction (2014) ☶ compilers formalmethods plt dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 35 hours ago | cached | no comments
  2. 10
    The Sound of Pixels audio video ai sound-of-pixels.csail.mit.edu
    pushcx avatar via pushcx 28 days ago | cached | no comments
  3. 3
    Algorand: Scaling Byzantine Agreements for Cryptocurrencies (2017) ☶ pdf cryptocurrencies people.csail.mit.edu
    atondwal avatar via atondwal 1 month ago | cached | no comments
  4. 3
    SuSLik - program synthesis with separation logic plt release comcom.csail.mit.edu
    hwayne avatar via hwayne 1 month ago | cached | 1 comment
  5. 15
    Engineering a Safer World ☶ pdf book practices testing mitpress.mit.edu
    hwayne avatar via hwayne 1 month ago | cached | 2 comments
  6. 6
    Man-Computer Symbiosis ai philosophy groups.csail.mit.edu
    sin avatar via sin 1 month ago | cached | no comments
  7. 6
    Speculative Buffer Overflows: Attacks and Defenses pdf security people.csail.mit.edu
    lattera avatar via lattera 1 month ago | cached | no comments
  8. 5
    A Brief Introduction to Adversarial Examples ai people.csail.mit.edu
    mjn avatar via mjn 1 month ago | cached | no comments
  9. 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
  10. 7
    Through-Wall Human Pose Estimation Using Radio Signals ai rfpose.csail.mit.edu
    unbalancedparentheses avatar via unbalancedparentheses 2 months ago | cached | no comments
  11. 2
    Mechanisms for Reducing Computer-Based Harassment, Improper Use, and Incivility at MIT ☶ culture historical practices mit.edu
    calvin avatar via calvin 4 months ago | cached | 1 comment
  12. 3
    Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior (2013) pdf c pdos.csail.mit.edu
    pstef avatar via pstef 4 months ago | cached | no comments
  13. 3
    Towards a Programmer's Apprentice (Again) (2015) ☶ pdf ai programming groups.csail.mit.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  14. 1
    A new way to automatically build road maps from aerial images ai news.mit.edu
    mempko avatar via mempko 4 months ago | cached | 2 comments
  15. 7
    Automatic Protoboard Layout from Circuit Schematics (2013) ☶ compsci hardware dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  16. 4
    An Interpreter for a Novice-Oriented Programming Language with Runtime Macros (2017) ☶ compilers education plt dspace.mit.edu
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  17. 2
    If the Beatles were programmers (2000) ☶ historical satire web.archive.org
    zge avatar via zge 5 months ago | cached | no comments
  18. 4
    Computational Complexity of Air Travel Planning pdf slides scaling ai.mit.edu
    itamarst avatar via itamarst 5 months ago | cached | 1 comment
  19. 7
    The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors pdf scaling people.csail.mit.edu
    jtfmumm avatar via jtfmumm 5 months ago | cached | 1 comment
  20. 3
    Analog vs Digital: Extrapolating from Electronics to Neurobiology (1998) ☶ pdf hardware programming science csbi.mit.edu
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
Page: 1 2 3 4 5