International Conference on Automated Software Engineering (ASE)

@aseconf.bsky.social

The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025

Checkout our talk of LSPFuzz @aseconf.bsky.social and let's discuss during the poster session! 🕒 14:40 – 14:50, Wed November. 19 📍 Grand Hall 2 This tool is built on top of LibAFL @aflplusplus.bsky.social

Poster of LSPFuzz
Henry Chu@bsky.henryhc.net · 10mo ago

Interrupted by LSP crashes when coding? We built LSPFuzz (with #LibAFL) to help catch these bugs before they are shipped to you! Check out our #ASE2025 paper: LSPFuzz: Hunting Bugs in Language Servers. 📄 Preprint: aka.henryhc.net/lspfuzz-paper 📦 Code: github.com/henryhchchc/...

Happy to announce that I’ll be presenting our paper “Why AI Agents Still Need You” at ASE 2025. Based on a user study with Cursor, we discovered why the presence of tacit knowledge means that making agents collaborative will always be necessary, and argue for designing agents with this in mind.

Bild

Tomorrow, right after the morning opening session at 9:00, we’ll begin with our first keynote talk by Prof. Thomas Reps at 9:30!

International Conference on Automated Software Engineering (ASE)@aseconf.bsky.social · 10mo ago

🎙️ #ASE2025 Keynote Speaker Series (1 of 3) What do symbolic model checking, path profiling, and quantum simulation have in common? 🤔 Find out from Prof. Reps (University of Wisconsin-Madison) in his ASE2025 Keynote “We Will Publish No Algorithm Before Its Time”! conf.researchr.org/track/ase-20...

🤔 Wasm Program Reduction is slow. Can I speed it up? 💡Record and replay can directly target and isolate the bug-triggering function! Our paper "Execution-Aware Program Reduction for WebAssembly via Record and Replay" that addresses this problem will be presented at @aseconf.bsky.social 2025!

Bild