![Jun Sun](https://conf.researchr.org/getProfileImage/junsun/7dbca2e9-cc9c-493e-b7e2-e0cbf600c641/small.jpg?1711464112000)
Registered user since Sun 30 Oct 2016
Name:Jun Sun
Bio:
SUN, Jun is an associate professor at Singapore University of Technology and Design. He received Bachelor and PhD degrees in computing science from National University of Singapore (NUS) in 2002 and 2006. In 2007, he received the prestigious LEE KUAN YEW postdoctoral fellowship in School of Computing of NUS. Since 2010, he joined Singapore University of Technology and Design (SUTD) as an Assistant Professor. He was a visiting scholar at MIT from 2011-2012. Jun’s research interests include software engineering, formal methods, program analysis and cyber-security. He is the co-founder of the PAT model checker.
Country:Singapore
Affiliation:Singapore University of Technology and Design
Personal website: http://people.sutd.edu.sg/~sunjun/
Research interests:formal methods, software engineering, cyber-security
Contributions
2018
ICSE
- Poster T24: Testing Heap-Based Programs with Java StarFinder
- Committee Member in Workshops program commitee within the Workshops-track
- ACM Research Student Competition Chair in Organizing committee
- Static Analysis of Context Leaks in Android Applications
- Towards Optimal Concolic Testing
- Session Chair of Poster Exhibition (part of SRC - ACM Student Research Competition )
- Poster T54: Benchmarking Microservice Systems for Software Engineering Research
- Co-chair in Program Committee within the SRC - ACM Student Research Competition -track
* ICSE 2018 *-profile
View general profile
View general profile