Blog Archives

Enhancing Server Availability and Security Through Failure-Oblivious Computing

Background Paper

Martin Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, and William S. Beebee, Jr. OSDI’04 Proceedings of the 6th conference on Symposium on Operating Systems Design & Implementation – Volume 6, Pages 21-21 http://static.usenix.org/event/osdi04/tech/full_papers/rinard/rinard_html/ Used by the Diversify

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Obtaining and Reasoning About Good Enough Software

Background Paper

Martin Rinard DAC ’12 Proceedings of the 49th Annual Design Automation Conference, June 3-7, 2012, San Francisco, California, USA, Pages 930-935 DOI 10.1145/2228360.2228526 Used by the Diversify project Martin Rinard has explored many different unsound program transformations that aim at

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Dual Ecological Measures of Focus in Software Development

Background Paper

Daryl Posnett, Raissa D’Souza, Premkumar Devanbu, and, Vladimir Filkov 2013 35th International Conference on Software Engineering (ICSE), San Francesco, USA, 2013, Pages: 452 – 461 DOI 10.1109/ICSE.2013.6606591 Used by the Diversify project Posnett et al. model commiter / project relationships

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Taming Dynamically Adaptive Systems Using Models and Aspects

Background Paper

Brice Morin, Olivier Barais, Grégory Nain and Jean-Marc Jézéquel IEEE 31st International Conference on Software Engineering, 2009. ICSE 2009, Pages: 122 – 132 DOI 10.1109/ICSE.2009.5070514 Used by the Diversify project One diverse software variants are synthesized at different levels in

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Frequency-Dependent Selection Predicts Patterns of Radiations and Biodiversity

Background Paper

Carlos J. Melian, David Alonso, Diego P. Vazquez, James Regetz, Stefano Allesina PLoS Comput Biol 6(8): e1000892 DOI 10.1371/journal.pcbi.1000892 Used by the Diversify project In this paper, Carlos Melian, a member of the DIVERSIFY ecological board, develops a neutral model

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

The diversity-stability debate

Background Paper

Kevin Shear McCann NATURE, Vol 405, 11 May 2000 DOI 10.1038/35012234 Used by the Diversify project This paper synthesizes the main elements in the debate that goes on in ecology to understand the exact role of biodiversity on the stability,

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

E unibus pluram: Massive-Scale Software Diversity as a Defense Mechanism

Background Paper

Michael Franz NSPW ’10: Proceedings of the 2010 workshop on New security paradigms, Pages 7-16 DOI 10.1145/1900546.1900550 Used by the Diversify project Franz proposes to generate massive diversity through compilation, for security purposes. He identifies a number of paradigm shifts

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Building Diverse Computer Systems

Background Paper

Forrest, S. ; Somayaji, A. ; Ackley, D.H. The Sixth Workshop on Hot Topics in Operating Systems, 1997, 67 – 72 DOI 10.1109/HOTOS.1997.595185 Used by the Diversify project Another seminal paper by Stephanie Forrest who advocates for increased diversity in

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Generating diverse software versions with genetic programming: an experimental study

Background Paper

R. Feldt IEE Proceedings Software, Volume: 145 , Issue: 6, 1998 , Page(s): 228 – 236 DOI 10.1049/ip-sen:19982444 Used by the Diversify project One of the first work to use genetic programming for teh automatic generation of variants for N-version

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Network structure and biodiversity loss in food webs: robustness increases with connectance

Background Paper

Jennifer A. Dunne, Richard J. Williams, Neo D. Martinez Ecology Letters Volume 5, Issue 4, pages 558–567, July 2002 DOI: 10.1046/j.1461-0248.2002.00354.x Used by the Diversify project This paper proposes a metric for the robustness of relations in ecological network. The

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers