A Generic Formalised Framework for Reasoning About Weak Memory Models

This paper describes Coq libraries devoted to the semantic of relaxed memory models. These libraries formalise a framework which covers a large class of industrial models. Implementing this framework inside a proof assistant has significantly helped improving its design and crafting the most concise and relevant specifications. Similarly the use of a proof assistant has been instrumental in the study of the semantic of synchronisation primitives, which we illustrate by the formal proof of a barrier placement theorem. We explain the choices we made to re-design our Coq libraries, and in particular what we gained from adopting a small-scale reflection methodology

How embarrassing is that? Purchasing sensitive products and the potential for self-service

Consumers might feel uncomfortable or embarrassed when buying products that are inconsistent with the desire to project a positive self-image to others [3], [5], [7], [16]. Embarrassment and shame are key elements in the relationship between sales assistant and consumer [7] and may affect the likelihood of engagement with a service provider [10]. We explored the circumstances under which embarrassing retail experiences occur, with a view to identify the potential for self-service solutions to alleviate these experiences

Tactics for Reasoning modulo AC in Coq

We present a set of tools for rewriting modulo associativity and commutativity (AC) in Coq, solving a long-standing practical problem. We use two building blocks: first, an extensible reflexive decision procedure for equality modulo AC; second, an OCaml plug-in for pattern matching modulo AC. We handle associative only operations, neutral elements, uninterpreted function symbols, and user-defined equivalence relations. By relying on type-classes for the reification phase, we can infer these properties automatically, so that end-users do not need to specify which operation is A or AC, or which constant is a neutral element.Comment: 16

Hazard or Hardship: Crafting Global Norms on the Right to Refuse Unsafe Work

[Excerpt] Decisions about the constitution of workers\u27 rights do not unfold in a vacuum; quite the opposite. History plays an important role. Legislators, judges, policymakers, and other key decision-makers possess different value systems that they transpose onto various institutional practices. Ideas and the value systems that certain ideas represent are shared, adopted and at times imposed across national borders. Globally, particular labor and social policy models are exchanged and advocated. The International Labor Organization has since 1919 gathered delegates from around the world to discuss and adopt international conventions on particular labor and employment policies. These norms as ideas shape national and local choices and strategies for protecting workers\u27 rights. The international human rights treaty system is yet another international venue for the advocacy, negotiation, and setting of labor and employment rights standards. Taken together, the decisions made in establishing citizenship rights at work—their underlying values and moral paradigms, their real world effectiveness on the ground where people work, and the history and politics behind their development—form an important object of study for both the citizen-worker and the labor scholar. This book is an in-depth examination of a narrow but essential citizenship right at the workplace, the rights of workers to refuse unsafe, hazardous, or unhealthy work. The employment relationship in all its divergent and precarious forms is a global phenomenon. Studying how employees are empowered to dissent and the models of protection on the right to refuse is, therefore, a question of international importance. Across the contemporary globalized workplace, a right to refuse is exercised when one or more workers decide not to perform some task or assignment at work for fear of a health and safety risk—even after being ordered to do the job by a supervisor, manager, or some other superior. Where such refusals are safeguarded effectively, there are systems of protections for the worker with avenues for redress. These may include legal protections against retaliation or discrimination and systems to ameliorate the workers\u27 health and safety concern. Where refusal rights are not well protected, this book asks why this is so. The diverging ways this unique citizenship right has been respected, exercised, and protected in law and in practice is the focus of this book. It is the story of how human society has shaped and restricted the global norms that define the workers\u27 right to protest and in turn how society defines social justice and human rights in the struggle for a healthy and safe work environment. The story of the right to refuse moves back and forth from local grievance to international political negotiation. The diversity of questions raised by this subject are equally legal, political, economic, social, and indeed philosophic. Refusal rights strike at the heart of employment in a capitalist society, defining how workers are protected when they fear for their health and safety. This book is about how society has decided to treat people willing to risk their livelihood to protest a concern about their basic working environment. The issue is not an abstract legal debate but rather a series of poignant and unnerving human experiences. The choices made define social justice, determine the degree of risk faced by people and communities, and delineate the line between a dignified and undignified human existence. Attention is paid to the North American experience for the instructive qualities of its labor history but also because this experience has influenced the global norms. This book is the history of the right to refuse unsafe work under international labor standards, a global legal framework and jurisprudence that fails workers seeking social justice by refusing unsafe work

Write Free or Die: Vol. 01, No. 01

Research on Student Writing, Page 1 Upcoming Events, Page 1 Writing Across the Curriculum (WAC) People, Page 2 Writing Requirement Plus, Page 2 Ask Patty, Page 3 Dangling Modifier, Page 4 Grammar Box, Page 4 Nancy Atwell, Page 5 Past Perfect, Page 6 Faculty Resources, Page