Java decompilers convert Java class files to Java source. Common Java decompilers are javac-specific decompilers since they target bytecode produced from a particular javac compiler. We present work carried out on Dava, a tool-independent decompiler that decompiles bytecode produced from…

It is a common practice to retrieve code from an outside source, execute it and return the result to the user. During execution secure data can enter the program by user input or access of a data resource. It is…

For many years, programmers have faced the problem of reading and trying to understand other programmers' code, either to maintain it or to learn from it. Analysis of dynamic data structure usage is useful for both program understanding and for…

The largest naturally-occurring lake of hyperacid brine in the world is located in the crater of Kawah Ijen volcano in East Java, Indonesia. The hyperacid Banyu Pahit River flows down the side of Kawah Ijen and is a major source…

Designers of software components can use finite-state properties to denote behavioral interface specifications which enforce client-side programming rules that state how the components ought to be used. This allows users of these components to check their client code for compliance…

This dissertation examines a number of syntactic and semantic aspects of the full set of TAM (tense-aspect-modal) markers in the dialect of Paciran Javanese (Western Malayo-Polynesian, Austronesian), spoken in East Java, Indonesia.First, I identify the inventory of TAM markers in…