Some Older News

Some Older News

[July23] Research program on (2023-27) launched under NRF National Cybersecurity R&D program

[Jan23] We are honored to receive ICSE Most Influential Paper Award for ICSE13 paper "SemFix: Program Repair via Semantic Analysis".

[Nov22] ESEC-FSE 2022 was in Singapore, thank you to all who attended 14-18 November 2022.

[Oct22] Gave an education class at Embedded Systems Week 2022 on Fuzz Testing and Program Repair (VIDEO).

[Mar22] Honored to receive IEEE TCSE New Directions Award, jointly with Cristian Cadar, for contributions to symbolic execution used for test generation and program repair.

[Jan22] Ministry of Education (MoE) Tier 3 program Automated Program Repair funded to 2027, Co-PIs Ilya Sergey and Chin Wei Ngan.

[Dec21] Thanks to Oracle Labs for their generous donation to support our research on program repair for security.

[Oct 21] Descartes program on smart cities with CNRS has been launched (Please apply).

[Sept 21] Congratulations to Xiang Gao for defending his PhD thesis.

[July 21] ISSTA21 paper on patch transplantation in Linux code receives Best Artifact award.

[June 21] AsiaCCS 21 paper on fault localization using fuzz testing gets Best paper award.

[May 21] Former PhD student and post-doc Marcel Boehme joining Max-Planck Institute for Security and Privacy as faculty member.

[April 21] CPR tool on Concolic Program Repair (see paper) released.

ACM TOSEM Continuous Open Section on Security and Software Engineering launched. Please contribute a paper.

Will be speaking at the NUS PhD e-open Day 2020, 29 October 2020

Singapore International Cyber Week (SICW) R & D Workshop, (watch Day 1) organized by Singapore Cybersecurity Consortium, October 2020.

Our perspectives article on Fuzz Testing or Fuzzing, due to appear in IEEE Software (Article)

TSUNAMi project building core capabilities in software security completes after more than 5 years.

Communications of the ACM, Special Section on East Asia and Oceania is out!

Article on "Singapore's Cybersecurity Ecosystem" appears in Communications of the ACM.

<2018-19>

Article and Video on "Automated Program Repair" appeared in Communications of the ACM.

[Jan 2020] Grant call launch by National Satellite of Excellence in Trustworthy Software Systems
Former PhD student Dr. Van-Thuan Pham joining University of Melbourne as Lecturer (Asst. Prof.).

2019: Article and Video on "Automated Program Repair" appeared in Communications of the ACM, December 2019.

2019: Co-organizing Shonan Meeting on Fuzzing and Symbolic Execution in September 2019.

2019: Releasing our oo7 checker for checking Spectre vulnerabilities in program binaries. Paper will appear in IEEE TSE.

2019: Dr. Sergey Mechtaev joins University College London (UCL) as Lecturer (Asst. Prof.). His PhD research was on Automated Program Repair.

2019: Dr. Sergey Mechtaev receives 2019 ACM SIGSOFT Outstanding Doctoral Dissertation Award for his PhD work at NUS (Dissertation).

2019: Marcel Boehme receives Australian Research Council (ARC) Discovery Early Researcher Award (DECRA) for his work on fuzz testing.

2018: Keynote speaker at 25th Australasian Software Engineering Conference (ASWEC 2018), speaking on Automated Program Repair.

2018: Speaker at the 9th International Summer School on Information Security and Protection, Australian National University, July 2018.

2018: Keynote speaker at 21st IEEE International Symposium on Real-time Computing (ISORC), NTU Singapore, May 2018.

2018: Our work on repair of non-functional properties of mobile apps is highlighted in IEEE Innovation Spotlight.

2018: Keynote speaker at KLEE Workshop on Symbolic Execution (Apr 18), Imperial College London.

2018: Marcel Boehme has joined Monash University as Lecturer (Asst. Prof.) and Shin Hwei Tan has joined SUSTech as Assistant Professor.

<2015-17>

Invited speaker at 7th International Symposium on High Confidence Software (Dec 2017), Peking University.

Panelist at India Singapore/ASEAN Entrepreneurship Bridge (Jan18) and at Singapore-German Chamber of Industry and Commerce (Oct17).
Keynote speaker on future of mobile software at Mobilesoft 2017, read my Position paper.
Chaired second Singapore Cyber-security Conference (SG-CRC 2017), Media Coverage.
Distinguished Lecture at University of Luxembourg Interdisciplinary Center for Security, Reliability and Trust (SnT) - VIDEO.
Co-organized Dagstuhl Seminar on Program Repair - January 2017.
Singapore Cyber-security Consortium launched - see News and Press Release: 20 Sept 2016 (Other News).

