nus-plse.github.io - NUS PLSE - Programming Languages & Software Engineering @ NUS

home > domains > nus-plse.github.io

Example domain paragraphs

PLSE@NUS is the Programming Languages and Software Engineering lab at School of Computing, National University of Singapore. We’re steadfast to the mission of creating trustworthy systems by advancing the state of the art in key research areas such as analysis and bug detection, formal verification, program synthesis, specification inference, automated program repair, software testing, concurrency and distributed systems.

Four papers from the PLSE lab [ 1 , 2 , 3 , 4 ] will be presented at PLDI'23 in Orlando, FL on June 17-21, 2023.

Abhik Roychoudhury 's paper titled "SemFix: Program Repair via Semantic Analysis" published in ICSE 2013 received ICSE 2023 Most Influential Paper Award .

Links to nus-plse.github.io (9)

• ilyasergey.net Ilya Sergey
• gopiandcode.uk Gopiandcode > Who am I?
• manuelrigger.at Manuel Rigger
• abhikrc.com Abhik Roychoudhury
• verse-lab.github.io VERSE Lab
• nus-test.github.io Trustworthy Engineering of Software Technologies (TEST) Lab
• sunchangsheng.com Sun Changsheng | 孙常晟
• rshariffdeen.github.io Dr. Ridwan Shariffdeen - National University of Singapore
• rshariffdeen.com Dr. Ridwan Shariffdeen - National University of Singapore