Bytecode instrumentation is a preferred technique for building profiling, debugging and
monitoring tools targeting the Java Virtual Machine (JVM), yet is fundamentally dangerous …

We develop compositional analysis algorithms for detecting non-termination in
multithreaded programs. Our analysis explores fair and ultimately-periodic executions—ie …

Despite the growing attention to security concerns and advances in code verification tools,
many memory errors still escape testing and plague production applications with security …

“In a system made up of many modules, it is often necessary to update one of the modules
so as to provide new features or an improvement in the internal organization [...]. If the …

Run-time assertion checking of multithreaded programs is challenging, as assertion
evaluation should not interfere with the execution of other threads. This paper describes the …

In this study, halloysite nanotubes (HNTs) were used to reinforce chitosan hydrogels, and
built a biocompatible, biodegradable and sustained drug release system. The …

Traditional web-based client-server application development has been accomplished in two
separate pieces: the frontend portion which runs on the client machine has been written in …

We present mechanisms to specify and efficiently check, at runtime, assertions that express
structural properties and aggregate measures of dynamically manipulated linkedlist data …

Many runtime assertion checkers are only built for sequential programs and do not
guarantee correct behaviour if they are used in a multithreaded environment. We will show …

Developing cyber-physical systems (CPS) is challenging because correctness depends on
both logical and physical states, which are difficult to observe collectively. Developers must …