Jue Wang

Ph.D student at Nanjing University

[【公式】シルバー・アンド・ブラッド（シルブラ） @SiruburaJP]

✠━━━✦・☽・✦━━━✠
🩸グローバルリリース記念キャンペーン🌕
✠━━━✦・☽・✦━━━✠

『シルバー・アンド・ブラッド』ついにグローバルリリース！
合計1000RP達成で、抽選で5⃣名様に【月の涙×3000】をプレゼント🎁！

さらに合計5000RP達成で、抽選3⃣0⃣名様に【月の涙×3000】をプレゼント🎁！！

@SiruburaJP フォロー＆RPでキャンペーン応募完了！

🩸今すぐダウンロード：https://t.co/eQ2Oa6502c

〆切：6/30

#シルブラ #シルブラ0626リリース #silverandblood

[Ting Su @su_tingsu]

Our FSE’23 work: adapting Property-based Testing to find logic bugs in mobile apps. We believe this might be the *right* way to find deep app logic bugs (w/o any false positives).

[PDF]: https://t.co/N5sLWjuyWu
[Tool]: https://t.co/RSS3GQqj3w
[More]: https://t.co/kkUvwjFHWv

[Ting Su @su_tingsu]

Our another FSE’23 work: given a bug, if a fuzzer cannot find this bug, can we give some explanations?
We take the first step to explore this interesting problem in GUI fuzzing.

[PDF]: https://t.co/uHA1VFVfdZ
[Tool]: https://t.co/BBjehW3Kgv
[More]: https://t.co/kkUvwjFHWv

[Ting Su @su_tingsu]

Tackling the oracle problem for testing mobile apps is difficult. Here is our ISSTA'23 work (*An Empirical Study of Functional Bugs in Android Apps*) to investigate this problem.

[PDF] https://t.co/qeiw6kLsET
[Data/Tool] https://t.co/9t1vi399BV
[More] https://t.co/kkUvwjFHWv

[Jue Wang @JueWang591]

@connglli Sorry to hear that. The paper will find a better place

[Zhendong Su @zhendongsu]

It was great fun giving this inaugural lecture. Also, what an incredible and surprising honor to have Prof. Niklaus Wirth in the audience! @CSatETH @ETH_en @ast_eth

[Manuel Rigger @RiggerManuel]

We introduce “Intramorphic Testing”, a new, general methodology to the test oracle problem. Unlike metamorphic testing, it is a white-box technique. Core idea: modifications to a program can have an anticipated impact on its behavior that can be validated. https://t.co/b0fint1olY

[Zhendong Su @zhendongsu]

The EuroLLVM 2022 program is out: https://t.co/WtkECpzqDA. A lot of interesting talks with a keynote by @theodortheod on "Finding Missed Optimizations Through the Lens of Dead Code Elimination"! @RiggerManuel @ast_eth @CSatETH @llvmorg

[Manuel Rigger @RiggerManuel]

A brief summary of our Dagstuhl seminar "Ensuring the Reliability and Robustness of Database Management Systems" is now online. We have also been working on a proposal for a follow-up seminar, so fingers crossed! https://t.co/e2l30FX9BO

[Andreas Zeller @AndreasZeller]

Software Engineering research! Which research topics are most popular? And how well do individual countries do in SE research? Let us give you some fresh data from @ICSEconf 2022.

[Zhendong Su @zhendongsu]

Congrats to @theodortheod on receiving both a best paper award (for "Understanding and exploiting optimal function inlining" with @Tobias_Grosser) and a distinguished artifact award (for "Finding missed optimizations ..." with @RiggerManuel) at @ASPLOSConf!!! @ast_eth @CSatETH

[@norootcause.surfingcomplexity.com on Bluesky @norootcause]

As a software developer, you may be called upon to perform some of these tasks in your career.

How well a CS degree prepares you for these tasks (and whether it even should prepare you for these) is left as an exercise to the reader.

🧵
1/

[Moshe Vardi @vardi]

:-)

[Lili Wei @LiliWei_SE]

The CASTLE research group (https://t.co/RoqUMZNSIs) at HKUST is looking for a postdoctoral fellow. We are an inclusive group and really want to see some new faces. 😄Please spread this to anyone who may be interested. More info at: https://t.co/73Xnj9GfMS

[Brendan Dolan-Gavitt @moyix]

Okay, so, this will either be hilarious or get my account disabled by NYU IT during finals week

[Jeff Vander Stoep @jeffvanderstoep]

Fuzzing is an effective offensive security tool that defense has widely adopted. Unfortunately, it’s altogether insufficient for defense.

“I wrote fuzzers and found the vulns!” No. You didn’t. You found some vulns. If you’re in offense, your job is done. In defense it’s not.
1/

[AST Lab ETH Zurich @ast_eth]

Get some tips for your faculty job search! @ggn_dp_sngh recently started at @IllinoisCS and talks to @RiggerManuel about interviewing in the US, and the importance of visibility, networking, and collaborating in the next GAP interview: https://t.co/eD0j5RToHc

@CSatETH @ETH_en

[ETH CS Department @CSatETH]

Getting a faculty position is a big challenge. In his video series, Dr @RiggerManuel shines a light on the process by asking young faculty members how they got their roles. 🌟Open door No. 2. https://t.co/DttqEhoPm5 #40yearscseth @springman_sarah @DannathJulia @ETHBibliothek

[Ben 'epi' Risher @epi052]

Happy Friday!

Part 3 of the Fuzzing101 with LibAFL series is up! This post covers fuzzing tcpdump, corpus and testcase minimization, coverage visualization, and a tiny bit of scapy for good measure, enjoy!

https://t.co/dPYYXtOjef

[AST Lab ETH Zurich @ast_eth]

New @ETH_en faculty, @shw3ta_shinde, gives great advice on adapting to life as a professor, setting-up a group, fostering collaborations, and life in Zurich & ETH. Tune in to the next GAP interview for her insights!
https://t.co/U6n0VMPnGK

@RiggerManuel @CSatETH @zhendongsu