Xin Zhang
Assistant Professor
Researches programming languages and software engineering, focusing on program analysis and its interplay with machine learning.
Xin Zhang's lab at Peking works on compilers & programming languages. 19 papers since 2023. 9 PhD students. 2 alumni. Applications close .
At a glance
- papers, 2023–2026
- 5/ year
- at T1 venues
- 0%
- PhD students
- 9
- MS students
- 0
- alumni listed
- 2
Papers by yearfrom the lab homepage, 2023–2026
- 10 papers2026 · T1 0 · collecting
- 5 papers2025 · T1 0
- 3 papers2024 · T1 0
- 1 papers2023 · T1 0
T1 venuesOther
Research focuspaper titles that use each topic's words
- program10 papers
- program analysis8 papers
- Compilers & programming languages1 paper
- programming languages0 papers
- software engineering0 papers
Paper list
From the lab homepage.
202610 papers
- PLDI : ACM SIGPLAN Conference on Programming Language Design and ImplementationAbstract Interpretation with Confidence
- POPL : ACM SIGPLAN Symposium on Principles of Programming LanguagesAccelerating Syntax-Guided Program Synthesis by Optimizing Domain-Specific Languages
- OOPSLA : ACM Conference on Object-Oriented Programming, Systems, Languages, and ApplicationsBeer: Interactive Alarm Resolution in Bayesian Program Analysis via Exploration-Exploitation
- IJCAI : International Joint Conference on Artificial IntelligenceFocus-LIME: Surgical Interpretation of Long-Context Large Language Models via Proxy-Based Neighborhood Selection
- POPL : ACM SIGPLAN Symposium on Principles of Programming LanguagesFuzzing Guided by Bayesian Program Analysis
- ASE : IEEE/ACM International Conference on Automated Software EngineeringGPU-Accelerated Belief Propagation for Program Analysis
- TOPLAS : ACM Transactions on Programming Languages and SystemsGuiding LLM-based Loop Invariant Synthesis via Feedback on Local Reasoning Errors
- OOPSLA : ACM Conference on Object-Oriented Programming, Systems, Languages, and ApplicationsLLM-Based Alarm Resolution Guided by Bayesian Program Analysis
- ICML : International Conference on Machine LearningMAnchors: Memorization-Based Acceleration of Anchors via Rule Reuse and Transformation
- ACL : Annual Meeting of the Association for Computational LinguisticsRevitalizing Black-Box Interpretability: Actionable Interpretability for LLMs via Proxy Models
20255 papers
- ASE : IEEE/ACM International Conference on Automated Software EngineeringBelief Propagation with Local Structure and Its Applications in Program Analysis
- OOPSLA : ACM Conference on Object-Oriented Programming, Systems, Languages, and ApplicationsCombining Formal and Informal Information in Bayesian Program Analysis via Soft Evidences
- OOPSLA : ACM Conference on Object-Oriented Programming, Systems, Languages, and ApplicationsOn Abstraction Refinement for Bayesian Program Analysis
- AAAI : Annual AAAI Conference on Artificial IntelligenceReX: A Framework for Incorporating Temporal Information in Model-Agnostic Local Explanation Techniques
- TSE : Transactions on Software EngineeringSmartFL: Semantics Based Probabilistic Fault Localization
20243 papers
- OOPSLA : ACM Conference on Object-Oriented Programming, Systems, Languages, and ApplicationsLearning Abstraction Selection for Bayesian Program Analysis
- OOPSLA : ACM Conference on Object-Oriented Programming, Systems, Languages, and ApplicationsScaling Abstraction Refinement for Program Analyses in Datalog Using Graph Neural Networks
- —电子学报 2024
20231 paper
- ISSRE : International Symposium on Software Reliability EngineeringA Probabilistic Delta Debugging Approach for Abstract Syntax Trees
Where alumni went2 listed
Apply to PekingFall 2027
Computer Science PhD (international applicants)
- 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
- GBOxford
Maike Osborne
- Probabilistic & causal inference
- CNZhejiang
Rongpeng Li
- Reinforcement learning
- GBEdinburgh
Antonio Vergari
- Probabilistic & causal inference
- GBCambridge
Neil Lawrence
- Probabilistic & causal inference
- USUSC
Weihang Wang
- Compilers & programming languages
- USCMU
Barnabas Poczos
- Learning theory & optimization
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.
Pekingcloses