Checking Concise Specifications for Multithreaded Software Stephen N. Freund1 and Shaz Qadeer2 1 Department of Computer Science, Williams College, Williamstown, MA

Source URL: www.cs.williams.edu

Chaperones and Impersonators: Run-time Support for Reasonable Interposition T. Stephen Strickland Sam Tobin-Hochstadt Northeastern University {sstrickl,samth}@ccs.neu.edu

Source URL: www.eecs.northwestern.edu

• Computer programming
• Software engineering
• Programming language theory
• Functional programming
• Object
• Immutable object
• Chaperone
• Mutator method
• Euclidean vector
• Container
• ALGOL 68
• Struct

A Symbolic Execution Framework for JavaScript Prateek Saxena, Devdatta Akhawe, Steve Hanna, Feng Mao, Stephen McCamant, Dawn Song Computer Science Division, EECS Department University of California, Berkeley {prateeks, d

Source URL: webblaze.cs.berkeley.edu

Neuron, Volume 71 Supplemental Information Single-Trial Neural Correlates of Arm Movement Preparation A fsheen A fshar, Gopal Santhanam, Byron M . Y u, Stephen I. Ryu, M aneesh Sahani, and

Source URL: www.sciencedirect.com

Improving Multi-Modal Representations Using Image Dispersion: Why Less is Sometimes More Douwe Kiela*, Felix Hill*, Anna Korhonen and Stephen Clark University of Cambridge Computer Laboratory {douwe.kiela|felix.hill|anna

Source URL: acl2014.org

Shaping the cellular landscape with Set2/ SETD2 methylation Stephen L. McDaniel & Brian D. Strahl Cellular and Molecular Life Sciences

Source URL: www.med.unc.edu

Reality Check: The “Assault Weapon” Fantasy and Second Amendment Jurisprudence STEPHEN P. HALBROOK* INTRODUCTION: WHEN RIFLES WERE GOOD . . . . . . . . . . . . . . . . . . . . . . 47

Source URL: www.stephenhalbrook.com

Programming Forth Revised May 2011 Stephen Pelc Programming Forth

Source URL: www.mpeforth.com

Generality and Uniqueness in the History of Life: An Exploration with Random Models Author(s): Stephen Jay Gould Source: BioScience, Vol. 28, No. 4 (Apr., 1978), ppPublished by: American Institute of Biological

Source URL: cbs.asu.edu

Kim Reynolds Governor of Iowa Adam Gregg Lieutenant Governor Stephen Larson Administrator PRESS RELEASE

Source URL: www.ncsla.org