-UNSAT) - PDFSEARCH.IO - Document Search Engine

-UNSAT)
Results: 36

#	Item
1	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 Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-09-27 23:32:05 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
2	at e d Luis Ceze * Easy to ed Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:06
3	Hyperkernel: Push-Button Verification of an OS Kernel Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-24 20:19:38 System software Computer architecture Software Kernel Xv6 LLVM Linux kernel
4	Nickel A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, and Xi Wang Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-10-10 04:10:19 Aircraft instruments Standards Covert channel Steganography ARINC 653 ARINC Verification Human behavior Technology User interface design Design
5	PDF Document Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-25 00:49:21 Programming Language Design and Implementation Symposium on Principles of Programming Languages
6	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 Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:06 Computer architecture Computing Formal methods Logic in computer science Kernel Linux kernel L4 microkernel family Mach Verification X86-64 Formal verification Satisfiability modulo theories
7	Push-Button Verification of File Systems via Crash Refinement Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, Xi Wang University of Washington Abstract mentation, and consistency invariants indicating whether Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:06 Computer architecture System software Disk file systems Data management Inode File system Journaling file system Log-structured File System Ext3 Mkfs Refinement Ext4
8	Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-25 00:49:18 Computer architecture Computing System software Disk file systems C POSIX library System calls Application programming interfaces Ext4 Sync POSIX Ext3 File system
9	Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:05 Computer architecture System software Computing Disk file systems Ext4 Ext3 Sync File system Btrfs XFS Inode File locking
10	A Crash-Safe Key-Value Store Using Chained Copy-on-Write B-trees by Bruno Castro-Karney Supervised by Xi Wang Add to Reading List Source URL: unsat.cs.washington.edu Language: English - Date: 2018-08-21 17:45:06 Binary trees Computing Computer programming B-tree Learning Data types Trie B+ tree Btrfs R-tree T-tree Tree