PhD Student
Department of Computer Science
Columbia University
1214 Amsterdam Ave.
463 CSB
Mail Code 0401
New York, NY 10027
Email: jingyue AT cs DOT columbia DOT edu
Phone: (646) 775-6065
When I was small and christmas trees were tall,
we used to laugh while others used to play...
I am a fourth year PhD student in Department of Computer Science at Columbia University. I am working with Professor Junfeng Yang in the Reliable Computer Systems lab. My research focuses on software reliability, distributed systems, and operating systems.
I also serve as the coach for Columbia's programming contest team starting from the year 2010.
Sound and Precise Analysis of Multithreaded Programs through Schedule Specialization
[ bib |
pdf ]
Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '12), June, 2012
Efficient Deterministic Multithreading through Schedule Relaxation
[ bib |
pdf ]
Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP '11), October, 2011
Optimizing Data Partitioning for Data-Parallel Computing
[ pdf ]
13th Workshop on Hot Topics in Operating Systems (HotOS XIII), May, 2011
Bypassing Races in Live Applications with Execution Filters
[ bib |
pdf ]
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI '10), October, 2010
Stable Deterministic Multithreading through Schedule Memoization
[ bib |
pdf ]
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI '10), October, 2010