Pushdown Control-Flow Analysis of Higher-Order Programs

Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites---a property that eliminates spurious interprocedural paths. Vardoulakis and Shivers's recent formulation of CFA2 showed that it is possible (if expensive) to apply context-free methods to higher-order languages and gain the same boost in precision achieved over first-order programs. To this young body of work on context-free analysis of higher-order programs, we contribute a pushdown control-flow analysis framework, which we derive as an abstract interpretation of a CESK machine with an unbounded stack. One instantiation of this framework marks the first polyvariant pushdown analysis of higher-order programs; another marks the first polynomial-time analysis. In the end, we arrive at a framework for control-flow analysis that can efficiently compute pushdown generalizations of classical control-flow analyses.Comment: The 2010 Workshop on Scheme and Functional Programmin

Identifying Gaps and Setting Priorities for Employment and Training Research

The report summarizes recent workforce and employment related research, to identify current gaps in employment and training research and makes recommendations for future research processes and priorities that could better inform policy makers, practitioners, job seekers and employers. The report reviews workforce and related research funded by several federal agencies, including the US Departments of Labor, Education, Agriculture, Health and Human Services, and Housing and Urban Development, the National Science Foundation and other federal entities, as well as research undertaken by regional, state and local workforce agencies and philanthrophic organizations

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

Graduate Recital:Christopher Render, Horn

St. Luke Union Church Sunday Afternoon April 7, 2002 3:00p.m

Electrostatic Contributions of Aromatic Residues in the Local Anesthetic Receptor of Voltage-Gated Sodium Channels

Antiarrhythmics, anticonvulsants, and local anesthetics target voltage-gated sodium channels, decreasing excitability of nerve and muscle cells. Channel inhibition by members of this family of cationic, hydrophobic drugs relies on the presence of highly conserved aromatic residues in the pore-lining S6 segment of the fourth homologous domain of the channel. We tested whether channel inhibition was facilitated by an electrostatic attraction between lidocaine and {pi} electrons of the aromatic rings of these residues, namely a cation-{pi} interaction. To this end, we used the in vivo nonsense suppression method to incorporate a series of unnatural phenylalanine derivatives designed to systematically reduce the negative electrostatic potential on the face of the aromatic ring. In contrast to standard point mutations at the same sites, these subtly altered amino acids preserve the wild-type voltage dependence of channel activation and inactivation. Although these phenylalanine derivatives have no effect on low-affinity tonic inhibition by lidocaine or its permanently charged derivative QX-314 at any of the substituted sites, high-affinity use-dependent inhibition displays substantial cation-{pi} energetics for 1 residue only: Phe1579 in rNaV1.4. Replacement of the aromatic ring of Phe1579 by cyclohexane, for example, strongly reduces use-dependent inhibition and speeds recovery of lidocaine-engaged channels. Channel block by the neutral local anesthetic benzocaine is unaffected by the distribution of {pi} electrons at Phe1579, indicating that our aromatic manipulations expose electrostatic contributions to channel inhibition. These results fine tune our understanding of local anesthetic inhibition of voltage-gated sodium channels and will help the design of safer and more salutary therapeutic agents

Deriving Public Transportation Timetables with Large-Scale Cell Phone Data

AbstractIn this paper, we propose an approach to deriving public transportation timetables of a region (i.e. country) based on (i) large- scale, non-GPS cell phone data and (ii) a dataset containing geographic information of public transportation stations. The presented algorithm is designed to work with movements data, which are scarce and have a low spatial accuracy but exists in vast amounts (large-scale). Since only aggregated statistics are used, our algorithm copes well with anonymized data. Our evaluation shows that 89% of the departure times of popular train connections are correctly recalled with an allowed deviation of 5minutes. The timetable can be used as feature for transportation mode detection to separate public from private transport when no public timetable is available

Graduate Recital:Christopher B. Render, Horn

Kemp Recital Hall Friday Evening March 21, 2003 7:30p.m

Crosstalk Between Staphylococcus aureus and Innate Immunity: Focus on Immunometabolism

Staphylococcus aureus is a leading cause of bacterial infections globally in both healthcare and community settings. The success of this bacterium is the product of an expansive repertoire of virulence factors in combination with acquired antibiotic resistance and propensity for biofilm formation. S. aureus leverages these factors to adapt to and subvert the host immune response. With the burgeoning field of immunometabolism, it has become clear that the metabolic program of leukocytes dictates their inflammatory status and overall effectiveness in clearing an infection. The metabolic flexibility of S. aureus offers an inherent means by which the pathogen could manipulate the infection milieu to promote its survival. The exact metabolic pathways that S. aureus influences in leukocytes are not entirely understood, and more work is needed to understand how S. aureus co-opts leukocyte metabolism to gain an advantage. In this review, we discuss the current knowledge concerning how metabolic biases dictate the pro- vs. anti-inflammatory attributes of various innate immune populations, how S. aureus metabolism influences leukocyte activation, and compare this with other bacterial pathogens. A better understanding of the metabolic crosstalk between S. aureus and leukocytes may unveil novel therapeutic strategies to combat these devastating infections