Publications

Mark Marron, Deepak Kapur, Darko Stefanovic, Manuel Hermenegildo (2006). A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework. LCPC.
Preprint DOI
J. Macdonald, Y. Li, M. Sutovic, H. Lederman, K. Pendri, W. Lu, B. L. Andrews, D. Stefanovic, M. N. Stojanovic (2006). Medium Scale Integration of Molecular Logic Gates in an Automaton. Nano Letters, 6(11), 2598-2603.
DOI
Stephen M. Blackburn, Robin Garner, Chris Hoffmann, Asjad Khan, Kathryn S. McKinley, Rotem Bentzur, Amer Diwan, Daniel Feinberg, Daniel Frampton, Samuel Z. Guyer, Martin Hirzel, Antony Hosking, Maria Jump, Han Lee, J. Eliot B. Moss, Aashish Phansalkar, Darko Stefanovic, Thomas VanDrunen, Daniel Von Dincklage, Benjamin Wiedermann (2006). The DaCapo Benchmarks: Java Benchmarking Development and Analysis. OOPSLA.
PDF DOI
Renjun Pei, Steven K. Taylor, Darko Stefanovic, Sergei Rudchenko, Tiffany E. Mitchell, Milan N. Stojanovic (2006). Behavior of Polycatalytic Assemblies in a Substrate Displaying Matrix. Journal of the American Chemical Society, 128(39), 12693-12699.
DOI
Hajime Inoue, Darko Stefanovic, Stephanie Forrest (2006). On the Prediction of Java Object Lifetimes. IEEE Transactions on Computers, 55(7), 880-892.
DOI
Matthew Hertz, Stephen M. Blackburn, J. Eliot B. Moss, Kathryn S. McKinley, Darko Stefanovic (2006). Generating Object Lifetime Traces With Merlin. ACM Transactions on Programming Languages and Systems, 28(3), 476-516.
DOI
Jennifer Sager, Maxwell Young, Darko Stefanovic (2006). Characterization of Transverse Channel Concentration Prouploads Obtainable With a Class of Microfluidic Networks. Langmuir, 22(9), 4452-4455.
DOI
Harvey Lederman, Joanne Macdonald, Darko Stefanovic, Milan N. Stojanovic (2006). Deoxyribozyme-Based Three-Input Logic Gates and Construction of a Molecular Full Adder. Biochemistry, 45(4), 1194-1199.
DOI
Joanne Macdonald, Darko Stefanovic, Milan N. Stojanovic (2006). Solution Phase Molecular Scale Computation With Deoxyribozyme Based Logic Gates and Fluorescent Readouts. V. V. Didenko (ed.), Fluorescent Energy Transfer Nucleic Acid Probes, Humana Press.
Joseph Farfel, Darko Stefanovic (2005). Towards Practical Biomolecular Computers Using Microfluidic Deoxyribozyme Logic Gate Networks. DNA11.
Preprint DOI