Browsing Electrical and Computer Engineering by Subject "Java"
Now showing items 1-7 of 7
-
Collection Disjointness Analysis in Java
(University of Waterloo, 2011-01-19)This thesis presents a collection disjointness analysis to find disjointness relations between collections in Java. We define the three types of disjointness relations between collections: must-shared, may-shared and ... -
Method-Specific Access Control in Java via Proxy Objects using Annotations
(University of Waterloo, 2010-03-31)Partially restricting access to objects enables system designers to finely control the security of their systems. We propose a novel approach that allows granting partial access at method granularity on arbitrary objects ... -
Object Histories in Java
(University of Waterloo, 2010-04-30)Developers are often faced with the task of implementing new features or diagnosing problems in large software systems. Convoluted control and data flows in large object-oriented software systems, however, make even simple ... -
OppropBERT: An Extensible Graph Neural Network and BERT-style Reinforcement Learning-based Type Inference System
(University of Waterloo, 2022-12-20)Built-in type systems for statically-typed programming languages (e.g., Java) can only prevent rudimentary and domain-specific errors at compile time. They do not check for type errors in other domains, e.g., to prevent ... -
Pluggable Properties for Program Understanding: Ontic Type Checking and Inference
(University of Waterloo, 2018-04-26)Pluggable type systems is a powerful approach to add additional information on types, which can facilitate the understanding of programs. This thesis presents our work on three pluggable type systems for helping both ... -
StarMX: A Framework for Developing Self-Managing Software Systems
(University of Waterloo, 2009-09-25)The scale of computing systems has extensively grown over the past few decades in order to satisfy emerging business requirements. As a result of this evolution, the complexity of these systems has increased significantly, ... -
Virtual Machine-Assisted Collaborative Junk Object Detection
(University of Waterloo, 2014-08-18)Memory leak is unrecoverable software bug that causes performance degradation and re- liability issues to software applications. Although memory management systems exist in modern Object Oriented Language to reclaim unused ...