yuhak.phd

미국 이공계 대학원 유학 길잡이

교수 정보를 불러오는 중이에요.

© 2026 yuhak.phd

서비스 소개 이용약관 개인정보처리방침

Qirun Zhang - Georgia Tech 교수

Georgia TechS 티어Associate

Qirun Zhang

Associate Professor · CS

공식 프로필 Scholar 검색

논문: 51
총 인용: 1,116
h-index: 15
최근 5년 논문: 20

연구 분야

Logic, programming, and type systems50%
Formal Methods in Verification15%
Software Engineering Research10%
Embedded Systems Design Techniques5%
Software Testing and Debugging Techniques5%
Complexity and Algorithms in Graphs5%

최근 5년 논문에서 각 분야가 차지하는 비중 (OpenAlex 분류)

진행 중인 연구비

진행 중인 NSF·NIH 과제가 확인되지 않았어요.

NSF·NIH 공개 데이터에서 교수 이름과 소속으로 자동 매칭한 책임연구자(PI) 과제예요. 국방부·에너지부·기업·재단 연구비는 포함되지 않아요. NSF는 과제 총액, NIH는 최근 회계연도 금액이에요. (2026년 10월 29일 확인)

대표 논문

1
Practical GUI Testing of Android Applications Via Model Abstraction and Refinement
Tianxiao Gu, C. P. Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, …
ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 2019인용 196회논문 보기
2
Toward understanding compiler bugs in GCC and LLVM
C. P. Sun, Vu Le, Qirun Zhang, Zhendong Su
International Symposium on Software Testing and Analysis · 2016인용 125회논문 보기
3
Perses
C. P. Sun, Yuanbo Li, Qirun Zhang, Tianxiao Gu, Zhendong Su
ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 2018인용 114회논문 보기
4
Skeletal program enumeration for rigorous compiler testing
Qirun Zhang, C. P. Sun, Zhendong Su
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 2017인용 96회논문 보기
5
Fast algorithms for Dyck-CFL-reachability with applications to alias analysis
Qirun Zhang, Michael Rung-Tsong Lyu, Hao Yuan, Zhendong Su
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) · 2013인용 71회논문 보기

연도별 논문 수

최근에도 활발히 연구하는지 한눈에 볼 수 있어요.

317

318

119

520

221

722

723

524

425

226

이 교수에게 컨택하기 전에

내 연구와 핏 분석하기 컨택 메일 첨삭 받기 (무료)

소속 · 링크

Georgia Tech
CS · Associate Professor
공식 교수 프로필 학과 디렉터리

최근 소식

새 논문Robustifying Debug Information Updates in LLVM via Control-Flow Conformance Analysis(2025)
새 논문DESTIVA: DEcomposing Spatially and Temporally for translatIon VAlidation(2026)
새 논문Spatial and Temporal Decomposition for Faster Translation Validation(2026)

경력 (논문 소속 기준)

Georgia Institute of Technology2019–현재
University of California, Davis2016–2018
Chinese University of Hong Kong2010–2011

논문에 적힌 소속을 연도별로 모은 것이라 박사·박사후 과정과 방문연구가 함께 보여요. 임용 날짜는 아니에요.

자주 함께 연구하는 사람

Shuo DingGeorgia Institute of Technology
Benjamin MikekGeorgia Institute of Technology
Thomas RepsUniversity of Wisconsin–Madison
Yuxiang LeiUNSW Sydney
Yulei SuiUNSW Sydney

최근 5년 공저 논문 기준

지원할 수 있는 프로그램

Robotics (PhD)PhD Computer Science (PhD)PhD Computer Science (MS)MS

출처: 공식 교수·학과 페이지 (2026년 8월 30일 확인) · OpenAlex (2026년 10월 29일 갱신)