TRIM: Reducing AI-Generated CodeSlop via Agent Trajectory Minimization

3 items

  1. The Inference Weekly Trim the Slop: How Trajectory-Guided Redundancy Minimization Makes AI-Generated Code Cleaner
  2. Scan AI Slop CodeSlop: Why AI Coding Agents Leave Abandoned Edits Behind
  3. AgentPatterns.ai CodeSlop: Search-Trajectory Residue in Agent Patches

Outrunning LLM Cutoffs: A Live Kernel Crash Resolution Benchmark for All

1 item

  1. Columbia DAPLab Columbia DAPLab at ICML 2026

zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits

1 item

  1. Columbia Computer Science Security Research Recognized at IEEE S&P 2026

Your Compiler is Backdooring Your Model: Understanding and Exploiting Compilation Inconsistency Vulnerabilities in Deep Learning Compilers

3 items

  1. Columbia Computer Science Security Research Recognized at IEEE S&P 2026
  2. The Weather Report Your Compiler is Backdooring Your Model
  3. The Weather Report Predicting AI Attacks from IEEE S&P 2026 Papers (Preview)

Radshield: Software Radiation Protection for Commodity Hardware in Space

1 item

  1. Dangling Pointers Radshield: Software Radiation Protection for Commodity Hardware in Space

PickleBall: Secure Deserialization of Pickle-based Machine Learning Models

1 item

  1. James Davis on Medium PickleBall: Secure Deserialization of Pickle-based Machine Learning Models

EditLord: Learning Code Transformation Rules for Code Editing

1 item

  1. Chameleon Cloud EditLord: Learning Code Transformation Rules for Code Editing

Do Spammers Dream of Electric Sheep? Characterizing the Prevalence of LLM-Generated Malicious Emails

16 items

  1. Forbes AI Is Behind 50% of Spam — And Now It’s Hacking Your Accounts
  2. TechRepublic AI Now Creates 51% of Spam: Two Key Reasons Attackers Use This Approach
  3. Infosecurity Magazine AI Now Generates Majority of Spam and Malicious Emails
  4. The Register AI Improves Spam
  5. Columbia Engineering AI Now Powers Over Half of Spam Emails, Columbia Engineering Research Finds
  6. Columbia Magazine The Deepfake Scam Era Is Upon Us. Here’s How to Get Ready.
  7. Barracuda Half the Spam in Your Inbox Is Generated by AI — Its Use in Advanced Attacks Is at an Earlier Stage
  8. TechRadar Pro Major Spam Email Warning — AI Now Generates Almost All of Your Junk Mail
  9. Cybernews Scammers Now Using AI for A/B Testing
  10. Security Boulevard Analysis Surfaces Increased Usage of LLMs to Craft BEC Attacks
  11. Channel Insider AI Now Powers Over Half of Global Spam Emails, Research Finds
  12. Cloudflare Attackers Go Phishing in New Ponds
  13. DIGIT Over Half of All Spam Emails Are Now AI-Generated
  14. CybersecAsia Fraudsters and Cybercriminals Tap AI for More Sophisticated Spam and BEC Attacks
  15. SecurityBrief Australia Over Half of Spam Emails Now Generated by AI, New Study Finds
  16. ANSA Il 51% delle email indesiderate è generato dall'IA

Raidar: geneRative AI Detection viA Rewriting

8 items

  1. Science News Explores A New Test Could Help Weed Out AI-Generated Text
  2. Columbia Engineering Who Wrote This? Columbia Engineers Discover Novel Method to Identify AI-Generated Text
  3. Columbia Magazine A New Way to Spot Text Written by AI, and Other Science News
  4. Columbia Engineering Turns Out, I’m Not Real: Detecting AI-Generated Videos
  5. 36Kr SORA、Gen-2、Pika也逃不过,文生视频检测新工具来了,准确率高达93.7%
  6. Science News Explores Google Now Adds Watermarks to All Its AI-Generated Content
  7. Tech Xplore Who Wrote This? Engineers Discover Novel Method to Identify AI-Generated Text
  8. Tech Xplore New Tool Detects AI-Generated Videos with 93.7% Accuracy

Chablis: Fast and General Transactions in Geo-Distributed Systems

