3 citations · 5 across the 5 of their papers we have counts for
5 papers
Trash Talk: Accelerating Garbage Collection on Integrated GPUs is Worthless
Mohammad Dashti, Alexandra Fedorova
Systems integrating heterogeneous processors with unified memory provide seamless integration among these processors with minimal development complexity. These systems integrate ac…
A Theory of Black-Box Tests
Mohammad Torabi Dashti, David Basin
The purpose of testing a system with respect to a requirement is to refute the hypothesis that the system satisfies the requirement. We build a theory of tests and refutation based…
Compiling Database Application Programs
Mohammad Dashti, Sachin Basil John, Thierry Coppey +3
There is a trend towards increased specialization of data management software for performance reasons. In this paper, we study the automatic specialization and optimization of data…
Push vs. Pull-Based Loop Fusion in Query Engines
Amir Shaikhha, Mohammad Dashti, Christoph Koch
Database query engines use pull-based or push-based approaches to avoid the materialization of data across query operators. In this paper, we study these two types of query engines…
Repairing Conflicts among MVCC Transactions
Mohammad Dashti, Sachin Basil John, Amir Shaikhha +1
The optimistic variants of MVCC (Multi-Version Concurrency Control) avoid blocking concurrent transactions at the cost of having a validation phase. Upon failure in the validation…