Learn More
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with sequences of events asso-ciated with a set of related objects. This paper presents a language called PQL (Program Query Language) that allows programmers to express such questions(More)
Component-based software design is a popular and effective approach to designing large systems. While components typically have well-defined interfaces, sequencing information---which calls must come in which order---is often not formally specified.This paper proposes using multiple finite statemachine (FSM) submodels to model the interface of a class. A(More)
Program analysis has been increasingly used in softwareengineering tasks such as auditing programs for securityvulnerabilities and finding errors in general. Such tools oftenrequire analyses much more sophisticated than those traditionallyused in compiler optimizations. In particular, context-sensitivepointer alias information is a prerequisite for any(More)
This article describes the design rationale, a C implementation, and conformance testing of a subset of the new Standard for the BLAS (Basic Linear Algebra Subroutines): Extended and Mixed Precision BLAS. Permitting higher internal precision and mixed input/output types and precisions allows us to implement some algorithms that are simpler, more accurate,(More)
Plasmons describe collective oscillations of electrons. They have a fundamental role in the dynamic responses of electron systems and form the basis of research into optical metamaterials. Plasmons of two-dimensional massless electrons, as present in graphene, show unusual behaviour that enables new tunable plasmonic metamaterials and, potentially,(More)
A remarkable manifestation of the quantum character of electrons in matter is offered by graphene, a single atomic layer of graphite. Unlike conventional solids where electrons are described with the Schrödinger equation, electronic excitations in graphene are governed by the Dirac hamiltonian 1. Some of the intriguing electronic properties of graphene,(More)
Synchrotron radiation-based Fourier transform infrared spectromicroscopy is a newly emerging analytical tool capable of monitoring the biochemistry within an individual living mammalian cell in real time. This unique technique provides infrared (IR) spectra, hence chemical information, with high signal to noise at spatial resolutions as fine as 3-10 microm.(More)
Two recently commissioned infrared beamlines on the 1.4 bending magnet port at the Advanced Light Source, LBNL, are described. Using a synchrotron as an IR source provides three primary advantages: increased brightness, very fast light pulses, and enhanced far-IR flux. The considerable brightness advantage manifests itself most beneficially when performing(More)
Cross-site scripting (XSS) and SQL injection errors are two prominent examples of taint-based vulnerabil-ities that have been responsible for a large number of security breaches in recent years. This paper presents QED, a goal-directed model-checking system that automatically generates attacks exploiting taint-based vulner-abilities in large Java web(More)
SQL injection and cross-site scripting are two of the most common security vulnerabilities that plague web applications today. These and many others result from having unchecked data input reach security-sensitive operations. This paper describes a language called PQL (Program Query Language) that allows users to declare to specify information flow patterns(More)