Research Awards & Achievements

October 2025
Distinguished Tool Paper
was awarded to:

at the 23rd International Symposium on Automated Technology for Verification and Analysis (ATVA 2025), for the paper, “PolyQEnt: A Polynomial Quantified Entailment Solver

August 2025
Honourable Mention
was received by:

at the 34th USENIX Security Symposium (USENIX Security 2025), for the paper, “Achilles: A Formal Framework of Leaking Secrets from Signature Schemes via Rowhammer”.

Honorable Mentions 34th USENIX Security Symposium recognise a select group of submissions that rank among the most exceptional in the conference. These distinctions highlight work that demonstrates outstanding technical merit, originality, and potential impact within the security and privacy research community.

August 2025
IEEE Transactions on Software Engineering (TSE) Best Paper Award
was awarded to:

from the IEEE Computer Society for the paper, “Stealthy Backdoor Attack for Code Models”.

The best paper of the IEEE Transactions on Software Engineering (TSE) that was published in the preceding year (2024).

August 2025
Best Paper Honourable Mentions
was received by:

at the IEEE VIS 2025, for the paper, “Qualitative Study for LLM-assisted Design Study Process: Strategies, Challenges, and Roles”.

July 2025
Best Paper Award
was awarded to:

at the 16th International Workshop on Computational Transportation Science (CTS 2025), for the paper, "Multi-terminal berth allocation with vessel rerouting and container transfers via shuttle vessels".

This is best paper award for the annual international workshop on computational transportation science. One of the most prestigious conferences on transportation intersects with optimization and computing.

July 2025
Most Influential Paper Award
was awarded to:

at the 25th IEEE International Conference on Software Quality, Reliability and Security (QRS 2025) for the paper, “Deep Learning for Just-in-Time Defect Prediction”.

The award is given on a ten-year basis to authors of papers published at QRS ten years ago that were judged to have the greatest impact on the theory or practice of software quality, reliability, and security in the ten years since its initial publication.

July 2025
June 2025
Outstanding Poster
was awarded to:

at the 1st CCF Graph Machine Learning Conference, for the poster, "Towards Graph Foundation Model: Multi-domain Pre-training and Multi-task Adaptation"

June 2025
June 2025
June 2025
FSE2025 Test-of-Time Award
was awarded to:

at the ACM International Conference on the Foundations of Software Engineering (FSE 2025) for the paper, “How practitioners perceive the relevance of software engineering research”.

The Test of Time Award is given annually recognizing highly influential papers published ten years ago.

May 2025
April 2025
April 2025
Honourable Mention
was received by:

at the ACM CHI conference on Human Factors in Computing Systems (CHI '25) for the paper, ““I can run at night!”: Using Augmented Reality to Support Nighttime Guided Running for Low-vision Runners”.

This has been awarded to papers in the top 5% of submissions.

March 2025
March 2025
Mark Weiser Best Paper Award
was awarded to:

at the 23rd International Conference on Pervasive Computing and Communications (PerCom 2025) for the paper, “Respear: Earable-based robust respiratory rate monitoring”.

November 2024
Best Paper Runner Up Award
was awarded to:
November 2024
2024 Google South Asia & Southeast Asia Research Awards
was awarded to:

Google South Asia & Southeast Asia Research Awards are focused on supporting exceptional computer science research in the region. Through this program we also intend to strengthen long-term collaborative relationships with faculty working on problems that will impact how future generations use technology.

For their papers,

  • Dong Ma, Singapore Management University
    Enabling Diverse Tiny Model Selection on Microcontroller-based IoT devices
  • Yang Deng, Singapore Management University
    Robust and Efficient Alignment for Integrity in Large Language Model Powered Conversational Agents

October 2024
INFORMS Outstanding SIG Paper in Urban Transportation
was awarded to:

at INFORMS 2024, for the paper, “Multiobjective Stochastic Optimization: A Case of Real-Time Matching in Ride-Sourcing Markets”. 

The INFORMS TSL Best Paper Award is given once a year to an outstanding paper in the field of transportation science and logistics.