Norms have never been absent from the study of international politics, but the sweeping “ideational turn” in the 1980s and 1990s brought them back as a central theoretical concern in the field. Much theorizing about norms has focused on how they create social structure, standards of appropriateness, and stability in international politics. Recent empirical research on norms, in contrast, has examined their role in creating political change, but change processes have been less well-theorized. We induce from this research a variety of theoretical arguments and testable hypotheses about the role of norms in political change. We argue that norms evolve in a three-stage “life cycle” of emergence, “norm cascades,” and internalization, and that each stage is governed by different motives, mechanisms, and behavioral logics. We also highlight the rational and strategic nature of many social construction processes and argue that theoretical progress will only be made by placing attention on the connections between norms and rationality rather than by opposing the two.

/pdf/international-norm-dynamics-and-political-change-37ig9r9dlq.pdf

International Norm Dynamics and Political Change

Robust and powerful software instrumentation tools are essential for program analysis tasks such as profiling, performance evaluation, and bug detection. To meet this need, we have developed a new instrumentation system called Pin. Our goals are to provide easy-to-use, portable, transparent, and efficient instrumentation. Instrumentation tools (called Pintools) are written in C/C++ using Pin's rich API. Pin follows the model of ATOM, allowing the tool writer to analyze an application at the instruction level without the need for detailed knowledge of the underlying instruction set. The API is designed to be architecture independent whenever possible, making Pintools source compatible across different architectures. However, a Pintool can access architecture-specific details when necessary. Instrumentation with Pin is mostly transparent as the application and Pintool observe the application's original, uninstrumented behavior. Pin uses dynamic compilation to instrument executables while they are running. For efficiency, Pin uses several techniques, including inlining, register re-allocation, liveness analysis, and instruction scheduling to optimize instrumentation. This fully automated approach delivers significantly better instrumentation performance than similar tools. For example, Pin is 3.3x faster than Valgrind and 2x faster than DynamoRIO for basic-block counting. To illustrate Pin's versatility, we describe two Pintools in daily use to analyze production software. Pin is publicly available for Linux platforms on four architectures: IA32 (32-bit x86), EM64T (64-bit x86), Itanium®, and ARM. In the ten months since Pin 2 was released in July 2004, there have been over 3000 downloads from its website.

/pdf/pin-building-customized-program-analysis-tools-with-dynamic-1cvwqey5sb.pdf

Pin: building customized program analysis tools with dynamic instrumentation

Evidence from clinical and experimental studies indicates that macrophages promote solid-tumour progression and metastasis. Macrophages are educated by the tumour microenvironment, so that they adopt a trophic role that facilitates angiogenesis, matrix breakdown and tumour-cell motility — all of which are elements of the metastatic process. During an inflammatory response, macrophages also produce many compounds — ranging from mutagenic oxygen and nitrogen radicals to angiogenic factors — that can contribute to cancer initiation and promotion. Macrophages therefore represent an important drug target for cancer prevention and cure.

Tumour-educated macrophages promote tumour progression and metastasis

National Institute of Standards and Technology における超伝導研究及び生活

Dynamic binary instrumentation (DBI) frameworks make it easy to build dynamic binary analysis (DBA) tools such as checkers and profilers. Much of the focus on DBI frameworks has been on performance; little attention has been paid to their capabilities. As a result, we believe the potential of DBI has not been fully exploited.In this paper we describe Valgrind, a DBI framework designed for building heavyweight DBA tools. We focus on its unique support for shadow values-a powerful but previously little-studied and difficult-to-implement DBA technique, which requires a tool to shadow every register and memory value with another value that describes it. This support accounts for several crucial design features that distinguish Valgrind from other DBI frameworks. Because of these features, lightweight tools built with Valgrind run comparatively slowly, but Valgrind can be used to build more interesting, heavyweight tools that are difficult or impossible to build with other DBI frameworks such as Pin and DynamoRIO.

/pdf/valgrind-a-framework-for-heavyweight-dynamic-binary-83md0bpji5.pdf

Valgrind: a framework for heavyweight dynamic binary instrumentation

In the era of nanoscale technology scaling, we are facing the limits of physics, challenging robust and reliable microprocessor design and fabrication. As these trends continue, guaranteeing correctness of execution is becoming prohibitively expensive and impractical. In this thesis, we demonstrate the benefits of abstracting circuit-level challenges to the architecture and software layers. Reliability challenges are broadly classified into process, voltage, and thermal variations. As proof of concept, we target voltage variation, which is least understood, demonstrating its growing detrimental effects on future processors: Shrinking feature size and diminishing supply voltage are making circuits more sensitive to supply voltage fluctuations within the microprocessor. If left unattended, these voltage fluctuations can lead to timing violations or even transistor lifetime issues. This problem, more commonly known as the dI/dt problem, is forcing microprocessor designers to increasingly sacrifice processor performance, as well as power efficiency, in order to guarantee correctness and robustness of operation. Industry addresses this problem by un-optimizing the processor for the worst case voltage flux. Setting such extreme operating voltage margins for those large and infrequent voltage swings is not a sustainable solution in the long term. Therefore, we depart from this traditional strategy and operate the processor under more typical case conditions. We demonstrate that a collaborative architecture between hardware and software enables aggressive operating voltage margins, and as a consequence improves processor performance and power efficiency. This co-designed architecture is built on the principles of tolerance, avoidance and elimination. Using a fail-safe hardware mechanism to tolerate voltage margin violations, we enable timing speculation, while a run-time hardware and software layer attempts to not only predict and avoid impending violations, but also reschedules instructions and co-schedules threads intelligently to eliminate voltage violations altogether. We believe tolerance, avoidance and elimination are generalizable constructs capable of acting as guidelines to address and successfully mitigate the other parameter-related reliability challenges as well.

Software-assisted hardware reliability: enabling aggressive timing speculation using run-time feedback from hardware and software

322 safety of tanezumab in treating moderate to severe pain due to osteoarthritis of the knee: an open-label extension study

/pdf/focus-on-the-brain-and-systemic-organ-systems-when-essential-vvtr1om7z2.pdf

Focus on the brain and systemic organ systems: when essential interactions become toxic relationships

This study focuses on Gomba Fishing Industries (Gomba), a fish processing factory in Uganda, on the shore of Lake Victoria at Jinja. Here they process up to 45 tonnes per day of Nile Perch, mainly into fresh chilled fillets for
export to Europe.

Michael D. Smith

Papers

Software-assisted hardware reliability: enabling aggressive timing speculation using run-time feedback from hardware and software

322 safety of tanezumab in treating moderate to severe pain due to osteoarthritis of the knee: an open-label extension study

Focus on the brain and systemic organ systems: when essential interactions become toxic relationships

Fish processing in Uganda: waste minimisation

Sildenafil citrate (viagra(r)), an oral treatment for erectile function : 1-year, open-label, extension studies