Search Results - "Devietti, Joseph"

RADISH: Always-on sound and complete race detection in software and hardware by Devietti, J., Wood, B. P., Strauss, K., Ceze, L., Grossman, D., Qadeer, S.

“…Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and…”
Get full text

Online COde Layout OptimizationS via OCOLOS by Zhang, Yuxuan, Khan, Tanvir Ahmed, Pokam, Gilles, Kasikci, Baris, Litz, Heiner, Devietti, Joseph

“…The processor front-end has become an increasingly important bottleneck in recent years due to growing application code footprints, particularly in data…”
Get full text

I-SPY: Context-Driven Conditional Instruction Prefetching with Coalescing by Khan, Tanvir Ahmed, Sriraman, Akshitha, Devietti, Joseph, Pokam, Gilles, Litz, Heiner, Kasikci, Baris

“…Modern data center applications have rapidly expanding instruction footprints that lead to frequent instruction cache misses, increasing cost and degrading…”
Get full text

Anytime Computation and Control for Autonomous Systems by Pant, Yash Vardhan, Abbas, Houssam, Mohta, Kartik, Quaye, Rhudii A., Nghiem, Truong X., Devietti, Joseph, Mangharam, Rahul

“…The correct and timely completion of the sensing and action loop is of utmost importance in safety critical autonomous systems. Crucial to the performance of…”
Get full text

Ripple: Profile-Guided Instruction Cache Replacement for Data Center Applications by Khan, Tanvir Ahmed, Zhang, Dexin, Sriraman, Akshitha, Devietti, Joseph, Pokam, Gilles, Litz, Heiner, Kasikci, Baris

“…Modern data center applications exhibit deep software stacks, resulting in large instruction footprints that frequently cause instruction cache misses…”
Get full text

PARSNIP: performant architecture for race safety with no impact on precision by Peng, Yuanfeng, Wood, Benjamin P., Devietti, Joseph

“…Data race detection is a useful dynamic analysis for multithreaded programs that is a key building block in record-and-replay, enforcing strong consistency…”
Get full text

OCOLOS: Online COde Layout OptimizationS by Zhang, Yuxuan, Khan, Tanvir Ahmed, Pokam, Gilles, Kasikci, Baris, Litz, Heiner, Devietti, Joseph

“…The processor front-end has become an increasingly important bottleneck in recent years due to growing application code footprints, particularly in data…”
Get full text

Static detection of uncoalesced accesses in GPU programs by Alur, Rajeev, Devietti, Joseph, Leija, Omar S. Navarro, Singhania, Nimit

“…GPU programming has become popular due to the high computational capabilities of GPUs. Obtaining significant performance gains with GPU is however challenging…”
Get full text

TMI: thread memory isolation for false sharing repair by DeLozier, Christian, Eizenberg, Ariel, Hu, Shiliang, Pokam, Gilles, Devietti, Joseph

“…Cache contention in the form of false sharing and true sharing arises when threads overshare cache lines at high frequency. Such oversharing can reduce or…”
Get full text

Deterministic Atomic Buffering by Chou, Yuan Hsi, Ng, Christopher, Cattell, Shaylin, Intan, Jeremy, Sinclair, Matthew D., Devietti, Joseph, Rogers, Timothy G., Aamodt, Tor M.

“…Deterministic execution for GPUs is a desirable property as it helps with debuggability and reproducibility. It is also important for safety regulations, as…”
Get full text

Atom-Aid: Detecting and Surviving Atomicity Violations by Lucia, Brandon, Devietti, Joseph, Strauss, Karin, Ceze, Luis

“…Writing shared-memory parallel programs is error-prone. Among the concurrency errors that programmers often face are atomicity violations, which are especially…”
Get full text

LASER: Light, Accurate Sharing dEtection and Repair by Liang Luo, Sriraman, Akshitha, Fugate, Brooke, Shiliang Hu, Pokam, Gilles, Newburn, Chris J., Devietti, Joseph

“…Contention for shared memory, in the forms of true sharing and false sharing, is a challenging performance bug to discover and to repair. Understanding cache…”
Get full text

DMP: Deterministic Shared-Memory Multiprocessing by Devietti, J., Lucia, B., Ceze, L., Oskin, M.

“…Shared-memory multicore and multiprocessor systems are nondeterministic, which frustrates debugging and complicates testing of multithreaded code, impeding…”
Get full text

Deterministic Execution for Arbitrary Multithreaded Programs by Devietti, Joseph

“…Nondeterminism is one of the main reasons that parallel programming is so difficult. Bugs can vanish when programs are rerun or run under a debugger, thwarting…”
Get full text

Atom-Aid: Detecting and Surviving Atomicity Violations by Lucia, B., Devietti, J., Ceze, L., Strauss, K.

“…Hardware can play a significant role in improving reliability of multithreaded software. Recent architectural proposals arbitrarily group consecutive dynamic…”
Get full text

SLIMFAST: Reducing Metadata Redundancy in Sound and Complete Dynamic Data Race Detection by Peng, Yuanfeng, DeLozier, Christian, Eizenberg, Ariel, Mansky, William, Devietti, Joseph

“…Data races are one of the main culprits behind the complexity of multithreaded programming. Existing data race detectors require large amounts of metadata for…”
Get full text

Deterministic Execution for Arbitrary Multithreaded Programs by Devietti, Joseph

“…Nondeterminism is one of the main reasons that parallel programming is so difficult. Bugs can vanish when programs are rerun or run under a debugger, thwarting…”
Get full text

Co-design of Anytime Computation and Robust Control by Pant, Yash Vardhan, Abbas, Houssam, Mohta, Kartik, Nghiem, Truong X., Devietti, Joseph, Mangharam, Rahul

“…Control software of autonomous robots has stringent real-time requirements that must be met to achieve the control objectives. One source of variability in the…”
Get full text

Power-efficient algorithms for autonomous navigation by Pant, Yash Vardhan, Abbas, Houssam, Nischal, K. N., Kelkar, Paritosh, Kumar, Dhruva, Devietti, Joseph, Mangharam, Rahul

“…Real-time navigation of autonomous vehicles requires the processing of a large amount of sensor data by the perception algorithms onboard the vehicle, like…”
Get full text

Hardware Optimizations for Anytime Perception and Control by Nischal, K. N., Kelkar, Paritosh, Kumar, Dhruva, Pant, Yash Vardhan, Abbas, Houssam, Devietti, Joseph, Mangharam, Rahul

“…Autonomous vehicles promise significant benefits to society, from reduced accident rates to greater mobility for the elderly. The biggest challenge in the…”
Get full text