Figure 1: The simplified NetBill protocol.

Our protocol contains the following message types: ...

Work as a post-doctorate or early career professional in computer science or related field Describe limited funding, unemployment status, or other barriers to being able to readily attend this USENIX ...

The speculative execution approach exploits the increasing abundance of spare processing cycles to automate prefetching for applications that stall on disk I/O. Usually, when an application needs some ...

The console logs generated by an application contain messages that the application developers believed would be useful in debugging or monitoring the application. Despite the ubiquity and large size ...

Consumers face two types of trojan horse challenges when they engage in electronic commerce on the World Wide Web.

Submissions for this form are closed.

Figure 6: Excerpt from a web page describing user interface toolkits. The page describes over 100 toolkits with various properties: some are free, some are commercial; some run on Unix, others ...

Plain text has less explicit structure than HTML, so text constraints for plain text typically refer to delimiters like punctuation marks and line breaks. Consider the following example of processing ...

This work is part of the first author's PhD thesis research, and continues to evolve. This section describes some of the directions in which the work will be taken in the coming months. LAPIS will be ...

In this first experiment, we have configured the compressed cache using what we though would be nice parameters. We have used a 1Mbyte cache and a cleaning threshold of 50% of the cache. Using these ...

In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference techniques and applied fuzzing ...