Introspective Pushdown Analysis of Higher-Order Programs

In the static analysis of functional programs, pushdown flow analysis and abstract garbage collection skirt just inside the boundaries of soundness and decidability. Alone, each method reduces analysis times and boosts precision by orders of magnitude. This work illuminates and conquers the theoretical challenges that stand in the way of combining the power of these techniques. The challenge in marrying these techniques is not subtle: computing the reachable control states of a pushdown system relies on limiting access during transition to the top of the stack; abstract garbage collection, on the other hand, needs full access to the entire stack to compute a root set, just as concrete collection does. \emph{Introspective} pushdown systems resolve this conflict. Introspective pushdown systems provide enough access to the stack to allow abstract garbage collection, but they remain restricted enough to compute control-state reachability, thereby enabling the sound and precise product of pushdown analysis and abstract garbage collection. Experiments reveal synergistic interplay between the techniques, and the fusion demonstrates "better-than-both-worlds" precision.Comment: Proceedings of the 17th ACM SIGPLAN International Conference on Functional Programming, 2012, AC

Why Customers Value Mass-customized Products: The Importance of Process Effort and Enjoyment

We test our hypotheses on 186 participants designing their own scarves with an MC toolkit. After completing the process, they submitted binding bids for "their" products in Vickrey auctions. We therefore observe real buying behavior, not merely stated intentions. We find that the subjective value of a self-designed product (i.e., one's bid in the course of the auction) is indeed not only impacted by the preference fit the customer expects it to deliver, but also by (1) the process enjoyment the customer reports, (2) the interaction of preference fit and process enjoyment, and (3) the interaction of preference fit and perceived process effort. In addition to its main effect, we interpret preference fit as a moderator of the valuegenerating effect of process evaluation: In cases where the outcome of the process is perceived as positive (high preference fit), the customer also interprets process effort as a positive accomplishment, and this positive affect adds (further) value to the product. It appears that the perception of the self-design process as a good or bad experience is partly constructed on the basis of the outcome of the process. In the opposite case (low preference fit), effort creates a negative affect which further reduces the subjective value of the product. Likewise, process enjoyment is amplified by preference fit, although enjoyment also has a significant main effect, which means that regardless of the outcome, customers attribute higher value to a self-designed product if they enjoy the process. The importance of the self-design process found in this study bears clear relevance for companies which offer or plan to offer MC systems. It is not sufficient to design MC toolkits in such a way that they allow customers to design products according to their preferences. The affect caused by this process is also highly important. Toolkits should therefore stimulate positive affective reactions and at the same time keep negative affect to a minimum. (authors' abstract

Self-Directed Learning and the Impact of Leadership: Analyzing Keys for Success from a Covenental Perspective

The current state of education seems to beg for visionary changes to truly impact students and prepare them for the future. Self-directed learning models purport to do just that, by preparing students to be self-motivated, lifelong learners. While many educators seek to apply self-directed practices, research reveals that there are several obstacles that can hinder self-directed learning. Duby’s 2006 study of schools employing self-directed learning investigated how leaders successfully overcome these hindrances via specific leadership attitudes and behaviors that not only effectively overcame these obstacles, but are also reflected in the covenantal perspective of leadership. Using content analysis, this paper further explores the findings of Duby’s study of educational leaders, analyzing them within the covenantal construct developed by Fischer (2003), in order to better understand the relationship between effective leadership practice and the covenantal perspective. This study revealed intriguing similarities between particulars of the CFA model and the leadership practices exhibited in the self-directed learning schools. These similarities also present opportunities for future study, including whether visionary organizations are more apt to be motivated by covenantal principles and examining the type of for-profit organizations that are more apt to embody the tenets of CFA

Advancement, Spring 2005

Advancement, a supplement to Bostonia magazine, provided updates on BU development activities, including major gifts and projects

How Does the European Union Talk about Migrant Women and Religion? A Critical Discourse Analysis of the Agenda on Migration of the European Union and the Case Study of Nigerian Women

Women with different identity and migration origins represent one of the most significant groups in the migration flows of the Mediterranean in recent years and the intersection of their religious identity and gender has been often neglected in migration policies. The paper applies the method of Critical Frame Analysis (CFA) to analyze the ways in which European policy documents address the intersection between gender and religious diversity. Through the CFA, the article examines the European Agenda on Migration and the priorities identified in the text. The analysis of the document is based on recent case studies of trafficked Nigerian women, which provide examples of the dangerous invisibility of ethnic and religious women in the priorities highlighted in the policy document of the European Commission. The CFA results show that the European Agenda on Migration, in responding to the increased number of arriving migrants from Africa and in designing a new approach towards mixed migration flows, lacks any reference to the gender perspective of migration and gender mainstreaming is missing from the text. The neutrality of the document and the securitization frame applied does not take into perspective the importance of recognizing a gender and intersectional dimension of migration flows, which impacts primarily women coming from African countries beholding strong religious beliefs