Zhen DONG

Associate professor at Fudan University working on software testing and analysis. Previously, he worked at @NUSComputing as a senior research fellow.

[Zhen DONG @zhendong_]

Delighted to share our paper "LLM Based Input Space Partitioning Testing for Library APIs" is accepted on #icse2025 @ICSEconf

Automatically partitioning input spaces without performing symbolic execution.

paper: https://t.co/nYCFAdoxwd
Artifacts: https://t.co/posULxJYEW

[Zhen DONG @zhendong_]

@mboehme_ @ERC_Research @CASA_EXC wow... congratulations, Marcel!

[Zhou (Joe) Li @lzcarl]

Wow, I appreciate @acm_ccs being frank about review ethics! #CCS

[Zhen DONG @zhendong_]

@teobaluta Congrats Teo!

[Zhen DONG @zhendong_]

@JinshengBa Congrats!

[Zhen DONG @zhendong_]

@RiggerManuel @AmazonScience Congratulations！

[Abhishek Arya @infernosec]

Our LLM powered fuzzing framework is now open for community research. Help accelerate the innovation in #fuzzing - https://t.co/Hb2QeNY2x5

[Zhen DONG @zhendong_]

@davidlo2015 @TheOfficialACM Congratulations David！You deserve every bit of it.

[Marcel Böhme👨‍🔬 @mboehme_]

We have 2 PhD positions in Software Security at #MPI-SP in Germany.

We are interested in developing automatic techniques that analyze software systems at the large scale.

Happy to chat if you want to find out more. Reach out via https://t.co/yHRmXZLvR0.

[Zhen DONG @zhendong_]

When it comes to synthesis of robot programs, the physical environment is unneglectable. Here is one of way to consider physical environment states in synthesis of robot programs. More details can be found in our NeurIPS2023work:
arXiv:https://t.co/C1BO8jTKii

[Zhen DONG @zhendong_]

@mboehme_ is one of the colleagues I've learned the most during my research career. Supportive, inspiring, and cool!

[Marcel Böhme👨‍🔬 @mboehme_]

CS@max planck is inviting applications for PhD.

We especially encourage applications from students who wish to explore research across the CS spectrum before committing to a topic and advisor.

🗓️ Deadline: 31st Dec (for fall intake).
ℹ️ More infos: https://t.co/GquFe3hA18

[Zhen DONG @zhendong_]

@thuanpv_ @cis_unimelb Congrats Thuan!!!

[Zhen DONG @zhendong_]

@xwang_lk what common reasons are for score decreases during discussion? New concerns arise?

[Zhen DONG @zhendong_]

@yannicnoller @sutdsg Congratulations Yannic!

[Zhen DONG @zhendong_]

@DiegoEliasCosta @Concordia Plan to go to ASE this year

[Zhen DONG @zhendong_]

@cestlemieux Thanks, nice work!

[Zhen DONG @zhendong_]

@cestlemieux Looking forward

[Zhen DONG @zhendong_]

@TheDavisJam It happens! I got three rejections in a row for one of my submissions.