Lang Liu

刘郎
Ph.D. student in Computer Science
Programming Languages · Formal Methods · Software Engineering

About Me

I am a Ph.D. student in Computer Science at Illinois Institute of Technology. My advisor is Farzaneh Derakhshan . Currently, I am working on LabelBI, a logic system based on the logic of Bunched Implication that enables compositional reasoning about underapproximations.

Publications

Quantified Underapproximation via Labeled Bunches Lang Liu, Farzaneh Derakhshan, Limin Jia, Gabriel A. Moreno, Mark Klein
Proceedings of the ACM on Programming Languages, Volume 9 (OOPSLA2 2025). Singapore

[acm dl]

Postlude

资质鄙陋，常不敢妄言。 Humble as I, slow to say hi.

闲敲代码，度日有月悬。 Code as hobby, from day to night.

立身于世，靠谱与实干。 Devotion and working, are what to stand by.

与君共睹，创事业斐然。 Build a miracle, with you and I.