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)
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)
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)
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)
Electrons moving in graphene behave as massless Dirac fermions, and they exhibit fascinating low-frequency electrical transport phenomena. Their dynamic response, however, is little known at frequencies above one terahertz (THz). Such knowledge is important not only for a deeper understanding of the Dirac electron quantum transport, but also for graphene(More)
Synchrotron radiation-based (SR) Fourier-transform infrared (FTIR) spectromicroscopy in the mid-infrared region is a surface analytical technique that can provide direct insights into the localization and real-time mechanisms for the reduction of the (CrO 4) 2¡ chromate [Cr(VI)] species on surfaces of geologic materials. Time-resolved SR-FTIR spectra(More)