Junghee Lim

ConSeq

Wei Zhang, Junghee Lim, Ramya Olichandran et al. · 2011 · 131 citations

Computing, Computer Engineering, Computer Science +7

Intermediate-representation recovery from low-level code

Thomas Reps, Gogul Balakrishnan, Junghee Lim · 2006 · 63 citations

Computing, Computer Science, Malware Analysis +12

Compiler-assisted demand paging for embedded systems with flash memory

Chanik Park, Junghee Lim, Kiwon Kwon et al. · 2004 · 62 citations

Computing, Computer Engineering, Computer Science +15

Extracting Output Formats from Executables

Junghee Lim, Thomas Reps, Ben Liblit · 2006 · 58 citations

Engineering, Computer Engineering, Computer Science +10

TSL

Junghee Lim, Thomas Reps · ACM Transactions on Programming Languages and Systems · 2013 · 45 citations · Full text

Computing, Computer Science, Formal Methods +12