The presentation of our recent work with @zyxu97 and @Chengnian in program reduction, "Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction", published in OOPSLA'23 is now online at https://t.co/VjdjVa4V1z
Paper & Artefact: https://t.co/QL5hC9N5y9
LPR, the first work to achieve both language generality and semantic awareness in program reduction, is just accepted by @issta_conf 2024.
Joint work with Mengxiao @HUSTzmx, Zhenyang @zyxu97, Yiwen, Shin Hwei @tan_hwei, and @Chengnian.
Preprint: https://t.co/Do3RI8lUa9
Excited to share that @CSatETH at @ETH_en has four tenure-track openings (System & Network Security, Software Security & Formal Methods: https://t.co/JxImq4AKzW, Educational Technology: https://t.co/YWFvXpQgma, and Visualization: https://t.co/jwxVKXNOG8); apply by Jan 8, 2023!
@zhendongsu is an awesome advisor to work with. My postdoc time with him was fulfilling. He has profoundly influenced every bit of my academic life in positive ways.
Looks like a nice post-doc fellowship opportunity for 1-2 years in Switzerland; application deadline: Dec 1, 2022. If you're interested in such an opportunity and the @ast_eth lab at ETH seems a good fit, please feel free to reach out!
@cristalopes They checked in my luggage without labelling it in 2018. And my luggage was lost for months. Fortunately after tons of phone calls from me, they found it. Still the worst travel experience on my list.
Our Yin-Yang tool for testing SMT solvers is now on GitHub! Please contact us for any comments, issues, and feature requests --- we'd love to see the tool used and built upon! @DominikWinterer@chengyuzh@testsmtsolvers