ISSTA

It's been more than 50 years since John McCarthy invented garbage collection. The last 15 years or so have been the most exciting as garbage collection became mainstream and is now considered the norm for all/most modern programming languages. However, ...

In a programming language, the choice of a generics typing policy impacts both typing test semantics and type safety. In this paper, we compare the cost of the generic policy chosen and analyze its impacts on the subtype test performance.

To make this ...

Two major trends are affecting how we program applications for highly mobile devices. First trend is the proliferation of mobile devices, e.g., smartphones and Google Glass, that have megabyte/second connectivity and the ability to run applications that ...

This paper proposes a novel language mechanism to accommodate applications that depend on keeping track of the location of highly mobile objects. New applications are driven by several new trends: new, powerful devices such as smart-phones and Google ...

Providing security guarantees for software systems built out of untrusted components requires the ability to enforce fine-grained access control policies. This is evident in Web 2.0 applications where JavaScript code from different origins is often ...

The popularity of web applications, coupled with the data they operate on, makes them prime targets for hackers that want to misuse them. To make matters worse, a lot of these applications, have not been implemented with security in mind, while ...