2008 | ||
---|---|---|
26 | EE | Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic: Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. CC 2008: 245-259 |
25 | EE | Mark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo: Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. LCPC 2008: 94-108 |
24 | EE | Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur: Sharing analysis of arrays, collections, and recursive structures. PASTE 2008: 43-49 |
23 | EE | Darko Stefanovic: Emerging Models of Computation: Directions in Molecular Computing. Software-Intensive Systems and New Computing Paradigms 2008: 255-265 |
22 | EE | Stephen M. Blackburn, Kathryn S. McKinley, Robin Garner, Chris Hoffmann, Asjad M. Khan, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony L. Hosking, Maria Jump, Han Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann: Wake up and smell the coffee: evaluation methodology for the 21st century. Commun. ACM 51(8): 83-89 (2008) |
2007 | ||
21 | EE | Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur: Heap analysis in the presence of collection libraries. PASTE 2007: 31-36 |
2006 | ||
20 | EE | Mark Marron, Deepak Kapur, Darko Stefanovic, Manuel V. Hermenegildo: A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework. LCPC 2006: 345-363 |
19 | EE | Stephen M. Blackburn, Robin Garner, Chris Hoffmann, Asjad M. Khan, Kathryn S. McKinley, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony L. Hosking, Maria Jump, Han Bok Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel von Dincklage, Ben Wiedermann: The DaCapo benchmarks: java benchmarking development and analysis. OOPSLA 2006: 169-190 |
18 | EE | Matthew Hertz, Stephen M. Blackburn, J. Eliot B. Moss, Kathryn S. McKinley, Darko Stefanovic: Generating object lifetime traces with Merlin. ACM Trans. Program. Lang. Syst. 28(3): 476-516 (2006) |
17 | EE | Hajime Inoue, Darko Stefanovic, Stephanie Forrest: On the Prediction of Java Object Lifetimes. IEEE Trans. Computers 55(7): 880-892 (2006) |
2005 | ||
16 | EE | Jennifer A. Sager, Darko Stefanovic: Designing Nucleotide Sequences for Computation: A Survey of Constraints. DNA 2005: 275-289 |
15 | EE | Joseph Farfel, Darko Stefanovic: Towards Practical Biomolecular Computers Using Microfluidic Deoxyribozyme Logic Gate Networks. DNA 2005: 38-54 |
14 | Sergiy Kyrylkov, Darko Stefanovic: Garbage Collection With a Large Address Space for Server Applications. PLC 2005: 179-186 | |
13 | EE | Elena Gabriela Barrantes, David H. Ackley, Stephanie Forrest, Darko Stefanovic: Randomized instruction set emulation. ACM Trans. Inf. Syst. Secur. 8(1): 3-40 (2005) |
2004 | ||
12 | EE | Clint Morgan, Darko Stefanovic, Cristopher Moore, Milan N. Stojanovic: Building the Components for a Biomolecular Computer. DNA 2004: 247-257 |
2003 | ||
11 | EE | Elena Gabriela Barrantes, David H. Ackley, Trek S. Palmer, Darko Stefanovic, Dino Dai Zovi: Randomized instruction set emulation to disrupt binary code injection attacks. ACM Conference on Computer and Communications Security 2003: 281-289 |
10 | EE | John Cochran, Deepak Kapur, Darko Stefanovic: Model Checking Reconfigurable Processor Configurations for Safety Properties. FPL 2003: 996-999 |
2002 | ||
9 | EE | Darko Stefanovic, Matthew Hertz, Stephen Blackburn, Kathryn S. McKinley, J. Eliot B. Moss: Older-first garbage collection in practice: evaluation in Java Virtual Machine. MSP/ISMM 2002: 25-36 |
8 | EE | Matthew Hertz, Stephen Blackburn, J. Eliot B. Moss, Kathryn S. McKinley, Darko Stefanovic: Error-free garbage collection traces: how to cheat and not get caught. SIGMETRICS 2002: 140-151 |
2000 | ||
7 | EE | Darko Stefanovic, Margaret Martonosi: Limits and Graph Structure of Available Instruction-Level Parallelism (Research Note). Euro-Par 2000: 1018-1022 |
6 | EE | Darko Stefanovic, Margaret Martonosi: On Availability of Bit-Narrow Operations in General-Purpose Applications. FPL 2000: 412-421 |
5 | Darko Stefanovic, Kathryn S. McKinley, J. Eliot B. Moss: On Models for Object Lifetimes. ISMM 2000: 137-142 | |
1999 | ||
4 | EE | Darko Stefanovic, Kathryn S. McKinley, J. Eliot B. Moss: Age-Based Garbage Collection. OOPSLA 1999: 370-381 |
1997 | ||
3 | J. Eliot B. Moss, Paul E. Utgoff, John Cavazos, Doina Precup, Darko Stefanovic, Carla E. Brodley, David Scheeff: Learning to Schedule Straight-Line Code. NIPS 1997 | |
1994 | ||
2 | EE | Darko Stefanovic, J. Eliot B. Moss: Characterization of Object Behaviour in Standard ML of New Jersey. LISP and Functional Programming 1994: 43-54 |
1992 | ||
1 | Antony L. Hosking, J. Eliot B. Moss, Darko Stefanovic: A Comparative Performance Evaluation of Write Barrier Implementations. OOPSLA 1992: 92-109 |