|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 100 occurrences of 60 keywords
|
|
|
|
|
Results
Found 69 publication records. Showing 69 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hans-Juergen Boehm, David F. Bacon (eds.) |
Proceedings of the 10th International Symposium on Memory Management, ISMM 2011, San Jose, CA, USA, June 04 - 05, 2011  |
ISMM  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Joshua S. Auerbach, David F. Bacon, Perry Cheng, Rodric M. Rabbah, Sunil Shukla |
Virtualization of heterogeneous machines hardware description in a synthesizable object-oriented language. |
DAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | David F. Bacon |
Virtualization in the age of heterogeneous machines. |
VEE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua S. Auerbach, David F. Bacon, Perry Cheng, Rodric M. Rabbah |
Lime: a Java-compatible and synthesizable language for heterogeneous architectures. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David F. Bacon, Eric Bokelberg, Yiling Chen, Ian A. Kash, David C. Parkes, Malvika Rao, Manu Sridharan |
Software economies. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer |
Low-latency time-portable real-time programming with Exotasks. |
ACM Trans. Embedded Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
time portability, virtual machine, Real-time scheduling, UAVs |
| 1 | Andrei Hagiescu, Weng-Fai Wong, David F. Bacon, Rodric M. Rabbah |
A computing origami: folding streams in FPGAs. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
FPGA, streaming, throughput, latency |
| 1 | Antony L. Hosking, David F. Bacon, Orran Krieger (eds.) |
Proceedings of the 5th International Conference on Virtual Execution Environments, VEE 2009, Washington, DC, USA, March 11-13, 2009 |
VEE |
2009 |
DBLP BibTeX RDF |
|
| 1 | David F. Bacon, Yiling Chen, David C. Parkes, Malvika Rao |
A market-based approach to software evolution. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
software correctness, mechanism design, markets |
| 1 | Dan Tsafrir, Robert W. Wisniewski, David F. Bacon, Bjarne Stroustrup |
Minimizing dependencies within generic classes for faster and smaller programs. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
generalized hoisting, scary assignments and initializations, generics, templates |
| 1 | Harald Röck, Joshua S. Auerbach, Christoph M. Kirsch, David F. Bacon |
Avoiding unbounded priority inversion in barrier protocols using gang priority management. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Zou, Joshua S. Auerbach, David F. Bacon, Edward A. Lee |
PTIDES on flexible task graph: real-time embedded systembuilding from theory to practice. |
LCTES |
2009 |
DBLP DOI BibTeX RDF |
flexible task graphs, jitter elimination, ptides, real-time systems, real-time scheduling |
| 1 | Doug Lea, David F. Bacon, David Grove |
Languages and performance engineering: method, instrumentation, and pedagogy. |
SIGPLAN Notices |
2008 |
DBLP DOI BibTeX RDF |
programming languages curriculum |
| 1 | Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove, Ben Biron, Charlie Gracie, Bill McCloskey, Aleksandar Micic, Ryan Sciampacone |
Tax-and-spend: democratic scheduling for real-time garbage collection. |
EMSOFT |
2008 |
DBLP DOI BibTeX RDF |
jvm, java, real time, garbage collection |
| 1 | Amir Hormati, Manjunath Kudlur, Scott A. Mahlke, David F. Bacon, Rodric M. Rabbah |
Optimus: efficient realization of streaming applications on FPGAs. |
CASES |
2008 |
DBLP DOI BibTeX RDF |
optimization, FPGA, embedded systems, compiler, streaming, heterogeneous |
| 1 | Shan Shan Huang, Amir Hormati, David F. Bacon, Rodric M. Rabbah |
Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua S. Auerbach, David F. Bacon, Rachid Guerraoui, Jesper Honig Spring, Jan Vitek |
Flexible task graphs: a unified restricted thread programming model for java. |
LCTES |
2008 |
DBLP DOI BibTeX RDF |
real-time systems, memory management, java virtual machine, ownership types |
| 1 | David F. Bacon |
Realtime garbage collection. |
ACM Queue |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Harel Paz, David F. Bacon, Elliot K. Kolodner, Erez Petrank, V. T. Rajan |
An efficient on-the-fly cycle collection. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
concurrent cycle collection, Programming languages, garbage collection, memory management, runtime systems, reference counting |
| 1 | Martin T. Vechev, Eran Yahav, David F. Bacon, Noam Rinetzky |
CGCExplorer: a semi-automated search procedure for provably correct concurrent collectors. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
verification, synthesis, concurrent garbage collection, concurrent algorithms |
| 1 | Ben Titzer, Joshua S. Auerbach, David F. Bacon, Jens Palsberg |
The ExoVM system for automatic VM and application reduction. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
VM design, VM modularity, pre-initialization, static compilation, embedded systems, static analysis, persistence, feature analysis, dead code elimination |
| 1 | Joshua S. Auerbach, David F. Bacon, Bob Blainey, Perry Cheng, Michael Dawson, Mike Fulton, David Grove, Darren Hart, Mark G. Stoodley |
Design and implementation of a comprehensive real-time java virtual machine. |
EMSOFT |
2007 |
DBLP DOI BibTeX RDF |
AOT, java, real time, garbage collection, JVM, JIT |
| 1 | Richard P. Gabriel, David F. Bacon, Cristina Videira Lopes, Guy L. Steele Jr. (eds.) |
Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada |
OOPSLA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Richard P. Gabriel, David F. Bacon, Cristina Videira Lopes, Guy L. Steele Jr. (eds.) |
Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada |
OOPSLA Companion |
2007 |
DBLP BibTeX RDF |
|
| 1 | David F. Bacon, Perry Cheng, David Grove |
TuningFork: a platform for visualization and analysis of complex real-time systems. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
TuningFork, visualization, vertical profiling |
| 1 | Daniel Frampton, David F. Bacon, Perry Cheng, David Grove |
Generational Real-Time Garbage Collection. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua S. Auerbach, David F. Bacon, Daniel T. Iercan, Christoph M. Kirsch, V. T. Rajan, Harald Röck, Rainer Trummer |
Java takes flight: time-portable real-time programming with exotasks. |
LCTES |
2007 |
DBLP DOI BibTeX RDF |
time-portability, virtual machine, real-time scheduling, UAVs |
| 1 | David F. Bacon, Xiaowei Shen |
Braids and fibers: Language constructs with architectural support for adaptive responses to memory latencies. |
IBM Journal of Research and Development |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin T. Vechev, Eran Yahav, David F. Bacon |
Correctness-preserving derivation of concurrent garbage collection algorithms. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
verification, synthesis, concurrent garbage collection, concurrent algorithms |
| 1 | Daniel Spoonhower, Joshua S. Auerbach, David F. Bacon, Perry Cheng, David Grove |
Eventrons: a safe programming construct for high-frequency hard real-time applications. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
scheduling, real-time, allocation |
| 1 | David F. Bacon, Perry Cheng, Daniel Frampton, David Grove, Matthias Hauswirth, V. T. Rajan |
Demonstration: On-Line Visualization and Analysis of Real-Time Systems with TuningFork. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev |
High-level real-time programming in Java. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
scheduling, visualization, WCET, tasks, allocation |
| 1 | Harel Paz, Erez Petrank, David F. Bacon, Elliot K. Kolodner, V. T. Rajan |
An Efficient On-the-Fly Cycle Collection. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin T. Vechev, David F. Bacon, Perry Cheng, David Grove |
Derivation and Evaluation of Concurrent Collectors. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David F. Bacon, Perry Cheng, David Grove, Martin T. Vechev |
Syncopation: generational real-time garbage collection in the metronome. |
LCTES |
2005 |
DBLP DOI BibTeX RDF |
scheduling, real-time, garbage collection, allocation |
| 1 | David F. Bacon, Perry Cheng, David Grove |
Garbage collection for embedded systems. |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
mark-and-sweep, tracing, fragmentation, compaction |
| 1 | Martin T. Vechev, David F. Bacon |
Write barrier elision for concurrent garbage collectors. |
ISMM |
2004 |
DBLP DOI BibTeX RDF |
write barrier, concurrent garbage collection |
| 1 | David F. Bacon, Amer Diwan (eds.) |
Proceedings of the 4th International Symposium on Memory Management, ISMM 2004, Vancouver, BC, Canada, October 24-25, 2004 |
ISMM |
2004 |
DBLP BibTeX RDF |
|
| 1 | Sunil Soman, Chandra Krintz, David F. Bacon |
Dynamic selection of application-specific garbage collectors. |
ISMM |
2004 |
DBLP DOI BibTeX RDF |
application-specific collection, dynamic selection, Java, virtual machine, annotation, hot-swapping |
| 1 | David F. Bacon, Perry Cheng, V. T. Rajan |
A unified theory of garbage collection. |
OOPSLA |
2004 |
DBLP DOI BibTeX RDF |
mark-and-sweep, graph algorithms, tracing, reference counting |
| 1 | David F. Bacon |
Kava: a Java dialect with a uniform object model for lightweight classes. |
Concurrency and Computation: Practice and Experience |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David F. Bacon, Perry Cheng, V. T. Rajan |
The Metronome: A Simpler Approach to Garbage Collection in Real-Time Systems. |
OTM Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | David F. Bacon, Perry Cheng, V. T. Rajan |
A real-time garbage collector with low overhead and consistent utilization. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
defragmentation, real-time scheduling, utilization, read barrier |
| 1 | John Corwin, David F. Bacon, David Grove, Chet Murthy |
MJ: a rational module system for Java and its applications. |
OOPSLA |
2003 |
DBLP DOI BibTeX RDF |
Java, components, modularity, language design |
| 1 | David F. Bacon, Perry Cheng, V. T. Rajan |
Controlling fragmentation and space consumption in the metronome, a real-time garbage collector for Java. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
cost model, fragmentation, compaction, space bounds |
| 1 | David F. Bacon, Stephen J. Fink, David Grove |
Space- and Time-Efficient Implementation of the Java Object Model. |
ECOOP |
2002 |
DBLP BibTeX RDF |
|
| 1 | David F. Bacon, C. Richard Attanasio, Han Bok Lee, V. T. Rajan, Stephen E. Smith |
Java without the Coffee Breaks: A Nonintrusive Multiprocessor Garbage Collector. |
PLDI |
2001 |
DBLP DOI BibTeX RDF |
Java |
| 1 | David F. Bacon, V. T. Rajan |
Concurrent Cycle Collection in Reference Counted Systems. |
ECOOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | C. Richard Attanasio, David F. Bacon, Anthony Cocchi, Stephen E. Smith |
A Comparative Evaluation of Parallel Garbage Collector Implementations. |
LCPC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | David F. Bacon |
Kava: a Java dialect with a uniform object model for lightweight classes. |
Java Grande |
2001 |
DBLP DOI BibTeX RDF |
Java |
| 1 | David F. Bacon, Robert E. Strom, Ashis Tarafdar |
Guava: a dialect of Java without data races. |
OOPSLA |
2000 |
DBLP DOI BibTeX RDF |
thread safety, Java, Java, concurrency, monitors, multiprocessors, programming languages, data races |
| 1 | David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano |
Thin Locks: Featherweight Synchronization for Java. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
AIX, Java |
| 1 | David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano |
Thin locks: featherweight Synchronization for Java (with retrospective) |
Best of PLDI |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | David F. Bacon, Peter F. Sweeney |
Fast Static Analysis of C++ Virtual Function Calls. |
OOPSLA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | David F. Bacon, Susan L. Graham, Oliver J. Sharp |
Compiler Transformations for High-Performance Computing. |
ACM Comput. Surv. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | David F. Bacon, Jyh-Herng Chow, Dz-ching Ju, Kalyan Muthukumar, Vivek Sarkar |
A compiler framework for restructuring data declarations to enhance cache and TLB effectiveness. |
CASCON |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua S. Auerbach, David F. Bacon, Arthur P. Goldberg, Germán S. Goldszmidt, Ajei S. Gopal, Mark T. Kennedy, Andy Lowry, James R. Russell, William Silverman, Robert E. Strom, Daniel M. Yellin, Shaula Yemini |
High-level language support for programming distributed systems. |
ICCL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | David F. Bacon |
Transparent Recovery in Distributed Systems. |
Operating Systems Review |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert E. Strom, David F. Bacon, Arthur P. Goldberg, Andy Lowry, Daniel M. Yellin, Shaula Yemini |
Hermes - a language for distributed computing. |
|
1991 |
RDF |
|
| 1 | David F. Bacon, Seth Copen Goldstein |
Hardware-Assisted Replay of Multiprocessor Programs. |
Workshop on Parallel and Distributed Debugging |
1991 |
DBLP DOI BibTeX RDF |
RISC |
| 1 | David F. Bacon |
File System Measurements and their Application to the Design of Efficient Operation Logging Algorithm. |
SRDS |
1991 |
DBLP BibTeX RDF |
|
| 1 | Joshua S. Auerbach, David F. Bacon, Arthur P. Goldberg, Germán S. Goldszmidt, Mark T. Kennedy, Andy Lowry, James R. Russell, William Silverman, Robert E. Strom, Daniel M. Yellin, Shaula Yemini |
High-level language support for programming distributed systems. |
CASCON |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | David F. Bacon, Robert E. Strom |
Optimistic Parallelization of Communicating Sequential Processes. |
PPOPP |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Dupuy, Jed Schwartz, Yechiam Yemini, David F. Bacon |
NEST: A Network Simulation and Prototyping Testbed. |
Commun. ACM |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | David F. Bacon |
Transparent recovery in distributed systems. |
ACM SIGOPS European Workshop |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | David F. Bacon, Andy Lowry |
A Portable Run-time System for the Hermes Distributed Programming Language. |
USENIX Summer |
1990 |
DBLP BibTeX RDF |
|
| 1 | Alexander Dupuy, Jed Schwartz, Yechiam Yemini, David F. Bacon |
NEST: a network simulation & prototyping testbed. |
Winter Simulation Conference |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | David F. Bacon, Jed Schwartz, Yechiam Yemini |
Nest: A Network Simulation and Prototyping Tool. |
USENIX Winter |
1988 |
DBLP BibTeX RDF |
|
| 1 | Robert E. Strom, David F. Bacon, Shaula Yemini |
Volatile logging in n-fault-tolerant distributed systems. |
FTCS |
1988 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #69 of 69 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")