Incentivizing Deep Fixes in Software Economies von Rao, Malvika, Bacon, David F., Parkes, David C., Seltzer, Margo I.

Volltext

Compiler transformations for high-performance computing von Bacon, David F, Graham, Susan L, Sharp, Oliver J

Volltext

An efficient on-the-fly cycle collection von Paz, Harel, Bacon, David F., Kolodner, Elliot K., Petrank, Erez, Rajan, V. T.

Volltext

Derivation and Evaluation of Concurrent Collectors von Vechev, Martin T., Bacon, David F., Cheng, Perry, Grove, David

Volltext

Low-latency time-portable real-time programming with Exotasks von Auerbach, Joshua, Bacon, David F., Iercan, Daniel, Kirsch, Christoph M., Rajan, V. T., Röck, Harald, Trummer, Rainer

Volltext

Fast static analysis of C++ virtual function calls von Bacon, David F., Sweeney, Peter F.

Volltext

Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork von Bacon, David F., Cheng, Perry, Frampton, Daniel, Grove, David, Hauswirth, Matthias, Rajan, V. T.

Volltext

A Comparative Evaluation of Parallel Garbage Collector Implementations von Attanasio, Clement R., Bacon, David F., Cocchi, Anthony, Smith, Stephen

Volltext

Concurrent Cycle Collection in Reference Counted Systems von Lindskov Knudsen, Jorgen

Volltext

Session details: Papers from VEE

Volltext

A compiler and runtime for heterogeneous computing von Auerbach, Joshua, Bacon, David F., Burcea, Ioana, Cheng, Perry, Fink, Stephen J., Rabbah, Rodric, Shukla, Sunil

Volltext

A real-time garbage collector with low overhead and consistent utilization von Bacon, David F., Cheng, Perry, Rajan, V. T.

Volltext

The ExoVM system for automatic VM and application reduction von Titzer, Ben L., Auerbach, Joshua, Bacon, David F., Palsberg, Jens

Volltext

A computing origami: folding streams in FPGAs von Hagiescu, Andrei, Wong, Weng-Fai, Bacon, David F., Rabbah, Rodric

Volltext

Hardware Support for Cloud Database Systems in the Post-Moore’s Law Era (Dagstuhl Seminar 24162) von Bacon, David F., Binnig, Carsten, Patterson, David, Seltzer, Margo

Volltext

A unified theory of garbage collection von Bacon, David F, Cheng, Perry, Rajan, V T

Volltext

CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors von Vechev, Martin T., Yahav, Eran, Bacon, David F., Rinetzky, Noam

Volltext

Java takes flight:time-portable real-time programming with exotasks von Auerbach, Joshua, Bacon, David F, Iercan, Daniel T, Kirsch, Christoph M, Rajan, V T, Roeck, Harald, Trummer, Rainer

Volltext

Virtualization of heterogeneous machines von Auerbach, J., Bacon, D. F., Cheng, P., Rabbah, R., Shukla, S.

Volltext

Correctness-preserving derivation of concurrent garbage collection algorithms von Vechev, Martin T, Yahav, Eran, Bacon, David F

Volltext