2 items

  1. Columbia Engineering EE Professor Asaf Cidon, CS Professor Junfeng Yang, and Their Team Win the Best Paper Award at CIDR 2024
  2. Murat Demirbas Chardonnay: Fast and General Datacenter Transactions for On-Disk Databases (OSDI'23)

QUACK: Hindering Deserialization Attacks via Static Duck Typing

1 item

  1. TalksIntel QUACK: Hindering Deserialization Attacks via Static Duck Typing

Turns Out I'm Not Real: Towards Robust Detection of AI-Generated Videos

7 items

  1. Columbia Engineering Turns Out, I’m Not Real: Detecting AI-Generated Videos
  2. TVNewsCheck Is That an AI Video? Here’s How Newsrooms Can Spot Them
  3. 36Kr SORA、Gen-2、Pika也逃不过,文生视频检测新工具来了,准确率高达93.7%
  4. VIDI Otkrivanje AI generiranog videa s velikom točnošću
  5. Vetenskapsnytt Nytt verktyg upptäcker AI-genererade videor med 93,7% noggrannhet
  6. Tech Xplore New Tool Detects AI-Generated Videos with 93.7% Accuracy
  7. EurekAlert! Turns Out I’m Not Real: Detecting AI-Generated Videos

Chardonnay: Fast and General Datacenter Transactions for On-Disk Databases

2 items

  1. Murat Demirbas Chardonnay: Fast and General Datacenter Transactions for On-Disk Databases (OSDI'23)
  2. Aleksey Charapko Reading Group. Chardonnay: Fast and General Datacenter Transactions for On-Disk Databases

Divergent Representations: When Compiler Optimizations Enable Exploitation

1 item

  1. Trail of Bits Look Out! Divergent Representations Are Everywhere!

UPGRADVISOR: Early Adopting Dependency Updates Using Hybrid Program Analysis and Hardware Tracing

1 item

  1. Columbia Computer Science Software Systems Laboratory Wins Best Paper Award at OSDI 2022

XRP: In-Kernel Storage Functions with eBPF

5 items

  1. Columbia Electrical Engineering Prof Asaf Cidon and Team Receive Jay Lepreau Best Paper Award at 16th USENIX Symposium on Operating Systems Design and Implementation
  2. Columbia Computer Science Software Systems Laboratory Wins Best Paper Award at OSDI 2022
  3. HeapDump XRP:用eBPF优化内存存储功能
  4. Hacker News XRP: In-Kernel Storage Functions with eBPF
  5. BBSakura Networks eBPF の個人的おもしろトピック

Argus: Debugging Performance Issues in Modern Desktop Applications with Annotated Causal Tracing

1 item

  1. Columbia Computer Science Software Systems Laboratory Wins Best Paper Awards at the OSDI and USENIX ATC Conferences

BPF for Storage: An Exokernel-Inspired Approach

4 items

  1. eBPF Reading Group BPF for Storage: An Exokernel-Inspired Approach
  2. Hacker News BPF for Storage: An Exokernel-Inspired Approach
  3. Lobsters BPF for Storage: An Exokernel-Inspired Approach
  4. 博客园 BPF for storage:一种受外核启发的反式

Multitask Learning Strengthens Adversarial Robustness

2 items

  1. TOPBOTS ECCV 2020: Some Highlights
  2. LeiPhone 【重磅整理】ECCV 2020 亮点摘要

Towards Practical Verification of Machine Learning: The Case of Computer Vision Systems

1 item

  1. Columbia Engineering Magazine Machine Learning 2.0

Egalito: Layout-Agnostic Binary Recompilation

1 item

  1. Trail of Bits Towards Practical Security Optimizations for Binaries

DeepXplore: Automated Whitebox Testing of Deep Learning Systems

20 items

  1. Scientific American When AI Steers Us Astray
  2. IEEE Spectrum A New Way to Find Bugs in Self-Driving AI Could Save Lives
  3. Newsweek Scientists May Have Found a Way to Stop Artificial Intelligence from Becoming Racist and Sexist
  4. Communications of the ACM CACM Nov. 2019 - DeepXplore: Automated Whitebox Testing of Deep Learning Systems
  5. TechRadar Self-Driving Cars: Your Complete Guide to Autonomous Vehicles
  6. The Next Web Science May Have Cured Biased AI
  7. Columbia News Researchers Unveil Tool to Debug ‘Black Box’ Deep Learning Algorithms
  8. The Morning Paper DeepXplore: Automated Whitebox Testing of Deep Learning Systems
  9. The Foretellix CTO Blog DeepXplore and New Ideas for Verifying ML Systems
  10. EurekAlert First White-Box Testing Model Finds Thousands of Errors in Self-Driving Cars
  11. EurekAlert Researchers Unveil Tool to Debug ‘Black Box’ Deep Learning Algorithms
  12. Columbia Engineering Magazine Machine Learning 2.0
  13. LeiPhone 帮助自动驾驶找出算法中的 Bug,这种方法可堪大任吗?
  14. ChainNews 学界 | 新研究提出DeepXplore:首个系统性测试现实深度学习系统的白箱框架
  15. Sohu DeepXplore最新动态:科学有望打开AI“黑盒子”,消除AI偏见
  16. Sina 深度 | 详解首个系统性测试现实深度学习系统的白箱框架DeepXplore
  17. CCTV Hello AI Documentary — DeepXplore Segment
  18. e15.cz DeepXplore hledá chyby a nebezpečí v neznámých útrobách hlubokých neuronových sítí
  19. N+1 Тестирование нейросетей указало на дефекты в «мышлении» беспилотных автомобилей
  20. Columbia Engineering Luca Carloni and Junfeng Yang Elected 2025 ACM Fellows

NEUZZ: Efficient Fuzzing with Neural Program Smoothing

1 item

  1. Security Garten Challenges of Reproducibility in Science: Case Study of ML-Guided Fuzzing

Efficient Repair of Polluted Machine Learning Systems via Causal Unlearning

1 item

  1. David Stutz Efficient Repair of Polluted Machine Learning Systems via Causal Unlearning, Cao et al.

Overload Control for Scaling WeChat Microservices

3 items

  1. The Morning Paper Overload Control for Scaling WeChat Microservices
  2. Tencent Cloud Developer Community 国民级应用:微信是如何防止崩溃的?
  3. Tushar Tyagi Overload Control for Scaling WeChat Microservices

Shuffler: Fast and Deployable Continuous Code Re-Randomization

5 items

  1. Network World Solution to JIT-ROP Cyber Attacks: Scramble Code Quickly
  2. ACM TechNews New Software Continuously Scrambles Code to Foil Cyberattacks
  3. Columbia Science Commits New Software Continuously Scrambles Code to Foil Cyber Attacks
  4. Digital Journal New Software Continuously Scrambles Code to Foil Cyber Attacks
  5. TechXplore New Software Continuously Scrambles Code to Foil Cyber Attacks

Reducing Crash Recoverability to Reachability

1 item

  1. The Morning Paper Reducing Crash Recoverability to Reachability

Towards Making Systems Forget with Machine Unlearning

12 items

  1. The Atlantic Teaching a Computer to Forget
  2. The Stack Machine Unlearning: How Can Information Be Forgotten in the Age of Viral Data Spread?
  3. KurzweilAI New Machine Unlearning Technique Deletes Unwanted Data
  4. ACM TechNews Machine Unlearning: How Can Information Be Forgotten in the Age of Viral Data Spread?
  5. EurekAlert New Machine Unlearning Technique Wipes Out Unwanted Data Quickly and Completely
  6. Lehigh News Machine Unlearning
  7. Lehigh Engineering Helping Machines Forget
  8. Columbia Computer Science Four Professors Recognized with Test of Time Awards
  9. Johns Hopkins Information Security Institute Yinzhi Cao Receives Distinguished Paper Award and Test-of-Time Award at IEEE Security and Privacy 2025
  10. IEEE Cipher Security and Privacy Symposium Test of Time Awards
  11. Columbia Engineering Magazine Machine Learning 2.0
  12. Columbia Engineering Luca Carloni and Junfeng Yang Elected 2025 ACM Fellows

Efficient Deterministic Multithreading through Schedule Relaxation

5 items

  1. The Register Better Multithreading Offered by Columbia U Researchers
  2. ACM TechNews Major Breakthrough Improves Software Reliability and Security
  3. Columbia News Major Breakthrough Improves Software Reliability and Security
  4. Phys.org Major Breakthrough Improves Software Reliability and Security
  5. TG Daily New System Could Improve Software Reliability and Security

MODIST: Transparent Model Checking of Unmodified Distributed Systems

2 items

  1. InfoWorld Microsoft Touts Research Projects in Search, Privacy
  2. Softpedia Microsoft's MoDist Tool Designed to Hunt for Bugs

EXPLODE: a Lightweight, General System for Finding Serious Storage System Errors

2 items

  1. LWN.net KHB: Automating Bug Hunting
  2. LWN.net The 2007 Linux Storage and File Systems Workshop

Automatically Generating Malicious Disks using Symbolic Execution

1 item

  1. LWN.net KHB: Automating Bug Hunting