A Simple Geometric Representative for μ\mu of a Point

For $SU(2)$ (or $SO(3)$) Donaldson theory on a 4-manifold $X$, we construct a simple geometric representative for $\mu$ of a point. Let $p$ be a generic point in $X$. Then the set $\{ [A] | F_A^-(p)$ is reducible $\}$, with coefficient -1/4 and appropriate orientation, is our desired geometric representative.Comment: Updated 2018 to published version. 8 pages, AmS-TeX, no figure

Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers

© 2015 IEEE.Concurrency errors, such as data races, make device drivers notoriously hard to develop and debug without automated tool support. We present Whoop, a new automated approach that statically analyzes drivers for data races. Whoop is empowered by symbolic pairwise lockset analysis, a novel analysis that can soundly detect all potential races in a driver. Our analysis avoids reasoning about thread interleavings and thus scales well. Exploiting the race-freedom guarantees provided by Whoop, we achieve a sound partial-order reduction that significantly accelerates Corral, an industrial-strength bug-finder for concurrent programs. Using the combination of Whoop and Corral, we analyzed 16 drivers from the Linux 4.0 kernel, achieving 1.5 - 20× speedups over standalone Corral

Practices in applied phonics for grade one.

Thesis (Ed.M.)--Boston Universit

Receipt from Mr. P. Donaldson to Isaac Townshead and Ogden Goelet

https://digitalcommons.salve.edu/goelet-personal-expenses/1083/thumbnail.jp

The two components of the SO(3)-character space of the fundamental group of a closed surface of genus 2

We use geometric techniques to explicitly find the topological structure of the space of SO(3)-representations of the fundamental group of a closed surface of genus 2 quotient by the conjugation action by SO(3). There are two components of the space. We will describe the topology of both components and describe the corresponding SU(2)-character spaces by parametrizing them by spherical triangles. There is the sixteen to one branch-covering for each component, and the branch locus is a union of 2-spheres or 2-tori. Along the way, we also describe the topology of both spaces. We will later relate this result to future work into higher-genus cases and the SL(3,R)-representations

The 3-fold vertex via stable pairs

The theory of stable pairs in the derived category yields an enumerative geometry of curves in 3-folds. We evaluate the equivariant vertex for stable pairs on toric 3-folds in terms of weighted box counting. In the toric Calabi-Yau case, the result simplifies to a new form of pure box counting. The conjectural equivalence with the DT vertex predicts remarkable identities. The equivariant vertex governs primary insertions in the theory of stable pairs for toric varieties. We consider also the descendent vertex and conjecture the complete rationality of the descendent theory for stable pairs.Comment: Typos fixed. 40 pages, 8 figure

Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!)

Testing distributed systems is challenging due to multiple sources of nondeterminism. Conventional testing techniques, such as unit, integration and stress testing, are ineffective in preventing serious but subtle bugs from reaching production. Formal techniques, such as TLA+, can only verify high-level specifications of systems at the level of logic-based models, and fall short of checking the actual executable code. In this paper, we present a new methodology for testing distributed systems. Our approach applies advanced systematic testing techniques to thoroughly check that the executable code adheres to its high-level specifications, which significantly improves coverage of important system behaviors. Our methodology has been applied to three distributed storage systems in the Microsoft Azure cloud computing platform. In the process, numerous bugs were identified, reproduced, confirmed and fixed. These bugs required a subtle combination of concurrency and failures, making them extremely difficult to find with conventional testing techniques. An important advantage of our approach is that a bug is uncovered in a small setting and witnessed by a full system trace, which dramatically increases the productivity of debugging

USSR Space Life Sciences Digest, issue 21

This is the twenty-first issue of NASA's USSR Space Life Sciences Digest. It contains abstracts of 37 papers published in Russian language periodicals or books or presented at conferences and of a Soviet monograph on animal ontogeny in weightlessness. Selected abstracts are illustrated with figures and tables from the original. A book review of a work on adaptation to stress is also included. The abstracts in this issue have been identified as relevant to 25 areas of space biology and medicine. These areas are: adaptation, biological rhythms, body fluids, botany, cardiovascular and respiratory systems, cytology, developmental biology, endocrinology, enzymology, equipment and instrumentation, exobiology, gravitational biology, habitability and environmental effects, hematology, human performance, life support systems, mathematical modeling, metabolism, microbiology, musculoskeletal system, neurophysiology, operational medicine, perception, psychology, and reproductive system

Superspace Gauge Fixing of Topological Yang-Mills Theories

We revisit the construction of topological Yang-Mills theories of the Witten type with arbitrary space-time dimension and number of ``shift supersymmetry'' generators, using a superspace formalism. The super-BF structure of these theories is exploited in orderto determine their actions uniquely, up to the ambiguities due to the fixing of the Yang-Mills and BF gauge invariance. UV finiteness to all orders of perturbation theory is proved in a gauge of the Landau type.Comment: 26 pages, no figures, Late