TAN, Tian Huat

Lead Data Scientist, IBM

Email: tianhuathome [at] gmail.com

Announcement

Welcome to my academic page! From Sept 2016, I have moved to industry from academia.
Please refer to my linkedin page for updated information on what I have been working on in the industry :)

Education

Research Interests

My current research interests include, but not necessary limited to:

Educational Awards

Professional Activities

Programme Committee Member of
  • The 20th International Conference on Engineering of Complex Computer Systems (ICECCS 2015), Gold Coast, Australia, 2015.
  • The 22th Asia Pacific Software Engineering Conference (APSEC 2015), New Delphi, India, 2015.
  • The 19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014) (Doctoral Symposium), Tianjin, China, 2014.
    • Publication Chair of
  • The 20th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2014), Singapore, 2014.

    • Publications

    My research work has been published in some internationally highly reputable journals (e.g., TIFS 2017), and conferences (e.g., ICSE 2017, ASE 2016, ICSE 2016, ISSTA 2015, ICSE 2014, FM 2014, WWW 2014). Below are the details of them. For each publication, I have attached the paper (pdf), the bibliography (bib), and some with presentation slides (slides) if available.

    Patents

    1. [Patent 2019] Eugene Aseev, Stanislav S. Protasov, Tian Huat Tan, Serguei M . Beloussov. System and Method for Automatic Software Installation and Configuration. U.S. Patent US20180232245A1 (Issued on December 3, 2019) [link]

    Journals

    1. [TIFS 2017] Guozhu Meng, Yinxing Xue, Yang Liu, Tian Huat Tan, Hongxu Chen, Jie Zhang and Jun Sun. Auditing Anti-Malware Tools by Evolving Android Malware and Dynamic Loading Technique. Transactions on Information Forensics & Security. [pdf, bib]
    2. [ASOC 2016] Yinxing Xue, Jinghui Zhong, Tian Huat Tan, Yang Liu, Wentong Cai, Manman Chen and Jun Sun. IBED: Combining IBEA and DE for optimal feature selection in software product line engineering. Applied Soft Computing. [pdf, bib]

    Conferences

    1. [ICSE 2017] Tian Huat Tan, Yinxing Xue, Manman Chen, Shuang Liu, Yi Yu and Jun Sun. JSFox: Integrating Static and Dynamic Type Analysis of JavaScript Programs. The 39th International Conference on Software Engineering (ICSE 2017), Argentina, May 20th - 28th, 2017. [pdf, bib, postal]
    2. [ASE 2016] Xin Peng, Jingxiao Gu, Tian Huat Tan, Jun Sun, Yijun Yu, Bashar Nuseibeh and Wenyu Zhao. CrowdService: Optimizing Mobile Crowdsourcing and Service Composition. The 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), Singapore, September 3rd - 7th, 2016. [pdf, bib]
    3. [ICFEM 2016] Truong Khanh Nguyen, Tian Huat Tan, Jun Sun, Jiaying Li, Yang Liu, Manman Chen and Jin Song Dong. Scaling BDD-based Timed Verification with Simulation Reduction. The 18th International Conference on Formal Engineering Methods (ICFEM 2016), Tokyo, Japan, November 14th - 18th, 2016. [pdf, bib]
    4. [ICFEM 2016] Manman Chen, Tian Huat Tan, Jun Sun, Jingyi Wang, Yang Liu, Jing Sun and Jin Song Dong. Service Adaptation with Probabilistic Partial Models. The 18th International Conference on Formal Engineering Methods (ICFEM 2016), Tokyo, Japan, November 14th - 18th, 2016. [pdf, bib]
    5. [ICSE 2016] Tian Huat Tan, Manman Chen, Jun Sun, Yang Liu, Étienne André, Yinxing Xue and Jin Song Dong. Optimizing Selection of Competing Services with Probabilistic Hierarchical Refinement. The 38th International Conference on Software Engineering (ICSE 2016), Austin, TX, May 14th - 22nd, 2016. (Acceptance rate: 19%). [pdf, bib, slides]
    6. [ISSTA 2015] Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu and Jin Song Dong. Optimizing Selection of Competing Features via Feedback-directed Evolutionary Algorithms. International Symposium on Software Testing and Analysis (ISSTA 2015), Baltimore, Maryland, July 14th - July 17th, 2015. (Acceptance rate: 27.7%). [pdf, bib, slides]
    7. [AsiaCCS 2015] Junjie Wang, Yinxing Xue, Yang Liu and Tian Huat Tan. JSDC: A Hybrid Approach for JavaScript Malware Detection and Classification. The 10th ACM Symposium on Information, Computer and Communications Security (AsiaCCS 2015), Singapore. April 14th - April 17th, 2015. [pdf, bib, slides]
    8. [ICSE 2014] Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu and Jin Song Dong. VeriWS: A Tool for Verification of Combined Functional and Non-functional Requirements of Web Service Composition. The 36th International Conference on Software Engineering (ICSE 2014), Hyderabad. India. May 31th - June 7th, 2014. [pdf, bib, slides]
    9. [FM 2014] Yi Li, Tian Huat Tan, and Marsha Chechik. Management of Time Requirements in Component-based Systems. The 19th International Symposium on Formal Methods (FM 2014). Singapore, May 12th - May 16th, 2014. (Acceptance rate: 28%). [pdf, bib, slides]
    10. [WWW 2014] Tian Huat Tan, Manman Chen, Étienne André, Jun Sun, Yang Liu and Jin Song Dong. Automated Runtime Recovery for QoS-based Service Composition. The 23rd International World Wide Web Conference (WWW 2014). Seoul, Korea, April 7th - April 11th, 2014. (Acceptance rate: 12.9%). [pdf, bib, slides]
    11. [ICFEM 2013] Manman Chen, Tian Huat Tan, Yang Liu and Jun Sun. Verification of Functional and Non-functional Requirements of Web Service Composition. The 15th International Conference on Formal Engineering Methods (ICFEM 2013), Queenstown, New Zealand, Oct 29th - Nov 1st, 2013. [pdf, bib, slides]
    12. [ICSE 2013] Tian Huat Tan, Etienne Andre, Jun Sun, Yang Liu, Jin Song Dong and Manman Chen. Dynamic Synthesis of Local Time Requirement for Service Composition. The 35th International Conference on Software Engineering (ICSE 2013), San Francisco, CA, USA, May 18th - 26th, 2013. (Acceptance rate: 18%) [pdf, extended version, bib, slides]
    13. [ICFEM 2011] Tian Huat Tan, Yang Liu, Jun Sun and Jin Song Dong. Verification of Computation Orchestration System with Compositional Partial Order Reduction. The 13th International Conference on Formal Engineering Methods (ICFEM 2011), pages 98-114, Durham, United Kingdom, October 25th - 28th, 2011. [pdf, bib, slides]
    14. [APSEC 2010] Jun Sun, Yang Liu, Jin Song Dong, Geguang Pu and Tian Huat Tan. Model-based Methods for Linking Web Service Choreography and Orchestration. The 17th Asia Pacific Software Engineering Conference (APSEC 2010), pages 166-175, Sydney, Australia, Nov 30th - Dec 3rd, 2010. [pdf, bib, slides]
    15. [SSIRI 2010] Tian Huat Tan. Towards verification of a service orchestration language. The 4th International Conference on Secure Software Integration and Reliability Improvement (SSIRI 2010), pages 36-37, Singapore, June 9th - 11th, 2010. [pdf, bib, slides]

    Industry Experience

    Please refer to my linkedin page for updated information.

    Useful Links