Some Older News

Some Older News

<2018-19>

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]