MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Derek Bruening" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 12 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Systematic Testing of Multithreaded Programs  
  • by Derek Bruening, John Chapin
  • …We present a practical testing algorithm called ExitBlock that systematically and deterministically nds program errors resulting from unintended timing dependencies. ExitBlock executes a program or a portion of a program on a given input multiple times, enumerating meaningful schedules in order to …
  • Cited by 6 (0 self) – Add To MetaCart
  • Softspec: Software-based Speculative Parallelism  
  • by Derek Bruening, Srikrishna Devabhaktuni, Saman Amarasinghe — 2000 — In 3rd ACM Workshop on Feedback-Directed and Dynamic Optimization (FDDO-3
  • …Softspec: Software-based Speculative Parallelism Derek Bruening, Srikrishna Devabhaktuni, Saman…
  • Cited by 8 (1 self) – Add To MetaCart
  • Secure Execution Via Program Shepherding  
  • by Vladimir Kiriansky, Derek Bruening, Saman Amarasinghe — 2002 — In Proceedings of the 11th USENIX Security Symposium
  • … acknowledges all trademarks herein. Abstract Secure Execution Via Program Shepherding Vladimir Kiriansky, Derek…
  • Cited by 148 (2 self) – Add To MetaCart
  • Systematic Testing of Multithreaded Programs  
  • by Derek Bruening John, John Chapin — 2000 — MIT/LCS Technical Memo, LCSTM 607
  • …Systematic Testing of Multithreaded Programs Derek Bruening, John Chapin Laboratory for Computer…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB