481 stories from 152 submitters
  1. 10
    Does It Matter to Test-First or toTest-Last? pdf science testing arxiv.org
    pushcx avatar via pushcx 11 days ago | cached | 4 comments
  2. 5
    Automated Symbolic Verification of Telegram's MTProto 2.0 pdf security arxiv.org
    knl avatar via knl 13 days ago | cached | 6 comments
  3. 6
    In search of the fastest concurrent Union-Find algorithm pdf compsci arxiv.org
    knl avatar via knl 16 days ago | cached | no comments
  4. 2
    A practical approach for updating an integrity-enforced operating system pdf security arxiv.org
    calvin avatar via calvin 17 days ago | cached | no comments
  5. 5
    Polyjuice: Automated, General-purpose Counterfactual Generation pdf ai arxiv.org
    breck avatar via breck 18 days ago | cached | no comments
  6. 5
    Schemes in Lean formalmethods math arxiv.org
    gthm avatar via gthm 18 days ago | cached | no comments
  7. 6
    AIR-FI: Generating Covert Wi-Fi Signals from Air-Gapped Computers hardware security arxiv.org
    pushcx avatar via pushcx 1 month ago | cached | 2 comments
  8. 9
    AIR-FI: Generating Covert Wi-Fi Signals from Air-Gapped Computers ☶ pdf hardware security arxiv.org
    calvin avatar via calvin 1 month ago | cached | 2 comments
  9. 8
    Who is Debugging the Debuggers? Exposing Debug Information Bugs in Optimized Binaries debugging arxiv.org
    sokka avatar via sokka 1 month ago | cached | 1 comment
  10. 12
    Branch Prediction Is Not a Solved Problem hardware arxiv.org
    sanxiyn avatar via sanxiyn 2 months ago | cached | 6 comments
  11. 7
    It is high time we let go of the Mersenne Twister math performance arxiv.org
    friendlysock avatar via friendlysock 2 months ago | cached | 1 comment
  12. 1
    Language ID in the Wild ai arxiv.org
    sanxiyn avatar via sanxiyn 2 months ago | cached | no comments
  13. 8
    Indistinguishability Obfuscation from Well-Founded Assumptions crypto arxiv.org
    sanxiyn avatar via sanxiyn 2 months ago | cached | 2 comments
  14. 6
    Towards making formal methods normal: meeting developers where they are ☶ compsci formalmethods arxiv.org
    craigstuntz avatar via craigstuntz 2 months ago | cached | no comments
  15. 4
    Refinement Types: A Tutorial ☶ compilers compsci formalmethods arxiv.org
    craigstuntz avatar via craigstuntz 3 months ago | cached | no comments
  16. 3
    Pretrained Transformers for Text Ranking: BERT and Beyond ai arxiv.org
    binarymax avatar via binarymax 3 months ago | cached | no comments
  17. 2
    Guided Curriculum Learning for Walking Over Complex Terrain ai arxiv.org
    friendlysock avatar via friendlysock 3 months ago | cached | no comments
  18. 5
    Yaps: Python Frontend to Stan math plt programming arxiv.org
    seg_lol avatar via seg_lol 3 months ago | cached | 1 comment
  19. 6
    The Hardware Lottery historical arxiv.org
    GeoffWozniak avatar via GeoffWozniak 3 months ago | cached | no comments
  20. 2
    Learning with Differentiable Perturbed Optimizers ai math arxiv.org
    mseri avatar via mseri 4 months ago | cached | no comments
  21. 7
    The Cost of Software-Based Memory Management Without Virtual Memory osdev arxiv.org
    GeoffWozniak avatar via GeoffWozniak 4 months ago | cached | no comments
  22. 6
    The Cost of Software-Based Memory Management Without Virtual Memory ☶ pdf osdev virtualization arxiv.org
    calvin avatar via calvin 4 months ago | cached | no comments
  23. 6
    High Speed Hashing for Integers and Strings ☶ pdf performance programming arxiv.org
    calvin avatar via calvin 4 months ago | cached | 1 comment
  24. 3
    Interprocess Communication in FreeBSD 11 – Performance Analysis freebsd arxiv.org
    vermaden avatar via vermaden 4 months ago | cached | 1 comment
  25. 2
    Generative Language Modeling for Automated Theorem Proving ai formalmethods math arxiv.org
    sanxiyn avatar via sanxiyn 4 months ago | cached | no comments
Page 2 >>