Skip to main content
TudRepo
Research repository
Education Repository
Cultural Heritage
About
·
How to search
Include full text
Search results
Back
Searched for: contributor%3A%22Chakraborty%2C+S.S.+%28mentor%29%22
(1 - 8 of 8)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel
Building a Compiler Optimizing C++ Atomic Accesses
Expressing Intent: An evaluation of the Arm Machine Readable Specification
Fencing off unwanted behavior: Improving and evaluating the Fency static analysis tool
Probabilistic Testing for Weak Memory Concurrency
Evaluating Souper: A Synthesizing Superoptimizer
Evaluating Stochastic Floating-Point Superoptimization with STOKE
Evaluating the egg Equality Saturation Superoptimizer
Evaluating STOKE
Searched for: contributor%3A%22Chakraborty%2C+S.S.+%28mentor%29%22
(1 - 8 of 8)
Document type
Date
List view
Grid view
Print
Email
export CSV
export Excel