HK CUHKDepartment of Computer Science and Engineering Dec 1
Michael Rung Tsong Lyu Choh-Ming Li Professor of Computer Science and Engineering Works on software engineering and AI, including large language models for code, AIOps log analysis and dependable computing.
2026 3D Software Synthesis Driven by Constraint-Expressive Intermediate Representation ICSE 2026 Data Compressibility Quantifies LLM Memorization TMLR 45 T1144 papers26 members102 alumniUS UCSDComputer Science and Engineering Dec 15
Builds programming systems and GPU-optimized libraries, with work on compilers for machine learning and quantum computing.
2026 AMMA: A Multi-Chiplet Memory-Centric Architecture for Low-Latency 1M Context Attention Serving MICRO 2026 AsymHP: Load-Balanced Sparse Attention for Video Diffusion Transformers NeurIPS 44 T155 papers12 members15 alumniGB CambridgeEngineering - Information Engineering Division Dec 8
Combines control theory and formal verification to provide formal guarantees for increasingly complex AI agents, drawing on decision theory, logic and…
2026 Best-Effort Policies for Robust Markov Decision Processes AAAI 2026 Efficient and Scalable Multi-Agent Traffic Signal Control via Mean-Field Approximation in Reinforcement Learning ICCAD 35 T192 papersGroup size not listed US UIUCElectrical and Computer Engineering Dec 1
Studies trustworthy machine learning, including formal verification of neural networks and AI safety and robustness.
2026 BEAT: Visual Backdoor Attacks on VLM-based Embodied Agents via Contrastive Trigger Learning ICLR 2026 DR-SAC: Distributionally Robust Soft Actor-Critic for Reinforcement Learning under Uncertainty ICLR 34 T137 papers14 members4 alumniUS UIUCSiebel School of Computing and Data Science Dec 1
Studies trustworthy and efficient AI, including formal verification of neural networks and systems for machine learning.
2026 Certifying Reading Comprehension in Large Language Models AISTATS 2026 Corruption Robust Thompson Sampling for Gaussian Bandits AISTATS 31 T163 papers11 members14 alumniUS CMUComputer Science Department Dec 9
Builds systems for efficient machine learning, including compilers and serving systems for large language models.
2026 AdaServe: Accelerating Multi-SLO LLM Serving with SLO-Customized Speculative Decoding EuroSys 2026 Event Tensor: A Unified Abstraction for Compiling Dynamic Megakernel MLSys 29 T130 papers7 members12 alumniDE TUMDepartment of Computer Science
Applies AI to software engineering, including large language models for code and automated analysis and generation of mobile app GUIs.
2026 A Semantic-based Optimization Approach for Repairing LLMs: Case Study on Code Generation ICSE 2026 Breaking Single-Tester Limits: Multi-Agent LLMs for Multi-User Feature Testing ICSE 28 T167 papers11 members7 alumniUS UIUCSiebel School of Computing and Data Science Dec 1
Studies compilers and machine learning for program optimization, including learned cost models and compilers for ML workloads.
2026 SAS: Sparse Attention Synthesizer for Efficient Language Model Inference EuroSys 2026 VTC: DNN Compilation with Virtual Tensors for Data Movement Elimination OSDI 22 T129 papers13 members9 alumniUS StanfordComputer Science Dec 8
Fredrik Kjolstad Assistant Professor of Computer Science Builds compilers for sparse tensor algebra and array programming used in scientific computing and machine learning.
2026 A Compiler for Fused Relational Operations on Multisets PACMPL 2026 Bonsai: Compiling Queries to Pruned Tree Traversals PACMPL 21 T130 papers9 members4 alumniUS UIUCSiebel School of Computing and Data Science Dec 1
Studies software engineering with AI, including code LLMs and agents for program repair and testing.
2026 CAPTCHA Solving for Native GUI Agents: Automated Reasoning-Action Data Generation and Self-Corrective Training ICML 2026 Toward Training Superintelligent Software Agents Through Self-Play SWE-RL ICML 20 T136 papers15 members30 alumniCN SJTUSchool of Computer Science May 31
Xiaodong Gu Tenured Track Associate Professor Works on large language models for intelligent software engineering, including code generation and program comprehension.
2026 Anti-Adversarial Learning: Desensitizing Prompts for Large Language Models AAAI 2026 Attention as a Compass: Efficient Exploration for Process-Supervised RL in Reasoning Models ICLR 18 T140 papers7 members4 alumniSG NUSDepartment of Computer Science Dec 15
Leads the WING group on natural language processing, information retrieval and digital libraries, including scientific discourse analysis and fact verification.
2026 AnalysisBank: An Expert Analysis Pattern Library for Financial Report Generation EMNLP 2026 The Facade of Truth: Uncovering and Mitigating LLM Susceptibility to Deceptive Evidence EMNLP 17 T168 papers15 members45 alumniCN ZhejiangCollege of Computer Science and Technology Feb 28
Jiachi Chen ZJU 100 Young Professor Researches AI for software engineering, including repository-level code generation and software agents, trustworthy LLMs and agents, and AI for Web3 and…
2026 ArkRepoBench: A Repository-Level Code Completion Benchmark for HarmonyOS Development ACL 2026 FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction ICSE 16 T181 papersGroup size not listed SG NUSDepartment of Computer Science Dec 15
Works on formal methods and model checking (PAT), trusted AI and LLM agents, probabilistic reasoning and tennis strategy analytics.
2025 ALMGuard: Safety Shortcuts and Where to Find Them as Guardrails for Audio¿Language Models NeurIPS 2025 Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus POPL 16 T125 papers3 members33 alumniUS UT AustinComputer Science Dec 15
Combines formal methods and machine learning, building neurosymbolic program synthesis, automated reasoning and trustworthy learning systems.
2026 Canopy: Property-Driven Learning for Congestion Control EuroSys 2026 Lean finder: Semantic search for mathlib that understands user intents ICLR 16 T130 papers9 members9 alumniCA TorontoComputer Science Dec 1
Xujie Si Assistant Professor Studies neuro-symbolic learning and reasoning, program synthesis and verification.
2026 Divide and Abstract: Autoformalization via Decomposition and Abstraction Learning ICLR 2026 Ground False: Uncovering Errors in Formal Mathematics Benchmarks NeurIPS 16 T131 papers10 members10 alumniUS UMDElectrical and Computer Engineering
Cunxi Yu Assistant Professor Develops machine-learning-driven design automation and compilers for hardware and AI systems.
2026 A Scalable Lift-and-Project Differentiable Approach For the Maximum Cut Problem AISTATS 2026 AutoPD: Question-Driven MCTS from Paper Artifacts to PPA-Adaptive Physical-Design Algorithms ICCAD 11 T151 papers8 members6 alumniUS Georgia TechElectrical and Computer Engineering Dec 15
Studies control and verification of autonomous and cyber-physical systems using formal methods and learning.
2026 A linear differential inclusion for contraction analysis to known trajectories TAC 2026 Learning cooperative strategies for drone swarms using multi-agent reinforcement learning ICRA 11 T163 papers7 members13 alumniUS MITElectrical Engineering and Computer Science Dec 1
Armando Solar-Lezama Distinguished Professor of Computing, MIT Schwarzman College of Computing; Professor of EECS Studies program synthesis, combining programming languages and machine learning to generate code from specifications.
2025 EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths NeurIPS 2025 LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code ICLR 9 T118 papers9 members23 alumniUS USCComputer Science Dec 15
Weihang Wang Associate Professor of Computer Science Researches the intersection of artificial intelligence and software engineering, including testing and analysis of web and AI systems.
2026 Broken Promise: Differential Analysis of Porting Discrepancies in WebAssembly WWW 2026 CLARC: C/C++ Benchmark for Robust Code Search ICLR 9 T115 papers5 members8 alumni