Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers Stuart Pernsteiner1 , Calvin Loncaric1 , Emina Torlak1 , Zachary Tatlock1 , Xi Wang1 , Michael D. Ernst1 , and Jonathan Jacky2 1

Source URL: unsat.cs.washington.edu

• Formal methods
• Theoretical computer science
• Automation
• Safety case
• Embedded system
• Electromagnetism
• Computing
• Carbon nanotubes
• Electrical engineering

July 16, 2018 Andrew Wheeler Acting Administrator U.S. Environmental Protection Agency 1200 Pennsylvania Avenue, NW Washington, DC 20460

Source URL: www.nationalacademies.org

• Environmental policy in the United States
• National Academies of Sciences
• Engineering
• and Medicine
• Regulatory science
• United States Environmental Protection Agency
• Environment of the United States
• Natural environment
• Government

The Honorable Mitch McConnell Senate Majority Leader 317 Russell Senate Office Building Washington, D.CThe Honorable Paul Ryan

Source URL: www.istandwithpp.org

• Planned Parenthood
• Women's health
• Government
• Mayor
• Health in the United States
• Politics

MuJoCo: A physics engine for model-based control Emanuel Todorov, Tom Erez and Yuval Tassa University of Washington Abstract— We describe a new physics engine tailored to model-based control. Multi-joint dynamics are r

Source URL: homes.cs.washington.edu

• Mathematical optimization
• Mechanics
• Physics
• Dynamical systems
• Mechanical engineering
• Contact dynamics
• Linear complementarity problem
• Multibody system
• Trajectory optimization
• Constraint
• Degrees of freedom
• Inverse dynamics

September 4, 2018 Senator Chuck Grassley, Chairman Senator Dianne Feinstein, Ranking Member United States Senate Committee on the Judiciary 224 Dirksen Senate Office Building Washington, D.C

Source URL: www.epic.org

• United States
• Law
• Brett Kavanaugh
• Electronic Privacy Information Center
• Marc Rotenberg
• Neil Gorsuch
• Supreme Court of the United States
• Dianne Feinstein
• Privacy
• John Roberts
• Chuck Grassley
• United States Senate Committee on the Judiciary

Synthesizing Memory Models from Framework Sketches and Litmus Tests James Bornholt Emina Torlak

Source URL: unsat.cs.washington.edu

• Mathematical logic
• Model theory
• Metalogic
• Mathematics
• First-order logic
• Relational algebra
• FO
• Structure
• Relational
• Interpretation
• Computation tree logic

Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington

Source URL: unsat.cs.washington.edu

• Formal methods
• Verification
• Technology
• Refinement
• Specification
• File system
• Evaluation
• Business

PDF Document

Source URL: krishna.gs.washington.edu

DOCX Document

Source URL: jsis.washington.edu

PDF Document

Source URL: www.climate.washington.edu