Jason W. Kim

  • Citations Per Year
Learn More
Having reliable security in systems is of the utmost importance. However, the existing framework of writing, distributing and linking against code in the form of libraries and/or modules does a very poor job of keeping track of who has access to what code and who can call what function. The status-quo is insufficient for a variety of reasons. As the amount(More)
META4 is an object oriented language with first order reasoning capability that also includes reasoning about the <i>change</i> that the classes go through over time, efficient partial evaluation via runtime propagation of specific values, explicit run-time code generation via a source code to machine code compiling engine - not an interpreter. Coupled with(More)
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to(More)
Having reliable security in systems is of the utmost importance. However, the existing framework of writing and distributing code in the form of libraries and/or modules does a very poor job of keeping track of who has access to what code and who can call what function. The status-quo is insufficient for a variety of reasons. As the amount of code written(More)
In attempting to provide a restorative solution for cases that have been compromised by spatial considerations, clinicians have traditionally opted for an orthodontic approach that did not provide optimal aesthetics due to changes in tooth morphology, specifically tooth size and shape as a result of dental deterioration. With the advent of contemporary(More)
  • 1