Automatic Staged Compilation

In conventional multi-armed bandits (MAB) and other reinforcement learning methods, the learner sequentially chooses actions and obtains a reward (which can be possibly missing, delayed or erroneous) after each taken action. This reward is then used by the learner to improve its future decisions. However, in numerous applications, ranging from personalized patient treatment to personalized web-...

A framework for composition synthesis is provided in which metalanguage combinators are supported and the execution of synthesized programs can be staged into composition-time code generation (stage 1) and run-time execution (stage 2). By extending composition synthesis to encompass both object language (L1) and metalanguage (L2) combinators, composition synthesis becomes a powerful and flexibl...

Recent work proposed defining type-safe macros via interpretation into a multi-stage language. The utility of this approach was illustrated with a language called MacroML, in which all type checking is carried out before macro expansion. Building on this work, the goal of this paper is to develop a macro language that makes it easy for programmers to reason about terms locally. We show that def...

A typical epoxy assembly process is to blend the two parts (resin and hardener), deposit the liquid on a substrate, attach a second part, and immediately cure with time and / or heat. But in many cases it may be beneficial to separate the blending / depositing process from the curing process. This could be driven by in-plant logistics, or the need to run each process in separate facilities with...

Database system architectures face a rapidly evolving operating environment where millions of users store and access terabytes of data. To cope with increasing demands for performance highend DBMS employ parallel processing techniques coupled with a plethora of sophisticated features. However, the widely adopted work-centric thread-parallel execution model entails several shortcomings that limi...

Background and purpose - There is no consensus about the outcome of simultaneous vs. staged bilateral total knee arthroplasty (TKA). We examined this issue by analyzing 238,373 patients. Patients and methods - Demographic, clinical, and outcome data were evaluated for TKA patients (unilateral: 206,771; simultaneous bilateral: 6,349; staged bilateral: 25,253) from the Canadian Hospital Morbidity...