A Logic of Secure Systems and its Application to Trusted Computing Anupam Datta Jason Franklin Deepak Garg

Source URL: www.cs.cmu.edu

• Computer security
• Computing
• Trusted computing
• Cryptography
• Trusted Execution Technology
• X86 architecture
• Trusted Platform Module
• Monitor
• Futures and promises
• Trusted computing base
• Polymerase chain reaction
• Thread

Concurrency Attacks Junfeng Yang, Ang Cui, Sal Stolfo, Simha Sethumadhavan {junfeng, ang, sal, simha}cs.columbia.edu Department of Computer Science Columbia University

Source URL: www.cs.columbia.edu

• Concurrent computing
• Software bugs
• Computer memory
• Software testing
• Edsger W. Dijkstra
• Concurrency
• Code injection
• Computer security
• Go
• Lock
• Thread
• Parallel computing

Sound and Precise Analysis of Parallel Programs through Schedule Specialization Jingyue Wu Yang Tang

Source URL: www.cs.columbia.edu

• Parallel computing
• Compiler optimizations
• Concurrent computing
• Concurrency
• OpenMP
• Thread
• Synchronization
• Optimizing compiler
• Data-flow analysis
• Static single assignment form
• POSIX Threads

JavaUI: Effects for Controlling UI Object Access Colin S. Gordon, Werner M. Dietl, Michael D. Ernst, Dan Grossman University of Washington https://github.com/csgordon/javaui

Source URL: homes.cs.washington.edu

• Eclipse software
• Concurrent computing
• JFace
• Java
• Thread
• D
• Swing

Thread and Interrupt Safe Method Dispatch in PCL Nikodemus Siivola Steel Bank Studio Ltd

Source URL: www.european-lisp-workshop.org

Using Escape Analysis in Dynamic Data Race Detection Williams College Technical Report CSTR201401 1. Emma Harrington

Source URL: dept.cs.williams.edu

• Memory management
• Concurrent computing
• Parallel computing
• C++
• Thread-local storage
• Garbage collection
• Thread
• Go
• C dynamic memory allocation
• Race condition
• Escape analysis
• Object-oriented programming

Rely-Guarantee References for Refinement Types over Aliased Mutable Data Colin S. Gordon, Michael D. Ernst, and Dan Grossman University of Washington PLDI 2013

Source URL: homes.cs.washington.edu

• Logic in computer science
• Program analysis
• Substructural logic
• Concurrent computing
• Aliasing
• Compiler construction
• Separation logic
• Alias
• Thread
• Assertion
• OCaml
• Type system

Shuttle/Thread Capacity Chart When trying to wind shuttles CTM, wouldn’t it be nice to know how much each shuttle will hold of the thread you are using? You would not have to measure as you are winding the first shuttl

Source URL: www.georgiaseitz.com

Ownership is Theft: Experiences Building an Embedded OS in Rust Amit Levy† , Michael P Andersen‡ , Bradford Campbell§ , David Culler‡ , Prabal Dutta§ , Branden Ghena§ , Philip Levis† and Pat Pannuto§ † Stan

Source URL: amitlevy.com

• Procedural programming languages
• Cross-platform software
• Process
• Subroutines
• Central processing unit
• Rust
• Thread
• Interrupt handler
• Context switch
• Kernel
• C++
• C dynamic memory allocation

Basic Instructions Fill the shuttle with thread from a ball DMC or Coats 20, but DO NOT CUT from the ball. The Ring:

Source URL: www.johan-potgieter.com