Program Representation Size in an Intermediate Language with Intersection and Union Types

The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both terms and types. The CIL term representation duplicates portions of the program where intersection types are introduced and union types are eliminated. This duplication makes it easier to represent type information and to introduce customized data representations. However, duplication incurs compile-time space costs that are potentially much greater than are incurred in TILs employing type-level abstraction or quantification. In this paper, we present empirical data on the compile-time space costs of using CIL as an intermediate language. The data shows that these costs can be made tractable by using sufficiently fine-grained flow analyses together with standard hash-consing techniques. The data also suggests that non-duplicating formulations of intersection (and union) types would not achieve significantly better space complexity.

The Hawaiian Islands, as developed by missionary labors. By Andrew P. Peabody. From the Boston Review for May, 1865.

http://www.archive.org/details/hawaiianislandsa00peabiala

Catholic grievances in relation to the administration of Indian affairs : being a report presented to the Catholic Young Men's National Union, at its eighth annual convention, held in Boston, Massachusetts, May 10th and 11th, 1882

http://www.archive.org/details/catholicgrieva00mealrich

A proposal for the better supplying of churches in our foreign plantations, and for converting the savage Americans to Christianity, by a college to be erected in the Summer Islands, otherwise called the Isles of Bermuda.

http://www.archive.org/details/proposalforbette00berkrich

Seventy-five years in the Madura Mission : a history of the mission in South India under the American Board of Commissioners for Foreign Missions, Boston, Massachusetts, U.S.A. / by John S. Chandler.

http://www.archive.org/details/75yearsmadurami00chanuoft

OpenBU: Institutional Repository Procedures Manual

(adapted from the DSpace Procedures Manual developed by Kalamazoo College Digital Archive)

A Catalogue of the Alpha Chapter Boston University Graduates of the School of Theology 1850-1905

A listing of graduate of Boston University School of Theology and predecessor school. Arranged by class year, alphabetical by last name and geographically by region.

Living with Jesus: Practical Christologies in Two Boston American Baptist Churches

This dissertation, an exercise in practical theology, undertakes two tasks. First, it examines how the story of Jesus is appropriated and embodied in the corporate practices of worship and mission (congregational christology) and in the daily lives of ordinary believers (everyday christology) at First Baptist Church in Jamaica Plain and Ruggles Baptist Church in Boston, Massachusetts. Second, it places these practical christologies in dialogue with the academic christology of James McClendon to see what creative and critical insights emerge. A key assumption of the study is that doctrinal reflection is precipitated when the story of Jesus interacts with human stories in both autobiographical and public domains. "Living with Jesus" contends that the understandings of Jesus present in the everyday lives of believers and in a congregation's worship and mission merit the attention of scholars in the disciplines of sociology and theology. This dissertation demonstrates that scholarly research on the visible church, everyday religion, and Christian doctrine pays limited attention to the theologies operative in the everyday lives of believers and congregational practices. A gap exists in scholarly knowledge, which "Living with Jesus" attempts to redress. The empirical results of qualitative research fieldwork are set in the context of historical overviews and contemporary snapshots of First Baptist Church in Jamaica Plain and Ruggles Baptist Church. "Living with Jesus" identifies three types of practical christology operative across the two congregations in corporate practices and the everyday lives of individuals: evangelical christology; exemplarist christology; and prophetic christology. The empirical research shows that for a significant minority of people in the sample, the prevailing understanding of Jesus can best be described as a hybrid christology. By paying attention to McClendon's treatment of the Jesus story and placing the three identified practical christologies in dialogue with his christology, it becomes apparent that each practical christology is simultaneously liberating and limiting. This dissertation argues that evaluating a particular practical christology in relation to the Gospel requires an intentional and disciplined effort on the part of congregations, ordinary believers, and theologians. Questions are proposed to assist further christological reflection on worship, mission, pastoral care, and Christian education.

Library Technology Services at Boston University: an un-roadmap

A working paper for discussion

TCP Boston: A Fragmentation-tolerant TCP Protocol for ATM Networks

The popularity of TCP/IP coupled with the premise of high speed communication using Asynchronous Transfer Mode (ATM) technology have prompted the network research community to propose a number of techniques to adapt TCP/IP to ATM network environments. ATM offers Available Bit Rate (ABR) and Unspecified Bit Rate (UBR) services for best-effort traffic, such as conventional file transfer. However, recent studies have shown that TCP/IP, when implemented using ABR or UBR, leads to serious performance degradations, especially when the utilization of network resources (such as switch buffers) is high. Proposed techniques-switch-level enhancements, for example-that attempt to patch up TCP/IP over ATMs have had limited success in alleviating this problem. The major reason for TCP/IP's poor performance over ATMs has been consistently attributed to packet fragmentation, which is the result of ATM's 53-byte cell-oriented switching architecture. In this paper, we present a new transport protocol, TCP Boston, that turns ATM's 53-byte cell-oriented switching architecture into an advantage for TCP/IP. At the core of TCP Boston is the Adaptive Information Dispersal Algorithm (AIDA), an efficient encoding technique that allows for dynamic redundancy control. AIDA makes TCP/IP's performance less sensitive to cell losses, thus ensuring a graceful degradation of TCP/IP's performance when faced with congested resources. In this paper, we introduce AIDA and overview the main features of TCP Boston. We present detailed simulation results that show the superiority of our protocol when compared to other adaptations of TCP/IP over ATMs. In particular, we show that TCP Boston improves TCP/IP's performance over ATMs for both network-centric metrics (e.g., effective throughput) and application-centric metrics (e.g., response time).

Exploiting Redundancy for Timeliness in TCP Boston

While ATM bandwidth-reservation techniques are able to offer the guarantees necessary for the delivery of real-time streams in many applications (e.g. live audio and video), they suffer from many disadvantages that make them inattractive (or impractical) for many others. These limitations coupled with the flexibility and popularity of TCP/IP as a best-effort transport protocol have prompted the network research community to propose and implement a number of techniques that adapt TCP/IP to the Available Bit Rate (ABR) and Unspecified Bit Rate (UBR) services in ATM network environments. This allows these environments to smoothly integrate (and make use of) currently available TCP-based applications and services without much (if any) modifications. However, recent studies have shown that TCP/IP, when implemented over ATM networks, is susceptible to serious performance limitations. In a recently completed study, we have unveiled a new transport protocol, TCP Boston, that turns ATM's 53-byte cell-oriented switching architecture into an advantage for TCP/IP. In this paper, we demonstrate the real-time features of TCP Boston that allow communication bandwidth to be traded off for timeliness. We start with an overview of the protocol. Next, we analytically characterize the dynamic redundancy control features of TCP Boston. Next, We present detailed simulation results that show the superiority of our protocol when compared to other adaptations of TCP/IP over ATMs. In particular, we show that TCP Boston improves TCP/IP's performance over ATMs for both network-centric metrics (e.g., effective throughput and percent of missed deadlines) and real-time application-centric metrics (e.g., response time and jitter).

Lightweight Formal Verification in Classroom Instruction of Reasoning about Functional Code

In college courses dealing with material that requires mathematical rigor, the adoption of a machine-readable representation for formal arguments can be advantageous. Students can focus on a specific collection of constructs that are represented consistently. Examples and counterexamples can be evaluated. Assignments can be assembled and checked with the help of an automated formal reasoning system. However, usability and accessibility do not have a high priority and are not addressed sufficiently well in the design of many existing machine-readable representations and corresponding formal reasoning systems. In earlier work [Lap09], we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. We report on our attempt to evaluate our proposed design criteria by deploying within the classroom a lightweight formal verification system designed according to these criteria. The lightweight formal verification system was used within the instruction of a common application of formal reasoning: proving by induction formal propositions about functional code. We present all of the formal reasoning examples and assignments considered during this deployment, most of which are drawn directly from an introductory text on functional programming. We demonstrate how the design of the system improves the effectiveness and understandability of the examples, and how it aids in the instruction of basic formal reasoning techniques. We make brief remarks about the practical and administrative implications of the system’s design from the perspectives of the student, the instructor, and the grader.