| 57 |
Avoiding Consistency Exceptions Under Strong Memory Models |
None |
open |
|
2017-06-08
|
2017-06-08
|
|
| 56 |
Legato: End-to-End Bounded Region Serializability Using Commodity Hardware Transactional Memory |
None |
open |
|
2017-02-03
|
2017-02-03
|
|
| 55 |
Lightweight Data Race Detection for Production Runs |
None |
open |
|
2017-02-01
|
2017-02-01
|
|
| 54 |
Prescient Memory: Exposing Weak Memory Model Behavior by Looking into the Future |
None |
open |
|
2016-05-06
|
2016-05-06
|
|
| 53 |
Relaxed Dependence Tracking for Parallel Runtime Support |
None |
open |
|
2016-02-23
|
2016-02-25
|
|
| 52 |
Drinking from Both Glasses: Combining Pessimistic and Optimistic Tracking of Cross-Thread Dependences |
None |
open |
|
2016-01-11
|
2016-01-21
|
|
| 51 |
Valor: Efficient, Software-Only Region Conflict Exceptions |
None |
open |
|
2015-09-11
|
2015-09-11
|
|
| 50 |
EnfoRSer-H: Toward Efficient Strong Memory Model Support for the Java Platform via Hybrid Synchronization |
None |
open |
|
2015-09-07
|
2015-09-07
|
|
| 49 |
Multithreaded record & replay |
None |
open |
|
2015-07-23
|
2015-07-23
|
|
| 48 |
EnfoRSer: Hybrid Static–Dynamic Analysis for Statically Bounded Region Serializability |
None |
open |
|
2015-03-12
|
2015-03-12
|
|
| 47 |
A Java Port of the STAMP Benchmarks, Modified for LarkTM |
None |
open |
|
2015-02-07
|
2015-02-07
|
|
| 46 |
Low-Overhead Software Transactional Memory with Progress Guarantees and Strong Semantics |
None |
open |
|
2015-02-07
|
2015-02-07
|
|
| 45 |
DoubleChecker: Efficent Sound and Precise Atomicity Checking |
None |
open |
|
2014-04-04
|
2014-04-04
|
|
| 44 |
Efficient Context Sensitivity for Dynamic Analyses via Calling Context Uptrees and Customized Memory Management |
None |
open |
|
2013-09-15
|
2013-09-15
|
|
| 43 |
Octet: Capturing and Controlling Cross-Thread Dependences Efficiently |
None |
open |
|
2013-09-13
|
2013-09-13
|
|
| 42 |
Resurrector--A Tunable Object Lifetime Profiling Technique for Optimizing Real-World Programs |
None |
open |
|
2013-08-01
|
2013-08-22
|
|
| 41 |
k-BLPP - Ball-Larus Path Profiling Across Multiple Loop Iterations |
None |
open |
|
2013-07-24
|
2013-07-25
|
|
| 40 |
Control Theory for Principled Heap Sizing (ISMM 2013) |
None |
open |
|
2013-04-18
|
2013-07-02
|
|
| 39 |
Static cloning of library methods for application and VM contexts |
None |
open |
|
2013-04-03
|
2013-07-21
|
|
| 38 |
cross compile rvm for ppc, using qemu and guestfs |
None |
open |
|
2012-04-06
|
2012-09-21
|
|
| 37 |
LeakChaser, a Java memory leak detection tool |
None |
open |
|
2011-03-21
|
2014-08-18
|
|
| 36 |
enable replay compilation for Dacapo 9.12 bach |
None |
open |
|
2010-12-07
|
2013-02-24
|
|
| 35 |
mark-sweep-defragment garbage collector |
None |
open |
|
2010-10-30
|
2012-09-21
|
|
| 34 |
Automated JIT compiler tuning |
None |
open |
|
2010-10-21
|
2012-09-21
|
|
| 33 |
MarkSwap GC |
None |
open |
|
2010-08-22
|
2012-09-21
|
|
