Stochastic Synthesis for Stochastic Computing Vincent T. Lee, Armin Alaghi, Luis Ceze, Mark Oskin University of Washington arXiv:1810.04756v1 [cs.ET] 10 Oct 2018

Source URL: arxiv.org

• Probability and statistics
• Statistics
• Statistical randomness
• Stochastic computing
• Applied mathematics
• Stochastic optimization
• Artificial neural network
• Mathematical optimization
• Stochastic process

Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington

Source URL: unsat.cs.washington.edu

• Formal methods
• Software engineering
• Computing
• Logic in computer science
• Non-interference
• Exception handling
• Formal verification
• Refinement
• Thread
• Futures and promises
• Covert channel
• Application programming interface

Synthesis and Verification for All Emina Torlak University of Washington homes.cs.washington.edu/~emina/

Source URL: con.racket-lang.org

Automated Diagnosis of Software Configuration Errors Sai Zhang, Michael D. Ernst University of Washington

Source URL: zhang-sai.github.io

• Software bug
• Debugging

Finding Errors in Multithreaded GUI Applications Sai Zhang University of Washington Joint work with: Hao Lu, Michael D. Ernst

Source URL: zhang-sai.github.io

• Computing
• Computer programming
• Software engineering
• Java
• Widget toolkits
• Cross-platform software
• Concurrent computing
• Swing
• Thread
• Debugging
• D
• Event dispatching thread

Formal Development of a Graphical User Interface for a Radiation Therapy Machine Jonathan Jacky  Jonathan Unger Radiation Oncology Department RC-08 University of Washington

Source URL: staff.washington.edu

• Humancomputer interaction
• User interface techniques
• Human behavior
• Software architecture
• Computing
• Computer
• User interface
• Graphical user interface

Combined Static and Dynamic Automated Test Generation Sai Zhang University of Washington Joint work with:

Source URL: zhang-sai.github.io

• Computing
• Software engineering
• Java platform
• Cross-platform software
• Object-oriented programming languages
• Software testing
• Java Database Connectivity
• JUnit
• D
• Test automation

University of Washington Database Group Quarterly Newsletter - FallUW Database Group Data management systems, cloud services, probabilistic databases, and data pricing in Computer Science & Engineering at the Univ

Source URL: db.cs.washington.edu

• Computing
• Data management
• Data
• Business intelligence
• Database management systems
• Technology forecasting
• Transaction processing
• Dan Suciu
• Big data
• Probabilistic database
• Data science
• Analytics

Empirically Revisiting the Test Independence Assumption Sai Zhang, Darioush Jalali, Jochen Wuttke, Kıvanç Muşlu, Wing Lam, Michael D. Ernst, David Notkin University of Washington

Source URL: zhang-sai.github.io

• Design of experiments
• Psychometrics
• Statistical hypothesis testing
• Software testing
• Measurement

Hyperkernel: Push-Button Verification of an OS Kernel Luke Nelson, Helgi Sigurbjarnarson, Kaiyuan Zhang, Dylan Johnson, James Bornholt, Emina Torlak, and Xi Wang University of Washington {lukenels,helgi,kaiyuanz,dgj16,bo

Source URL: unsat.cs.washington.edu

• Computer architecture
• Computing
• Formal methods
• Logic in computer science
• Kernel
• Linux kernel
• L4 microkernel family
• Mach
• Verification
• X86-64
• Formal verification
• Satisfiability modulo theories