New paper @ #FSE26!
Turns out, the effectiveness of LLMs in CI/CD at finding bugs introduced (or fixed) by a commit depends mostly on the commit message and how clearly it expresses the change intention.
https://t.co/rMTa7NwZkP
Lead by @fuzzjing & @nim_gnoes_eel w/ @losiouk
Happy to share our work "Cottontail: LLM-Driven Concolic Execution for Structured Test Input Generation" will appear in S&P'26!
Paper: https://t.co/vIxZD5BGE2
Code: https://t.co/NxuD4wwNF4
Special thanks to @nim_gnoes_eel, @JNUYUXIAN, @spinpx, @LingxiaoJiang, and @mboehme_ ���️
Our paper "Scaling Security Testing by Addressing the Reachability Gap" has been accepted at #ICSE26!
New paper w/ @mboehme_.
https://t.co/tLhkTIY0Eo
https://t.co/rbpxJZLFp6
Proud to share that our paper “Top Score on the Wrong Exam: On Benchmarking in Machine Learning for Vulnerability Detection” received an ACM Distinguished Paper Award at ISSTA 2025 in Trondheim, Norway.
If you’re interested, the paper is available here: https://t.co/H73meyVy6Z
Thrilled to share a recent opinion piece at the IEEE Security and Privacy (Vol. 23, Issue 3).
Basically a long-term perspective on the field meant for both researchers and practitioners.
📝 https://t.co/VjRXXQcFVL
�� I'll be launching the Formal Methods Engineering Lab (https://t.co/9pjKYVa89h) – and I am hiring! If you’re interested in working with me, feel free to reach out.
Our paper "Top Score on the Wrong Exam" paper will be presented at #ISSTA25 🐣 in Trondheim!
📝https://t.co/m7FrZ36ach
🧑💻https://t.co/VoItZD0KVy
// @niklas2484@fuzzjing.
Can we foresee the unseen in software testing?
Excited to dive into how statistical magic helps us quantify residual risk and make testing results more accountable and reliable✨
Join my tutorial @
@SBFTworkshop
📅28.04. 14:30 GMT-4
Thanks for the invite!🙏
#SBST25#ICSE25
Benchmarks are our measures of progress. Or are they?
Looking forward to exploring promises & perils of measuring tool capabilities @SBFTworkshop'25! Thanks for the invite!
👩🏭 https://t.co/t3SU3RUFgG (co-located w/ ICSE'25 in Ottawa)
📅 28.04. 11:00 GMT-4 (Also, live on Twitch)
Attention! SECURITY Researchers!
The RAID deadline is soon, you have 1 week left to polish and submit your works to RAID!
https://t.co/gPV5IAy730
See you in Gold Coast, Australia!
This is Dean Valentin, founder of ZeroPath, an AI vulnerability research company, exploring the disappointing difference between the outstanding performance of LLMs on benchmarks and their (+other founders') experience with LLMs for vuln. discovery.
https://t.co/icjNThu8Lv
I am hiring a ✨ Postdoc in Software Engineering ✨ at UC Irvine! Focus on AI and/or Developer Experience. ☀️Join a top research team in sunny SoCal! 📍 2-year full-time 🔗 Apply: https://t.co/QpzyvRsEIt
#Postdoc#SoftwareEngineering#icseconf @icse2025
Open sourcing our Sui arbitrage bot that made $200k+: https://t.co/RJmJY9C8Ys
The bot can arb between DEX like @CetusProtocol@navi_protocol@AftermathFi@DeepBookonSui@Turbos_finance@KriyaDEX. We also built a MoveVM simulator in Rust that can fork the chain and simulate tx faster.
Due to lack of engineers and competition onchain, it was no longer maintained. Specifically, it lacks a bellman-ford algo implementation to be profitable again. Feel free to do whatever you want with the code.