Jing Liu

PhD student @UCIbrenICS ➡️ #MPI_SP @maxplanckpress | @summerofbitcoin '22 | btw I use Arch

[Jing Liu @fuzzjing]

@canarypwn @saikatdutta2012 @marcelodamorim Congrats 👏 Great work!

[Marcel Böhme👨‍🔬 @mboehme_]

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

[Haoxin Tu @tuhaoxin]

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_ ���️

[gps @Gaetano__Sapia]

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

[Jing Liu @fuzzjing]

@KaihuaQIN @WarwickDCS @uniofwarwick Congratulations 🎉

[Jing Liu @fuzzjing]

@ICSEconf The website says that passport holders from China do not require a visa to enter Brazil, which seems to be wrong.

[Niklas Risse @niklas2484]

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

[Marcel Böhme👨‍🔬 @mboehme_]

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

[Jing Liu @fuzzjing]

@DominikWinterer @OfficialUoM Congrats! Excited to see your new journey in UK

[Dominik Winterer @DominikWinterer]

�� 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.

[Marcel Böhme👨‍🔬 @mboehme_]

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.

[Jing Liu @fuzzjing]

@tiksiminic @uwcse Back In Serbia? 🤞Hope everything goes well.

[Seongmin Lee @nim_gnoes_eel]

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

[Marcel Böhme👨‍🔬 @mboehme_]

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)

[RAID Conference @RAID_Conference]

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!

[Marcel Böhme👨‍🔬 @mboehme_]

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

[Thomas Zimmermann @tomzimmermann]

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

[Chaofan Shou @Fried_rice]

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.

[Jason Zhao | 𝟎𝐱𝐔 @JasonZhao404]

🫡快速读了一下代码和gpt简单整理了一下整个策略的内容

1. 套利机会发现
- 公共交易监控：分析已确认交易日志，识别交换事件，提取币种和池。

- 私有交易监控：通过Relay获取内存池未确认交易，提前发现价格影响；可以连接到自己运行的relay上。

- Shio竞价交易：监控Shio协议特殊机会，支持竞价抢跑。