Jin Song Dong
Professor
Works on formal methods and model checking (PAT), trusted AI and LLM agents, probabilistic reasoning and tennis strategy analytics.
Jin Song Dong's lab at NUS works on probabilistic & causal inference, reasoning & agents and compilers & programming languages. 25 papers since 2023, 16 at top venues, mostly NeurIPS and ICML. 33 alumni, most often to Google and Apple. Applications close .
At a glance
- papers, 2023–2026
- 7/ year
- at T1 venues
- 64%
- PhD students
- 0
- MS students
- 0
- alumni listed
- 33
Papers by yearfrom the lab homepage, 2023–2026
- 0 papers2026 · T1 0 · collecting
- 10 papers2025 · T1 7
- 5 papers2024 · T1 3
- 10 papers2023 · T1 6
T1 venuesOtherVenues: NeurIPS, ICML, USENIX Security, KDD, FSE
Research focuspaper titles that use each topic's words
- Reasoning & agents1 paper
- Probabilistic & causal inference0 papers
- Compilers & programming languages0 papers
- checking0 papers
- trusted0 papers
Paper list
From the lab homepage.
202510 papers
- NeurIPS (T1)ALMGuard: Safety Shortcuts and Where to Find Them as Guardrails for Audio¿Language Models
- POPL (T1)Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus
- ICML (T1)Clustering Properties of Self-Supervised Learning
- ICML (T1)Defending LVLMs Against Vision Attacks through Partial-Perception Supervision
- —F3Set Towards Analyzing Fast, Frequent, and Fine-grained Events from Videos, ICLR
- NeurIPS (T1)FracFace: Breaking the Visual Clues¿Fractal-Based Privacy-Preserving Face Recognition
- NeurIPS (T1)RvLLM: LLM Runtime Verification with Domain Knowledge
- ICML (T1)Trustworthy AI Agents Require the Integration of LLM with Formal Methods
- OOPSLAVerification of Bit-Flip Attacks against Quantized Neural Networks
- Usenix SecWhispering Under the Eaves: Protecting User Privacy Against Commercial and LLM-powered Automatic Speech Recognition Systems
20245 papers
- WWW (T1)A Symbolic Rule Integration Framework with Logic Transformer for Inductive Relation Prediction
- .Certified Quantization Strategy Synthesis for Neural Networks, International Symposium on Formal Methods (FM)
- ISSTACoEdPilot: Recommending Code Edits with Learned Prior Edit Relevance, Project-wise Awareness, and Interactive Nature
- USENIX Security (T1)Less Defined Knowledge and More True Alarms: Reference-based Phishing Detection without a Pre-defined Reference List
- USENIX Security (T1)PhishDecloaker: Detecting CAPTCHA-cloaked Phishing Websites via Hybrid Vision-based Interactive Models
202310 papers
- —A Quaternion-Valued Neural Network Approach to Nonsmooth Nonconvex Constrained Optimization in Quaternion Domain, IEEE Transactions on Emerging Topics in Computational Intelligence
- FSE (T1)An Interactive Time-Travelling Debugging Approach for Deep Classifiers
- KDD (T1)B2-Sampling: Fusing Balanced and Biased Sampling for Graph Contrastive Learning
- ICSE (T1)DeepArc: Modularizing Neural Networks for the Model Maintenance
- KDD (T1)Empower Post-hoc Graph Explanations with Information Bottleneck: A Pre-training and Fine-tuning Perspective
- —IEEE Transactions on Neural Networks and Learning Systems
- ICDMInsight Analysis for Tennis Strategy and Tactics
- .J. S. Dong Post-GDPR Threat Hunting on Android Phones: Dissecting OS-level Safeguards of User-unresettable Identifiers The Network and Distributed System Security Symposium (NDSS)
- USENIX Security (T1)Knowledge Expansion and Counterfactual Interaction for Reference-Based Phishing Detection
- NeurIPS (T1)On-the-Fly Adapting Code Summarization on Trainable Cost-Effective Language Models
Where alumni went33 listed, 38% to industry
Industry 8Academia 13
Most often to
- Apple
- IBM
Also to
- Huazhong University of Science and Technology
- Aston University
- Monash University
Apply to NUSFall 2027
School of Computing PhD in Computer Science
- Round
- Main
- Opens
- —
- GRE
- See program page
- English
- See program page
- Fee
- See program page
Not yet confirmed for this intake.
Similar labsnearest by research summary
- CHEPFL
Olga Fink
- Accelerators, chips & architecture
- USUCSD
Babak Salimi
- Probabilistic & causal inference
- USUIUC
Charles L. Isbell, Jr.
- Reinforcement learning
- CHEPFL
Martin Schrimpf
- Neuroscience & brain-computer interfaces
- USNYU
Juliana Freire
- Recommendation, search & web
- DETUM
Xiao Xiang Zhu
- Physics, climate & scientific computing
Your notes
Save this lab to keep notes.
Data
Checked against the lab homepage.
- Collected
- Verified
- Papers
- The lab homepage
- Members
- Lab homepage
- Alumni
- Lab homepage
Tiers are venue classifications, not lab rankings.
NUScloses