Check out this page: kanit.page
It’s a special website (made by our web chair👩🏻💻) for you, introducing the best apps to help you get around Seoul and enjoy local food 🍜🚆. Take a look while waiting for your flight. It’ll make your trip much smoother 😉
Check out this page: kanit.page
It’s a special website (made by our web chair👩🏻💻) for you, introducing the best apps to help you get around Seoul and enjoy local food 🍜🚆. Take a look while waiting for your flight. It’ll make your trip much smoother 😉
Check out this page: kanit.page
It’s a special website (made by our web chair👩🏻💻) for you, introducing the best apps to help you get around Seoul and enjoy local food 🍜🚆. Take a look while waiting for your flight. It’ll make your trip much smoother 😉
💡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!
💡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!
Prof. Taesoo Kim (Georgia Tech)
“Hyperscale Bug Finding and Fixing: DARPA AIxCC”
conf.researchr.org/track/ase-20...
Prof. Taesoo Kim (Georgia Tech)
“Hyperscale Bug Finding and Fixing: DARPA AIxCC”
conf.researchr.org/track/ase-20...
Dr. Cristina Cifuentes, Vice President @ Oracle Software Assurance
“Oracle Parfait – Detecting Application Vulnerabilities at Scale – Past, Present and Future”
Dr. Cristina Cifuentes, Vice President @ Oracle Software Assurance
“Oracle Parfait – Detecting Application Vulnerabilities at Scale – Past, Present and Future”
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...
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...
📅 Early deadline: Oct 15, 2025
🧾 Regular deadline: Nov 2, 2025
All accepted papers must have at least one regular (non-student) registration for inclusion in the proceedings.
👉 Details: conf.researchr.org/attending/ase-2025/registration
📅 Early deadline: Oct 15, 2025
🧾 Regular deadline: Nov 2, 2025
All accepted papers must have at least one regular (non-student) registration for inclusion in the proceedings.
👉 Details: conf.researchr.org/attending/ase-2025/registration
🎉 We address this question in our paper “Detecting Semantic Clones of Unseen Functionality,” recently accepted to @aseconf.bsky.social!
📄 Pre-print: arxiv.org/abs/2510.04143
💻 Code: github.com/kitsiosk/uns...
[1/4]
🎉 We address this question in our paper “Detecting Semantic Clones of Unseen Functionality,” recently accepted to @aseconf.bsky.social!
📄 Pre-print: arxiv.org/abs/2510.04143
💻 Code: github.com/kitsiosk/uns...
[1/4]
⌛️ Early registration deadline: Oct 15 (less than a month left!).
Come to Seoul for the food, the connections, and of course… the research! 😉
When he’s not researching, you might find him deep in a game of Shogi or Chess :-)
When he’s not researching, you might find him deep in a game of Shogi or Chess :-)
She’s a professor at KNU working on formal methods — model checking, abstraction, and synthesis. Outside academia, she enjoys Zumba 💃 🎶!
She’s a professor at KNU working on formal methods — model checking, abstraction, and synthesis. Outside academia, she enjoys Zumba 💃 🎶!
She’s an Assistant Professor at Ain Shams University, Egypt, and is passionate about all aspects of building reliable programs. ⌨️ Thrilled to have her on board for ASE'25!
She’s an Assistant Professor at Ain Shams University, Egypt, and is passionate about all aspects of building reliable programs. ⌨️ Thrilled to have her on board for ASE'25!
He’s helping manage the publication process together with Soha Hussein.
💪 Co-organizer of #FUZZING’26
👨💻 Passionate about improving software quality
@yannicnoller.bsky.social
He’s helping manage the publication process together with Soha Hussein.
💪 Co-organizer of #FUZZING’26
👨💻 Passionate about improving software quality
@yannicnoller.bsky.social
That's why I am excited to share my first paper (w/ fellow undergrad Dillon Otto + @snagycs.bsky.social) "GUIFuzz++: Unleashing Grey-box Fuzzing on Desktop Graphical User Interfacing Applications" at #ASE25.
That's why I am excited to share my first paper (w/ fellow undergrad Dillon Otto + @snagycs.bsky.social) "GUIFuzz++: Unleashing Grey-box Fuzzing on Desktop Graphical User Interfacing Applications" at #ASE25.
⌛️ Early registration deadline: Oct 15 (less than a month left!).
Come to Seoul for the food, the connections, and of course… the research! 😉
⌛️ Early registration deadline: Oct 15 (less than a month left!).
Come to Seoul for the food, the connections, and of course… the research! 😉
🕐 ~20 hrs of service during conference week
🎟️ Free ASE registration (SV covers student reg fee; if you have a paper, one co-author must register at full rate)
👕 ASE 2025 T-shirt + more!
Please share this with your students and networks!
Apply here ⤵️
🕐 ~20 hrs of service during conference week
🎟️ Free ASE registration (SV covers student reg fee; if you have a paper, one co-author must register at full rate)
👕 ASE 2025 T-shirt + more!
Please share this with your students and networks!
Apply here ⤵️
We address this question in our paper recently accepted to @aseconf.bsky.social 2025! 🎉 1/5
We address this question in our paper recently accepted to @aseconf.bsky.social 2025! 🎉 1/5
The deadline for the ASE’25 Journal-First Track is today :-)
⏰ Sep 1, 2025, 23:59 AoE
✅ Accepted after Jan 1, 2024
✅ In ASE scope
✅ ≥70% new content
✅ Not presented elsewhere
👉 Full details: conf.researchr.org/track/ase-20...
🗓️ Submission Due: 1st Sep
#ASE2025 #SoftwareEngineering
The deadline for the ASE’25 Journal-First Track is today :-)
⏰ Sep 1, 2025, 23:59 AoE