Jun Chen

Testing concurrent programs using value schedules

Jun Chen, Steve MacDonald, S. MacDonald, 2007, ASE.

Deterministically Executing Concurrent Programs for Testing and Debugging

Jun Chen, Diego Novillo, Steve MacDonald, 2006, Software Engineering Research and Practice.

Choosing Among Alternative Futures

Jun Chen, Diego Novillo, Steve MacDonald, 2005, Haifa Verification Conference.

Guided Testing of Concurrent Programs Using Value Schedules

Jun Chen, Jun Chen, 2009 .

Towards a better collaboration of static and dynamic analyses for testing concurrent programs

Jun Chen, Steve MacDonald, S. MacDonald, 2008, PADTAD '08.

CuPBoP: CUDA for Parallelized and Broad-range Processors

Jeffrey S. Young, Jaewoong Sim, Hyesoon Kim, 2022, ArXiv.