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
|
|