Verifying the Safety of a Flight-Critical System Guillaume Brat1 , David Bushnell2 , Misty Davies3 , Dimitra Giannakopoulou3 , Falk Howar4 ? , and Temesghen Kahsai1 1 Carnegie Mellon University

Source URL: www.falkhowar.de

• Computing
• Software engineering
• Formal methods
• Software
• Theoretical computer science
• Simulation software
• Visual programming languages
• Numerical software
• Simulink
• SIGNAL
• Autopilot
• Formal verification

An Open Corpus of Everyday Documents for Simplification Tasks David Pellow and Maxine Eskenazi Language Technologies Institute, Carnegie Mellon University Pittsburgh PA USA ,

Source URL: www.aclweb.org

Measurement and Analysis of TCP Throughput Collapse in Cluster-based Storage Systems Amar Phanishayee, Elie Krevat, Vijay Vasudevan, David G. Andersen, Gregory R. Ganger, Garth A. Gibson, Srinivasan Seshan Carnegie Mello

Source URL: www.cs.cmu.edu

2018 Carnegie Medal shortlist Talking Points Title: WED WABBIT Author: Lissa Evans Publisher: David Fickling Books

Source URL: www.carnegiegreenaway.org.uk

Password Managers: Attacks and Defenses David Silver, Suman Jana, and Dan Boneh, Stanford University; Eric Chen and Collin Jackson, Carnegie Mellon University https://www.usenix.org/conference/usenixsecurity14/technical-

Source URL: www.usenix.org

Hands-On Tutorial: Auditing Static Analysis Alerts Using a Lexicon & Rules Lori Flynn, David Svoboda, and William Snavely Software Engineering Institute Carnegie Mellon University Pittsburgh, Pennsylvania USA

Source URL: s3.amazonaws.com

Group Composition and Intelligent Dialogue Tutors for Impacting Students’ Academic Self-Efficacy Iris Howley, David Adamson, Gregory Dyke, Elijah Mayfield, Jack Beuth, Carolyn P. Rosé Carnegie Mellon University, Pitts

Source URL: cs.williams.edu

Using Fast Weights to Deblur Old Memories Geoffrey E. Hinton and David C. Plaut Computer Science Department Carnegie-Mellon University Abstract

Source URL: pdfs.semanticscholar.org

Password Managers: Attacks and Defenses David Silver1 , Suman Jana1 , Eric Chen2 , Collin Jackson2 , and Dan Boneh1 1 Stanford 2 Carnegie University

Source URL: crypto.stanford.edu

Password Managers: Attacks and Defenses David Silver1 , Suman Jana1 , Eric Chen2 , Collin Jackson2 , and Dan Boneh1 1 Stanford 2 Carnegie University

Source URL: www.cs.columbia.edu