Test1080 - spin-off effort on 360 degree testing of mobile apps, funded an Innovation Grant 2016-18 - June 2016.

TSUNAMi project on software security is ongoing (2015-20), click HERE for our technology show-case and videos.

AFLFast, built by our group on the AFL fuzzer featured in Hacker news - August 2016. Read the paper here.

"Formula-based Software Debugging", a paper giving recent perspectives on debugging, due to appear in Communications of the ACM (CACM) - July 2016.

Program Repair tools Angelix and SemFix are released - February 2016.

Why International Symposium on Software Testing and Analysis (ISSTA) 2016 is adopting double-blind reviewing for the first time?
- Program Chair for International Symposium for Software Testing and Analysis 2016 -- ISSTA16.
- Also, thanks to the authors for record number of submissions this year !
TSUNAMi, a research center on software security funded by National Research Foundation (NRF) for five years 2015-20. See press release.

Co-chaired New Ideas and Emerging Results (NIER) in International Conf. on Software Engineering ICSE15. Here is an experience report.

<2014>

Talked at the Dagstuhl Seminar on Symbolic Execution and Constraint Solving, October 2014, Talk appears here.
Our monograph on software for multi-core embedded systems is out, see HERE and HERE for PDF file.
This is a monograph (~175 pages) describing advances in the area, published as a book-series.
I am co-chairing Doctoral Symposium at FSE 2014 in Hong Kong.
Will be talking on Symbolic techniques for Program Debugging and Repair. Check out our upcoming tutorial in FSE 2014.
Our paper Detecting Energy bugs and Hotspots in Mobile apps due to appear in FSE14, introduces software testing for stressing energy consumption. Patent filed for the method.
[June-July 2014]Marcel Böhme has successfully defended his PhD thesis - Photo1 from defense, Photo2 from defense.
[July 2014] Check out our new proposed benchmark suite CoreBench for studying realistic complex regression errors. Cite the accompanying paper in ISSTA'14, if you use it.
[Jan-May2014] Teaching CS4218 Software Testing and Debugging which simulates real-life scenarios, including taking ownership of other's code. See Lesson Plan and Course Project.
[Jan 2014] Talking at the 30th CREST Open Workshop on Search based Software Testing and Dynamic Symbolic Execution.

<2013>

[July 2013] Talking at the ISSTA Workshop on the Future of Debugging on July 15, 2013
[June 2013]. Qi Dawei received the Best PhD thesis award 2013 for his thesis "Semantic analyses to detect and localize software regression errors".
[April/May 2013] New grant on Trustworthy software from DSO / DRTech.
[Feb 2013] Talked on Program Repair at Dagstuhl Seminar on Fault Prediction, Localization and Repair, Germany, February 2013.

<2012 and earlier>

[Oct 2012] Invited to PAS 2012 in Beijing.
My views on embedded software verification given in my book are highlighted in EE Times as Editor's Top Picks, see edition on August 6th 2012.
Abhik is chairing the Design and Verification Track of RTSS 2012. See the Call for Papers.
We have received a research grant from A*STAR Public Sector Funding for doing research on timing analysis of embedded software. See Postdoc and RA opening.
Abhik is delivering a technical briefing on Symbolic Techniques for Software Debugging at ICSE 2012, jointly with Satish Chandra. The tutorial is on June 5, 2012.
Abhik is co-organizing a Workshop on the Future of Software Debugging, to brainstorm on this area, dates are Feb 28 - March 2, 2012.
Our paper on timing analysis of embedded software gets a Best paper award nomination from RTSS 2011 - one of the 4 nominated papers. This paper provides a powerful combination of model checking and abstract interpretation for tight analysis of quantitative properties such as timing. [Dec 2011]
My book "Embedded Systems and Software Validation" is translated into Chinese by Tsinghua University Press. [Sept 2011]
Our paper on timing analysis of embedded software gets a Best paper award nomination from RTAS 2011 [April 2011]
Our work on analysis of evolving programs has received a substantial grant from Ministry of Education (Postdocs, RAs being recruited) [Feb 2011]
Our paper on debugging of evolving programs receives ACM SIGSOFT Distinguished Paper Award from FSE 09. [August 2009].
- Read the paper here
My book "Embedded Systems and Software Validation" by Elsevier is out! [June 2009].
- Access the book's webpage.
My work on software modeling and validation receives an IBM Faculty Award [January 2009]