Software Challenges For HL-LHC Data Analysis

The high energy physics community is discussing where investment is needed to prepare software for the HL-LHC and its unprecedented challenges. The ROOT project is one of the central software players in high energy physics since decades. From its experience and expectations, the ROOT team has distilled a comprehensive set of areas that should see research and development in the context of data analysis software, for making best use of HL-LHC's physics potential. This work shows what these areas could be, why the ROOT team believes investing in them is needed, which gains are expected, and where related work is ongoing. It can serve as an indication for future research proposals and cooperations

Approaches to Interpreter Composition

In this paper, we compose six different Python and Prolog VMs into 4 pairwise compositions: one using C interpreters; one running on the JVM; one using meta-tracing interpreters; and one using a C interpreter and a meta-tracing interpreter. We show that programs that cross the language barrier frequently execute faster in a meta-tracing composition, and that meta-tracing imposes a significantly lower overhead on composed programs relative to mono-language programs.Comment: 33 pages, 1 figure, 9 table

Tools for distributed application management

Distributed application management consists of monitoring and controlling an application as it executes in a distributed environment. It encompasses such activities as configuration, initialization, performance monitoring, resource scheduling, and failure response. The Meta system (a collection of tools for constructing distributed application management software) is described. Meta provides the mechanism, while the programmer specifies the policy for application management. The policy is manifested as a control program which is a soft real-time reactive program. The underlying application is instrumented with a variety of built-in and user-defined sensors and actuators. These define the interface between the control program and the application. The control program also has access to a database describing the structure of the application and the characteristics of its environment. Some of the more difficult problems for application management occur when preexisting, nondistributed programs are integrated into a distributed application for which they may not have been intended. Meta allows management functions to be retrofitted to such programs with a minimum of effort

Tools for distributed application management

Distributed application management consists of monitoring and controlling an application as it executes in a distributed environment. It encompasses such activities as configuration, initialization, performance monitoring, resource scheduling, and failure response. The Meta system is described: a collection of tools for constructing distributed application management software. Meta provides the mechanism, while the programmer specifies the policy for application management. The policy is manifested as a control program which is a soft real time reactive program. The underlying application is instrumented with a variety of built-in and user defined sensors and actuators. These define the interface between the control program and the application. The control program also has access to a database describing the structure of the application and the characteristics of its environment. Some of the more difficult problems for application management occur when pre-existing, nondistributed programs are integrated into a distributed application for which they may not have been intended. Meta allows management functions to be retrofitted to such programs with a minimum of effort

Mediation of semantic web services in IRS-III

Business applications composed of heterogeneous distributed components or Web services need mediation to resolve data and process mismatches at runtime. This paper describes mediation in IRS-III, a framework and platform for developing WSMO-based Semantic Web Services. We present our approach to mediation within Semantic Web Services and highlight the role of WSMO mediator types when solving mismatches at the semantic level between a service requester and a service provider. We describe the components of our mediation framework and how it can handle data, goal and process mediation during the activities of selection, composition and invocation of Semantic Web Services

When Federal Immigration Exclusion Meets Subfederal Workplace Inclusion: A Forensic Approach to Legislative History

What happens when a person is simultaneously viewed as an unauthorized immigrant without rights according to a federal regime and as an employee with rights according to a subfederal regime? In the wake of widespread and inconsistent adjudication of this issue, this Article sheds new light on this pressing question. To date, pertinent court battles and scholarship have led to a virtual stalemate and often focus exclusively on normative policy arguments. By contrast, this Article employs an empirically-grounded review of fifteen years of legislative history to analyze this paradox. This review illustrates that the denial of workplace protections to unauthorized workers runs contrary to immigration law purposes. The Article, therefore, provides a fresh perspective on an otherwise intractable debate. In doing so, it also develops a more scientifically grounded forensic approach to legislative history which addresses some of the most salient and passionate critiques of legislative history and revives legislative history as a more reliable interpretive tool in law and policy analyses

Problem-based Learning in Computer-assisted Translation Pedagogy

This article discusses problem-based learning (PBL) and its potential application to computer-assisted translation (CAT) pedagogy. Problem-based learning is situated in the CAT classroom as a final course component in which students challenge their previously-acquired knowledge and skill sets to solve unique, ill-defined problems that mirror those encountered in the language industry. This constructivist approach to education is designed to empower students to be self-directed, collaborative learners and to foster critical thinking and reflection. Moreover, problem-based learning is a means to encourage professional behavior and to develop skills beyond the mere use of translation technologies. This article explores the potential advantages and disadvantages of this educational approach as documented in related professional fields. In addition, the article addresses the ways in which problems are designed and implemented in the translation classroom, with a discussion of how they can and should be aligned with course learning objectives. The article concludes with a discussion of ways students’ work ought to be assessed to enhance gains often seen in PBL environments

Theorem proving support in programming language semantics

We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system. Covered aspects are natural semantics, denotational semantics, axiomatic semantics, and abstract interpretation. Descriptions as recursive functions are also provided whenever suitable, thus yielding a a verification condition generator and a static analyser that can be run inside the theorem prover for use in reflective proofs. Extraction of an interpreter from the denotational semantics is also described. All different aspects are formally proved sound with respect to the natural semantics specification.Comment: Propos\'e pour publication dans l'ouvrage \`a la m\'emoire de Gilles Kah