SUN Jun https://sunjun.site Love all, trust a few, do wrong to none. Wed, 28 Dec 2022 06:33:58 +0000 en-US hourly 1 https://wordpress.org/?v=6.9.4 193672348 ATVA 2023 and PRDC 2023 https://sunjun.site/atva-2023-and-prdc-2023/?utm_source=rss&utm_medium=rss&utm_campaign=atva-2023-and-prdc-2023 Wed, 28 Dec 2022 06:33:55 +0000 https://sunjun.site/?p=421 Continue readingATVA 2023 and PRDC 2023]]> Consider submitting your work to

ATVA 2023: https://atva-conference.org/2023/

PRDC 2023: https://prdc.dependability.org/PRDC2023/cfp.html

]]> 421 New course on AI security added https://sunjun.site/new-course-on-ai-security-added/?utm_source=rss&utm_medium=rss&utm_campaign=new-course-on-ai-security-added Tue, 22 Nov 2022 06:15:01 +0000 https://sunjun.site/?p=414 Continue readingNew course on AI security added]]> I have recently developed a 10 week course on AI security. Kindly refer to details at https://sunjun.site/cs612-ai-system-evaluation/

]]> 414 ASE’21 Distingished PC Member Award https://sunjun.site/ase21-distingished-pc-member-award/?utm_source=rss&utm_medium=rss&utm_campaign=ase21-distingished-pc-member-award Tue, 12 Oct 2021 03:43:23 +0000 https://sunjun.site/?p=337 I’ve been awarded with ASE’21 Distinguished PC Member Award.

]]> 337 Received Lee Kuan Yew Fellowship https://sunjun.site/received-lee-kuan-yew-fellowship/?utm_source=rss&utm_medium=rss&utm_campaign=received-lee-kuan-yew-fellowship Tue, 25 May 2021 08:38:45 +0000 https://sunjun.site/?p=315 Continue readingReceived Lee Kuan Yew Fellowship]]> As titled. From 2021 to 2023. This is my second Lee Yuan Fellowship – first one was from 2007 to 2010, which basically convinced me to remain in acedemia.

]]> 315 SIGSOFT Research Highlights https://sunjun.site/sigsoft-research-highlights/?utm_source=rss&utm_medium=rss&utm_campaign=sigsoft-research-highlights Thu, 04 Mar 2021 09:17:37 +0000 https://sunjun.site/?p=281 Continue readingSIGSOFT Research Highlights]]> Our paper “White-box fairness testing through adversarial sampling” published at ICSE 2020 has been selected for SIGSOFT Research Highlights. Check it out here: https://www.sigsoft.org/resources/highlights.html

]]> 281 Multiple ASE Papers Accepted: on Concurrency, SAT solving and Abstracting Neural Networks https://sunjun.site/multiple-ase-papers-accepted-on-concurrency-sat-solving-and-abstracting-neural-networks/?utm_source=rss&utm_medium=rss&utm_campaign=multiple-ase-papers-accepted-on-concurrency-sat-solving-and-abstracting-neural-networks Fri, 31 Jul 2020 07:56:09 +0000 https://sunjun.site/?p=264 Continue readingMultiple ASE Papers Accepted: on Concurrency, SAT solving and Abstracting Neural Networks]]> Guoliang Dong, Jingyi Wang, Jun Sun, Yang Zhang, Xinyu Wang, Ting Dai, Jin Song Dong and Xingen Wang: Towards Interpreting Recurrent Neural Networks through Probabilistic Abstraction, ASE 2020.

Yueling Zhang, Geguang Pu, and Jun Sun: Accelerating All-SAT Computation with Short Blocking
Clauses, ASE 2020

Haichi Wang, Zan Wang, Jun Sun, Shuang Liu, Ayesha Sadiq, Yuan-Fang Li: Towards Generating Thread-Safe Classes Automatically, ASE 2020.

]]> 264 Awards from ICSE 2020 https://sunjun.site/awards-from-icse-2020/?utm_source=rss&utm_medium=rss&utm_campaign=awards-from-icse-2020 Thu, 02 Jul 2020 03:27:22 +0000 https://sunjun.site/?p=259 Continue readingAwards from ICSE 2020]]> ACM Sigsoft distinguished paper award for “White-box Fairness Testing through Adversarial Sampling” authored by Peixin Zhang, Jingyi Wang, Jun Sun, Guoliang Dong, Xinyu Wang, Xingen Wang, Jin Song Dong and Dai Ting.

Award for Distinguished reviewer

Award for Reliable Rapid Response Reviewer

]]> 259 Learning Markov Chain? How many samples are sufficient? https://sunjun.site/learning-markov-chain-how-many-samples-are-sufficient/?utm_source=rss&utm_medium=rss&utm_campaign=learning-markov-chain-how-many-samples-are-sufficient Mon, 06 Apr 2020 03:12:43 +0000 https://sunjun.site/?p=243 Continue readingLearning Markov Chain? How many samples are sufficient?]]>
  • Hugo Bazille, Blaise Genest, Cyrille Jegourel and Jun Sun: “Global PAC Bounds for Learning Discrete Time Markov Chains”, CAV 2020.

    • ]]>     243     Multiple works on Solidity Smart Contracts published https://sunjun.site/multiple-works-on-solidity-smart-contracts-published/?utm_source=rss&utm_medium=rss&utm_campaign=multiple-works-on-solidity-smart-contracts-published Sat, 08 Feb 2020 09:40:38 +0000 https://sunjun.site/?p=239 Continue readingMultiple works on Solidity Smart Contracts published]]>
  • Jiao Jiao, Shuanglong Kan, Shangwei Lin, David Sanan, Yang Liu and Jun Sun: “Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity”, S&P 2020.
  • Duy Tai Nguyen, Long H. Pham, Jun Sun, Yun Lin and Minh Quang Tran: “sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts”, ICSE 2020.
  • Jiao Jiao, Shang-Wei Lin, and Jun Sun: “A General Formal Semantic Framework for Smart Contracts”. FASE 2020.
    • ]]>     239     Papers Accepted by ICSE 2020 https://sunjun.site/papers-accepted-by-icse-2020/?utm_source=rss&utm_medium=rss&utm_campaign=papers-accepted-by-icse-2020 Wed, 18 Dec 2019 06:56:24 +0000 https://sunjun.site/?p=225 Continue readingPapers Accepted by ICSE 2020]]>
  • Duy Tai Nguyen, Long H. Pham, Jun Sun, Yun Lin and Minh Quang Tran: “sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts”, ICSE 2020.
  • Peixin Zhang, Jingyi Wang, Jun Sun, Guoliang Dong, Xinyu Wang, Xingen Wang, Jin Song Dong and Dai Ting: “White-box Fairness Testing through Adversarial Sampling”, ICSE 2020.
  • Hengbiao Yu, Zhenbang Chen, Xianjin Fu, Ji Wang, Zhendong Su, Jun Sun,  Chun Huang and Wei Dong: “Symbolic Verification of Message Passing Interface Programs”. ICSE 2020.
    • ]]>     225