[MAIN PAGE] [TEACHING] [STUDENTS] [RESEARCH] [PUBLICATIONS] [TOOLS] [SERVICE]
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
Co-chairing CACM Special Section on East Asia and Oceania, to appear April 2020.
Co-organizing Shonan Meeting on Fuzzing and Symbolic Execution in September 2019.
Sergey Mechtaev receives 2019 ACM SIGSOFT Outstanding Doctoral Dissertation Award for his PhD work (Dissertation).
Abhik Roychoudhury is a Professor of Computer Science at the National University of Singapore. He is the Director of the National Satellite of Excellence in Trustworthy Software Systems at Singapore (2019-23). He is also the Lead Principal Investigator of the Singapore Cyber-security Consortium (2016-22), which is a consortium of 40 companies in the cyber-security space engaging with academia for research and collaboration. He has advised on secure and smart cyber-space in different capacities, including being an industry advisory board member of the London Office for Rapid Cyber-security Advancement (LORCA) since 2018. He has led the TSUNAMi research center (2015-20), a large five-year long targeted research effort funded by National Research Foundation in the domain of trust-worthy software.
He has served as an Associate Editor of IEEE Transactions on Software Engineering (TSE) during 2014-18. He is currently serving as an Associate Editor of IEEE Transactions on Dependable and Secure Computing (TDSC), ACM Transactions on Software Engineering and Methodology (TOSEM). His former doctoral students have been placed at universities all over the world as academics (Peking University, University College London, Monash, Shandong, SUSTech, SUTD) and have received various awards for their doctoral research including an ACM SIGSOFT Outstanding Doctoral Dissertation Award. Abhik received his own Ph.D. in Computer Science from the State University of New York at Stony Brook in 2000.
His research focuses on software testing and analysis, software security and trust-worthy software construction. His research on automatically repairing programs at a large scale contributes to the vision of self-healing software. Many of his recent research works have led to usage such as the research on program repair has been used for teaching of introductory programming via the Prutor system in India, and his research on fuzz testing in the form of the AFLFast tool has been integrated into the American Fuzzy Lop (AFL) fuzzer which is used by corporations for finding software vulnerabilities.
Software Recovery using Semantic Program Repair, with DSO/MINDEF, 2019-22.
Self-Healing Software, with ONR, 2018-20.
FuzzInfer: Fuzzing Protocol Implementations, with DSO/Monash, 2019-21.
National Satellite of Excellence in Trustworthy Software Systems,
Trustworthy systems from un-trusted component amalgamations,
Singapore Cyber-security Consortium,
Software timing analysis ( Tool, Papers )
Cache Side Channel Attacks (oo7, KLEESpectre, CacheFix)
2019: TimeMachine tool for fuzz testing Android apps released (paper in ICSE 2020).
2019: Marcel Boehme receives Australian Research Council (ARC) Discovery Early Researcher Award (DECRA) for his work on fuzz testing.
Keynote speaker at 25th Australasian Software Engineering Conference (ASWEC 2018), speaking on Automated Program Repair.
July 2018: Our approach oo7 defends against Spectre Attacks, and imposes low (less than 2%) performance overheads.
Speaker at the 9th International Summer School on Information Security and Protection, Australian National University, July 2018.
Keynote speaker at 21st IEEE International Symposium on Real-time Computing (ISORC), NTU Singapore, May 2018.
Our work on repair of non-functional properties of mobile apps is highlighted in IEEE Innovation Spotlight.
Keynote speaker at KLEE Workshop on Symbolic Execution (Apr 18), Imperial College London.
Older News (2017 and earlier)
Distinguished Lecture at Max-Planck Institute for Software Systems, July 2019.
Keynote at KLEE Workshop on Symbolic Execution, Imperial College London, April 2018.
Keynote in 21st International Symposium on Real-time Computing (ISORC) 2018, Singapore.
Future of Mobile Software Keynote at MobileSoft 2017, Buenos Aires, Argentina, May 2017.
Overview talk at Dagstuhl seminar on Automated Program Repair, Germany, January 2017.
"Education consists mostly of what we have unlearned" - Mark Twain
"There is no joy in the finite. There is joy only in the infinite." - Upanishads.
---> What can you infer by combining the above two statements?
And here is one of my favorites
"If you shut the door to all errors, truth will be shut out." - Rabindranath Tagore.
---> In formal verification - we establish truth of a property in a model by shutting out all errors!