461 stories from 148 submitters
  1. 11
    Formal Methods: From Academia to Industrial Practice pdf formalmethods practices arxiv.org
    hwayne avatar via hwayne 3 months ago | cached | no comments
  2. 27
    Featherweight Go go plt arxiv.org
    ceh avatar via ceh 3 months ago | cached | 1 comment
  3. 4
    Retrofitting Fine Grain Isolation in the Firefox Renderer pdf browsers security arxiv.org
    fro avatar via fro 3 months ago | cached | no comments
  4. 1
    Specifying and Model Checking Workflows of Single Page Applications with TLA+ pdf formalmethods web arxiv.org
    hwayne avatar via hwayne 3 months ago | cached | no comments
  5. 3
    BaseSAFE: Baseband SAnitized Fuzzing through Emulation security testing arxiv.org
    sanxiyn avatar via sanxiyn 3 months ago | cached | no comments
  6. 3
    Backstabber's Knife Collection: A Review of Open Source Software Supply Chain Attacks pdf security arxiv.org
    friendlysock avatar via friendlysock 4 months ago | cached | no comments
  7. 1
    [Story removed by original submitter]
    vrthra avatar via vrthra 4 months ago | cached
  8. 2
    Insignificant Choice Polynomial Time compsci arxiv.org
    Corbin avatar via Corbin 4 months ago | cached | no comments
  9. 1
    Preventing Time Synchronization in NTP's Broadcast Mode networking security arxiv.org
    hernanat avatar via hernanat 4 months ago | cached | no comments
  10. 3
    Bypassing memory safety mechanisms through speculative control flow hijacks pdf security arxiv.org
    fro avatar via fro 4 months ago | cached | no comments
  11. 14
    Retrofitting Parallelism onto OCaml pdf ml arxiv.org
    hwayne avatar via hwayne 4 months ago | cached | 4 comments
  12. 7
    Paxos vs Raft: Have we reached consensus on distributed consensus? ☶ pdf distributed arxiv.org
    calvin avatar via calvin 4 months ago | cached | 1 comment
  13. 6
    Learning to Prove Theorems via Interacting with Proof Assistants ai math arxiv.org
    RiderOfGiraffes avatar via RiderOfGiraffes 4 months ago | cached | no comments
  14. 5
    LLHD: A Multi-level Intermediate Representation for Hardware Description Languages pdf compilers hardware arxiv.org
    hovind avatar via hovind 5 months ago | cached | no comments
  15. 14
    Memory-Safety Challenge Considered Solved? An Empirical Study with All Rust CVEs pdf rust security arxiv.org
    animatronic avatar via animatronic 6 months ago | cached | no comments
  16. 4
    Neuroevolution of Self-Interpretable Agents ☶ pdf ai arxiv.org
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  17. 3
    DangKiller: Eliminating Dangling Pointers Efficiently via Implicit Identifier pdf security arxiv.org
    fro avatar via fro 6 months ago | cached | no comments
  18. 4
    Knowledge Graphs ai databases education arxiv.org
    arew avatar via arew 6 months ago | cached | no comments
  19. 3
    Forensic analysis of the Windows telemetry for diagnostics pdf privacy windows arxiv.org
    calvin avatar via calvin 6 months ago | cached | no comments
  20. 2
    ShadowGuard: Optimizing the Policy and Mechanism of Shadow Stack Instrumentation pdf security arxiv.org
    fro avatar via fro 6 months ago | cached | no comments
  21. 3
    MLIR: A Compiler Infrastructure for the End of Moore’s Law ☶ pdf compilers arxiv.org
    calvin avatar via calvin 6 months ago | cached | no comments
  22. 9
    A Systematic Impact Study for Fuzzer-Found Compiler Bugs pdf compilers testing arxiv.org
    vrthra avatar via vrthra 6 months ago | cached | 6 comments
  23. 21
    Toward Semantic Foundations for Program Editors pdf compsci arxiv.org
    pushcx avatar via pushcx 7 months ago | cached | 4 comments
  24. 4
    Building Reliable Cloud Services Using P# formalmethods arxiv.org
    ceh avatar via ceh 7 months ago | cached | no comments
  25. 4
    Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator pdf math arxiv.org
    355E3B avatar via 355E3B 7 months ago | cached | 2 comments
<< Page 1 | Page 3 >>