SUN Jun, Associate Professor

The deadline is approaching (Oct 10). https://www.icse2018.org/track/icse-2018-workshop-proposals

FM 2015: Verifying Parameterized Timed Security Protocols, by Li Li, Jun Sun, Yang Liu and Jin Song Dong ISSTA 2015: JS*: Detection and Classification of Malicious JavaScript via Attack Behavior Modelling, by Yinxing Xue,…

For TASE’15, we would feature three keynote talks by Prof. Patrick Cousot and Prof. Marsha Chechik and Prof. Dong Jin Song

http://www.channelnewsasia.com/news/singapore/seven-cyber-security/1415680.html Awarded two projects as co-PI: SUTD-ASPIRE (SUTD) and Securify (NTU, NUS, SUTD). Let the hard-working begin.

Henri Hansen, Shang-Wei Lin, Yang Liu, Truong Khanh Nguyen and Jun Sun, “Diamonds are a Girl’s Best Friend: Partial Order Reduction for Timed Automata With Abstractions”.

Consider submitting to the following conferences which I am on PC list. ICSE-NIER 2015, AVOCS 2014, ICECCS 2014, ICFEM 2014, UTP 2014, TIME 2014, SEFM 2014, SSV 2014

Title: “Detecting and Summarizing Differences across Multiple Instances of Code Clones” Authors: Yun Lin, Zhenchang Xing, Yinxing, Yang Liu, Xin, Jun Sun and Wenyun Zhao Congratulations to Lin Yun.

TITLE: Automated Runtime Recovery for QoS-based Service Composition AUTHORS: Tian Huat Tan, Manman Chen, Étienne André, Jun Sun, Yang Liu and Jin Song Dong

TITLE: Language Inclusion Checking for Timed Automata AUTHORS: Ting Wang, Jun Sun, Yang Liu, Xinyu Wang and Shanping Li

http://people.sutd.edu.sg/~sunjun/bungy.mp4