His Artificial intelligence research is linked to Pointer (user interface) and Watson. His research ties Artificial intelligence and Pointer (user interface) together. Jong-Deok Choi integrates Programming language with Debugging in his study. In his research, he performs multidisciplinary study on Debugging and Operating system. Operating system and Semaphore are two areas of study in which Jong-Deok Choi engages in interdisciplinary work. His study ties his expertise on Programming language together with the subject of Semaphore. Jong-Deok Choi performs integrative study on Parallel computing and Java concurrency. He brings together Java concurrency and Parallel computing to produce work in his papers. He merges Algorithm with Recursion (computer science) in his study.
His work focuses on many connections between Reachability and other disciplines, such as Theoretical computer science, that overlap with his field of interest in Call graph and Graph. By researching both Call graph and Call stack, Jong-Deok Choi produces research that crosses academic boundaries. His Theoretical computer science research extends to the thematically linked field of Graph. He links relevant research areas such as Pointer (user interface) and Class (philosophy) in the realm of Artificial intelligence. Class (philosophy) is frequently linked to Artificial intelligence in his study. Jong-Deok Choi integrates many fields, such as Programming language and Correctness, in his works. Jong-Deok Choi performs integrative Operating system and Embedded system research in his work. Jong-Deok Choi brings together Embedded system and Operating system to produce work in his papers. He integrates many fields in his works, including Parallel computing and Algorithm.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
The Jalapeño virtual machine
B. Alpern;C. R. Attanasio;J. J. Barton;M. G. Burke.
Ibm Systems Journal (2000)
Escape analysis for Java
Jong-Deok Choi;Manish Gupta;Mauricio Serrano;Vugranam C. Sreedhar.
conference on object-oriented programming systems, languages, and applications (1999)
Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects
Jong-Deok Choi;Michael Burke;Paul Carini.
symposium on principles of programming languages (1993)
Hybrid dynamic data race detection
Robert O'Callahan;Jong-Deok Choi.
acm sigplan symposium on principles and practice of parallel programming (2003)
Efficient and precise datarace detection for multithreaded object-oriented programs
Jong-Deok Choi;Keunwoo Lee;Alexey Loginov;Robert O'Callahan.
programming language design and implementation (2002)
The Jalapeño dynamic optimizing compiler for Java
Michael G. Burke;Jong-Deok Choi;Stephen Fink;David Grove.
Proceedings of the ACM 1999 conference on Java Grande (1999)
Deterministic replay of Java multithreaded applications
Jong-Deok Choi;Harini Srinivasan.
measurement and modeling of computer systems (1998)
Method and system for recording and replaying the execution of distributed java programs
Jong-Deok Choi;Ravi Konuru;Harini Srinivasan.
Automatic construction of sparse data flow evaluation graphs
Jong-Deok Choi;Ron Cytron;Jeanne Ferrante.
symposium on principles of programming languages (1991)
Interprocedural pointer alias analysis
Michael Hind;Michael Burke;Paul Carini;Jong-Deok Choi.
ACM Transactions on Programming Languages and Systems (1999)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: