Reasoning About Lock Placements Peter Hawkins, Alex Aiken? , Kathleen Fisher?? , Martin Rinard, and Mooly Sagiv Stanford University, Tufts University, MIT, Tel Aviv University Abstract. A lock placement describes, for ea

Source URL: theory.stanford.edu

• Data
• Information
• Databases
• Lock
• Linearizability
• Two-phase locking
• Parallel computing
• Serializability
• Extensible Storage Engine
• Transaction processing
• Concurrency control
• Data management

Compositional Pointer and Escape Analysis for Multithreaded Java Programs Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, MA 02139

Source URL: suif.stanford.edu

• Graph
• Parallel computing
• Lock
• Monitor
• Power graph analysis
• Topology
• Graph theory
• Mathematics
• Concurrency control

WikiDo Nate Kushman M. Brodsky, S. Branavan, D. Katabi, R. Barzilay, M. Rinard, N. Van Dyke, and S. Bauer Computer Usability Is A Mess

Source URL: people.csail.mit.edu

• Usability
• Time management
• Computing
• Human–computer interaction
• Configure script
• Trace

Cervélo P5 Technical White Paper By Damon Rinard, Senior Advanced R&D Engineer & Phil White, Co-Founder Contents Aerodynamic heritage .....................................................................................

Source URL: www.cervelo.com

• Cervélo
• Aerospace
• Wind tunnel
• Bicycle frame
• Airfoil
• Bicycle
• Chord
• Aerodynamics
• Aerospace engineering
• Space technology

Melissa Rinard, Legal Assistant General Counsel’s Office, Texas Department of Licensing and Regulation P.O. Box[removed]Austin, TX[removed]Re: Concerns with Licensed Dog and Cat Breeder Proposed Regulations

Source URL: www.akc.org

• Breeder
• Texas Department of Licensing and Regulation
• Breeding
• Rinard

West Virginia Council of School Nurses Meeting Minutes[removed]Present: Carol Cipoletti RESA VI, Delberta Riffe RESA III, Shelly Kerere – RESA VII, Elaine Riuehart – RESA V, Mary Jane Rinard – RESA VIII,

Source URL: wvde.state.wv.us

• Licensed practical nurse
• School nurse
• Health
• Medicine
• Nursing

WEST VIRGINIA COUNCIL OF SCHOOL NURSES Bridgeport, WV January 13 and 14, 2005

Source URL: wvde.state.wv.us

ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), October[removed]A Parameterized Type System for Race-Free Java Programs Chandrasekhar Boyapati Martin Rinard

Source URL: web.eecs.umich.edu

• Concurrency control
• Monitor
• Lock
• Generic programming
• Thread-local storage
• Constructor
• Software design pattern
• Immutable object
• Java
• Computing
• Software engineering
• Computer programming

CURRICULUM VITAE Martin C. Rinard Department of Electrical Engineering and Computer Science Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology

Source URL: people.csail.mit.edu

• Software engineering
• OOPSLA
• Programming Language Design and Implementation
• Symposium on Principles and Practice of Parallel Programming
• SIGPLAN
• Principles of Programming Languages
• XPL
• ECL programming language
• Monica S. Lam
• Association for Computing Machinery
• Computer science
• Computing

RANK OF CITY CONSOLIDATED TAX RATES(1=HI) TAXES PAYABLE FY09 BRAYTON[removed][removed]RINARD[removed][removed]CASEY[removed][removed]PETERSON[removed][removed]DIAGONAL[removed].28

Source URL: www.dom.state.ia.us