414 stories from 140 submitters
  1. 14
    Toward Semantic Foundations for Program Editors pdf compsci arxiv.org
    pushcx avatar via pushcx 21 hours ago | cached | 3 comments
  2. 4
    Building Reliable Cloud Services Using P# formalmethods arxiv.org
    ceh avatar via ceh 4 days ago | cached | no comments
  3. 4
    Demystifying Differentiable Programming: Shift/Reset the Penultimate Backpropagator pdf math arxiv.org
    355E3B avatar via 355E3B 6 days ago | cached | 2 comments
  4. 1
    Survey of Automated Vulnerability Detection and Exploit Generation Techniques in C.R.S.'s (2018) ☶ pdf ai c c++ formalmethods security testing arxiv.org
    nickpsecurity avatar via nickpsecurity 15 days ago | cached | no comments
  5. 1
    PCGRL: Procedural Content Generation via Reinforcement Learning pdf ai games arxiv.org
    friendlysock avatar via friendlysock 25 days ago | cached | no comments
  6. 3
    Scala Implicits are Everywhere: A large-scale study of the use of Implicits in the wild (2019) scala arxiv.org
    dbremner avatar via dbremner 1 month ago | cached | 1 comment
  7. 4
    A non-symmetric divide-and-conquer recursive formula for the convolution of polynomials and power series pdf compsci math arxiv.org
    baruchel avatar authored by baruchel 1 month ago | cached | no comments
  8. 4
    Data Abstraction and Relational Program Logic ☶ pdf formalmethods programming arxiv.org
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | no comments
  9. 6
    NeuroVectorizer: End-to-End Vectorization with Deep Reinforcement Learning ai compilers arxiv.org
    sanxiyn avatar via sanxiyn 1 month ago | cached | 1 comment
  10. 13
    The TLA+ Toolbox formalmethods arxiv.org
    ceh avatar via ceh 1 month ago | cached | no comments
  11. 3
    Building Fast Fuzzers testing arxiv.org
    ceh avatar via ceh 1 month ago | cached | no comments
  12. 9
    A Simple Proof of the Quadratic Formula pdf math arxiv.org
    klingtnet avatar via klingtnet 2 months ago | cached | no comments
  13. 3
    Differentially Testing Soundness and Precision of Program Analyzers formalmethods arxiv.org
    sanxiyn avatar via sanxiyn 3 months ago | cached | no comments
  14. 11
    Eigenvectors from Eigenvalues ☶ pdf math arxiv.org
    jakob avatar via jakob 3 months ago | cached | 2 comments
  15. 3
    Survey on Combinatorial Register Allocation and Instruction Scheduling pdf compilers arxiv.org
    eatonphil avatar via eatonphil 3 months ago | cached | no comments
  16. 6
    A Domain-Specific Language for Verifying Software Requirement Constraints pdf formalmethods arxiv.org
    ToKi avatar via ToKi 3 months ago | cached | 1 comment
  17. 2
    How Lock-free Data Structures Perform in Dynamic Environments: Models and Analyses (2016) ☶ pdf distributed performance programming arxiv.org
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  18. 1
    Measuring Attack Surface Reduction in the Presence of Code (Re-)Randomization pdf security arxiv.org
    fro avatar via fro 3 months ago | cached | no comments
  19. -1
    [Story removed by original submitter]
    cadey avatar via cadey 3 months ago | cached
  20. 19
    Base64 encoding and decoding at almost the speed of a memory copy ☶ pdf programming arxiv.org
    calvin avatar via calvin 3 months ago | cached | 4 comments
  21. 5
    Metamath Zero: The Cartesian Theorem Prover ☶ pdf formalmethods math arxiv.org
    pushcx avatar via pushcx 3 months ago | cached | no comments
  22. 1
    AI Benchmark: All About Deep Learning on Smartphones in 2019 ai hardware arxiv.org
    sanxiyn avatar via sanxiyn 3 months ago | cached | 1 comment
  23. 2
    Learning How to Prove: From the Coq Proof Assistant to Textbook Style ☶ pdf education formalmethods arxiv.org
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  24. 3
    Entombed: An archaeological examination of an Atari 2600 game (2018) assembly games reversing arxiv.org
    numinit avatar via numinit 4 months ago | cached | 2 comments
  25. 7
    Entombed: An archaeological examination of an Atari 2600 game pdf games historical arxiv.org
    hwayne avatar via hwayne 5 months ago | cached | no comments
Page 2 >>