| Ldx: Causality inference by lightweight dual execution Y Kwon, D Kim, WN Sumner, K Kim, B Saltaformaggio, X Zhang, D Xu Proceedings of the Twenty-First International Conference on Architectural …, 2016 | 78 | 2016 |
| Apex: automatic programming assignment error explanation D Kim, Y Kwon, P Liu, IL Kim, DM Perry, X Zhang, G Rodriguez-Rivera ACM SIGPLAN Notices 51 (10), 311-327, 2016 | 39 | 2016 |
| SemCluster: clustering of imperative programming assignments based on quantitative semantic features DM Perry, D Kim, R Samanta, X Zhang Proceedings of the 40th acm sigplan conference on programming language …, 2019 | 27 | 2019 |
| Reuse-oriented reverse engineering of functional components from x86 binaries D Kim, WN Sumner, X Zhang, D Xu, H Agrawal Proceedings of the 36th International Conference on Software Engineering …, 2014 | 27 | 2014 |
| Dual execution for on the fly fine grained execution comparison D Kim, Y Kwon, WN Sumner, X Zhang, D Xu ACM SIGARCH Computer Architecture News 43 (1), 325-338, 2015 | 23 | 2015 |
| Infrastructure-free logging and replay of concurrent execution on multiple cores KH Lee, D Kim, X Zhang ACM SIGPLAN Notices 49 (8), 371-372, 2014 | 6 | 2014 |
| P2C: Understanding Output Data Files via On-the-Fly Transformation from Producer to Consumer Executions. Y Kwon, F Peng, D Kim, K Kim, X Zhang, D Xu, V Yegneswaran, J Qian NDSS, 2015 | 2 | 2015 |
| VDR-AM: View-Dependent Representation of Articulated Models P Claudio, D Kim, TJ Kim, S Yoon Václav Skala-Union Agency, 2013 | | 2013 |
