You can write a compiler pass extending Soot, as either a BodyTransformer, for a
intraprocedural analysis; or SceneTransformer, for a whole-program analysis. You choose …

Computer systems often fail due to many factors such as software bugs or administrator
errors. Diagnosing such production run failures is an important but challenging task since it …

Static program analyses and transformations for Java face many problems when analyzing
programs that use reflection or custom class loaders: How can a static analysis know which …

A caller must satisfy the callee's precondition—that is, reach a state in which the callee may
be called. Preconditions describe the state that needs to be reached, but not how to reach it …

Java malware exploiting language vulnerabilities has become increasingly prevalent in the
recent past. Since Java is a platform-independent language, these security threats open up …

Monitoring plays a significant role in improving the quality of service in cloud computing. It
helps clouds to scale resource utilization adaptively, to identify defects in services for service …

While the backbone networks have experienced substantial changes in the last decade; the
access networks have not changed much. Recently, passive optical networks (PONs) seem …

The interfaces of software components are often paired with specifications or protocols that
prescribe correct and safe usage. An important class of these specifications consists of …

Static analysis (SA) tools that find bugs by inferring programmer beliefs (eg, FindBugs) are
commonplace in today's software industry. While they find a large number of actual defects …

Runtime verification can be used to find bugs early, during software development, by
monitoring test executions against formal specifications (specs). The quality of runtime …