1. What have the authors contributed in "Javaui: effects for controlling ui object access" ?
The authors present a polymorphic type and effect system that prevents non-UI threads from accessing UI objects or invoking UI-thread-only methods.. The authors confirmed bugs found by unsound prior work, found an additional bug and code smells, and demonstrated that the annotation burden is low.. The authors also describe code patterns their effect system handles less gracefully or not at all, which they believe offers lessons for those applying other effect systems to existing code.
read more
![Table 2. Subject programs. Pre-annotation LOC are calculated by sloccount [9]. UI LOC is the LOC for the main top-level package containing most of the application’s UI code; other parts of a project may have received some annotation (for example, one method in a model might be executed asynchronously to trigger a UI update), and some projects were not well-separated at the package level.](/figures/table-2-subject-programs-pre-annotation-loc-are-calculated-31ngg2tg.webp)
