Search Results for 'thread bug'

thread bug published presentations and documents on DocSlides.

Lazy Diagnosis of  In-Production Concurrency Bugs
Lazy Diagnosis of In-Production Concurrency Bugs
by briana-ranney
Baris Kasikci, . Weidong. Cui, Xinyang Ge, Ben ....
Random Testing CS 6340 Random Testing (Fuzzing)
Random Testing CS 6340 Random Testing (Fuzzing)
by mitsue-stanley
Feed random inputs to a program. Observe whether ...
Lazy Diagnosis of  In-Production Concurrency Bugs
Lazy Diagnosis of In-Production Concurrency Bugs
by marina-yarberry
Baris Kasikci, . Weidong. Cui, Xinyang Ge, Ben ....
Maple: A Coverage-Driven Testing
Maple: A Coverage-Driven Testing
by stefany-barnette
Tool for Multithreaded Programs. Chunkun. . Bo. ...
Automated Atomicity-Violation
Automated Atomicity-Violation
by trish-goza
Automated Atomicity-Violation Fixing Guoliang Ji...
A Randomized Scheduler  with Probabilistic Guarantees
A Randomized Scheduler with Probabilistic Guarantees
by eleanor
of Finding Bugs. Sebastian Burckhardt. Microsoft R...
C ooperative
C ooperative
by pamella-moone
C. oncurrency Bug . I. solation. Guoliang. Jin,....
Deadlock Bug Detection Techniques
Deadlock Bug Detection Techniques
by freya
Prof. . Moonzoo. Kim. CS KAIST. CS492B Analysis o...
XeriBug Emitters
XeriBug Emitters
by thomas
Point Source Emission Devices Ideal for watering t...
Lecture 13 Concurrency Bugs CV rules of thumb: Keep  state in addition to CV’s
Lecture 13 Concurrency Bugs CV rules of thumb: Keep state in addition to CV’s
by pamella-moone
Lecture 13 Concurrency Bugs CV rules of thumb: Ke...
Lecture  1 5 Semaphore  & Bugs
Lecture 1 5 Semaphore & Bugs
by faustina-dinatale
Concurrency. Threads. Locks. Condition Variables....
Dongyoon  Lee † ,  Mahmoud
Dongyoon Lee † , Mahmoud
by luanne-stotts
Said*, . Satish. . Narayanasamy. †. , . Ziji...
Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug Detection Analyses
Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug Detection Analyses
by olivia-moreira
Michael D. Bond. University of Texas at Austin. G...
Concurrency Issues Motivation, Problems, Directions
Concurrency Issues Motivation, Problems, Directions
by min-jolicoeur
Dennis Kafura - CS 5204 - Operating Systems. 1. D...
Learning from Mistakes: A Comprehensive Study on Real-World
Learning from Mistakes: A Comprehensive Study on Real-World
by cheryl-pisano
Ben Shelton. Motivation. Concurrent programming i...
Model-based Kernel Testing for Concurrency Bugs through Cou
Model-based Kernel Testing for Concurrency Bugs through Cou
by tawny-fly
Moonzoo Kim. , Shin Hong, Changki Hong. Provable ...
What Change History Tells Us about Thread Synchronization
What Change History Tells Us about Thread Synchronization
by alexa-scheidler
Rui. . Gu. , . Guoliang. . Jin. , . Linhai. So...
On Concurrency Idioms and their Effect
On Concurrency Idioms and their Effect
by jane-oiler
on Program . Analysis. Weizmann Institute . of Sc...
Concurrency Issues
Concurrency Issues
by debby-jeon
Motivation, Problems, Directions. Dennis Kafura -...
Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug
Breadcrumbs: Efficient Context Sensitivity for Dynamic Bug
by briana-ranney
Michael D. Bond. University of Texas at Austin. G...
e Wobble Bugger by Michael Lack Materials Hook Daiichi
e Wobble Bugger by Michael Lack Materials Hook Daiichi
by alexa-scheidler
Start the thread mid shank and wrap it to a point...