bib.bib

@inproceedings{miller56seven,
  title={{The Magical Number Seven, Plus or Minus Two: Some Limits on Our
    Capacity for Processing Information}},
  author={Miller, George A},
  series={Psychological Review '56}
}

@inproceedings{ethane,
 author = {Casado, Martin and Freedman, Michael J. and Pettit, Justin and Luo, Jianying and McKeown, Nick and Shenker, Scott},
 title = {Ethane: {T}aking {C}ontrol of the {E}nterprise},
 series = {SIGCOMM '07},
}


@inproceedings{nox,
 author = {Gude, Natasha and Koponen, Teemu and Pettit, Justin and Pfaff, Ben and Casado, Mart\'{\i}n and McKeown, Nick and Shenker, Scott},
 title = {N{O}{X}: {T}owards an {O}perating {S}ystem {F}or {N}etworks},
 series = {CCR '08},
}

@misc{nicirahomepage,
    key = {nicira},
    title = {Nicira {N}{V}{P}},
    howpublished = {\url{http://tinyurl.com/c9jbkuu}}
}

@misc{contextream,
    key = {contextream},
    title = {Conte{X}tream},
    howpublished = {\url{http://www.contextream.com/}}
}

@misc{floodlight,
    Howpublished = {\url{http://tinyurl.com/ntjxa6l}},
    Key = {floodlight},
    Title = {{Floodlight {C}ontroller}}
}

@inproceedings{consistentupdates,
 author = {Reitblatt, Mark and Foster, Nate and Rexford, Jennifer and Walker, David},
 title = {{C}onsistent {U}pdates for {S}oftware{-D}efined {N}etworks: {C}hange
     {Y}ou {C}an {B}elieve {I}n!},
 series = {HotNets '11},
}

@inproceedings{ofrewind,
    author = {Andreas Wundsam and Dan Levin and Srini Seetharaman and Anja Feldmann},
    title = {O{F}{R}ewind: {E}nabling {R}ecord and {R}eplay {T}roubleshooting
        for {N}etworks},
    series = {ATC '11},
}

@inproceedings{pip,
    author = {Patrick Reynolds and Charles Killian and Janet L. Winer and Jeffrey C. Mogul and Mehul A. Shah and Amin Vadhat},
    title = {Pip: {D}etecting the {U}nexpected in {D}istributed {S}ystems},
    series = {NSDI '06},
}

@inproceedings{d3s,
    author = {Xuezheng Liu and Zhenyu Guo and Xi Wang and Feibo Chen and Xiaochen Lian and Jian Tang and Ming Wu and M. Frans Kaashoek and Zheng Zhang},
    title = {D$^3${S}: {D}ebugging {D}eployed {D}istributed {S}ystems},
    series = {NSDI '08},
}

@inproceedings{flowchecker,
    author = {Ehab Al-Shaer and Saeed Al-Haj},
    title = {Flow{C}hecker: {C}onfiguration {A}nalysis and {V}erification of
        {F}ederated {O}pen{F}low {I}nfrastructures},
    series = {SafeConfig '10},
}

@inproceedings{anteater,
 author = {Mai, Haohui and Khurshid, Ahmed and Agarwal, Rachit and Caesar, Matthew and Godfrey, P. Brighten and King, Samuel Talmadge},
 title = {Debugging the {D}ata {P}lane with {A}nteater},
 series = {SIGCOMM '11},
}

@inproceedings{frenetic,
    author = {Nate Foster and Rob Harrison and Michael J. Freedman and Christopher Monsanto and Jennifer Rexford and Alec Story and David Walker},
    title = {Frenetic: {A} {N}etwork {P}rogramming {L}anguage},
    series = {ICFP '11},
}

@misc{pox,
   author = {Mccauley, James},
   title = {{POX}: {A} {P}ython-based {O}pen{F}low {C}ontroller},
   howpublished = {\url{http://www.noxrepo.org/pox/about-pox/}}
}

@misc{ONOS,
   author = {{ON.Lab}},
   title = {{Open Networking Operating System}},
   howpublished = {\url{http://onlab.us/tools.html}}
}

@INPROCEEDINGS{onix,
    author = {Teemu Koponen and Martin Casado and Natasha Gude and Jeremy Stribling and Leon Poutievski and Min Zhu and Rajiv Ramanathan and Yuichiro Iwata and Hiroaki Inoue and Takayuki Hama and Scott Shenker},
    title = {Onix: {A} {D}istributed {C}ontrol {P}latform for {L}arge-scale
        {P}roduction {N}etworks},
    series = {OSDI '10},
}

@misc{bigswitch,
    key = {bigswitch},
    title = {Big{S}witch {N}etworks},
    howpublished = {\url{http://www.bigswitch.com/}}
}

@inproceedings{openflow,
  title={{OpenFlow: Enabling Innovation in Campus Networks}},
  author={McKeown, Nick and Anderson, Tom and Balakrishnan, Hari and Parulkar, Guru and Peterson, Larry and Rexford, Jennifer and Shenker, Scott and Turner, Jonathan},
  series={SIGCOMM CCR '08},
}

@inproceedings{nice,
    author = {Marco Canini and Daniele Venzano and Peter Peresini and Dejan
        Kostic and Jennifer Rexford},
    title = {A {N}{I}{C}{E} {W}ay to {T}est {O}pen{F}low {A}pplications.},
    series = {NSDI '12},
}

@inproceedings{hsa,
    author = {Peyman Kazemian and George Varghese and Nick McKeown},
    title = {Header {S}pace {A}nalysis: {S}tatic {C}hecking {F}or {N}etworks},
    series = {NSDI '12},
}

@inproceedings{hsa_realtime,
    author = {Peyman Kazemian and Michael Change and Hongyi Zheng and George Varghese and Nick McKeown and Scott Whyte},
    title = {Real {T}ime {N}etwork {P}olicy {C}hecking {U}sing {H}eader {S}pace {A}nalysis},
    series = {NSDI '13},
}

@inproceedings{Chandy:1985:DSD:214451.214456,
 author = {Chandy, K. Mani and Lamport, Leslie},
 title = {Distributed {S}napshots: {D}etermining {G}lobal {S}tates of
     {D}istributed {S}ystems},
 series = {ACM TOCS '85},
}

@inproceedings{Karpilovsky:2006:UFR:1368436.1368439,
 author = {Karpilovsky, Elliott and Rexford, Jennifer},
 title = {Using {F}orgetful {R}outing to {C}ontrol {B}{G}{P} {T}able {S}ize},
 series = {CoNEXT '06},
}

@misc{cisco7000,
   title = {Cisco 7000 series datasheet},
   howpublished = {\url{http://tinyurl.com/77jorsq}}
}

@inproceedings{Al-Fares:2008:SCD:1402958.1402967,
 author = {Al-Fares, Mohammad and Loukissas, Alexander and Vahdat, Amin},
 title = {A {S}calable, {C}ommodity {D}ata {C}enter {N}etwork {A}rchitecture},
 series = {SIGCOMM '08},
}

@inproceedings{Greenberg:2009:VSF:1592568.1592576,
 author = {Greenberg, Albert and Hamilton, James R. and Jain, Navendu and Kandula, Srikanth and Kim, Changhoon and Lahiri, Parantap and Maltz, David A. and Patel, Parveen and Sengupta, Sudipta},
 title = {{V}{L}2: {A} {S}calable {a}nd {F}lexible {D}ata {C}enter {N}etwork, {S}ec. 3.4},
 series = {SIGCOMM '09},
}

@inproceedings{Casado:2010:VNF:1921151.1921162,
 author = {Casado, Mart\'{\i}n and Koponen, Teemu and Ramanathan, Rajiv and Shenker, Scott},
 title = {Virtualizing the {N}etwork {F}orwarding {P}lane},
 series = {PRESTO '10},
}

@inproceedings{handigol2012reproducible,
  title={Reproducible {N}etwork {E}xperiments {U}sing {C}ontainer {B}ased {E}mulation},
  author={Handigol, N. and Heller, B. and Jeyakumar, V. and Lantz, B. and McKeown, N.},
  series={CoNEXT '12},
}

@misc{ns3,
   title = {The ns-3 network simulator},
   howpublished = {\url{http://www.nsnam.org/}}
}

@inproceedings{NiranjanMysore:2009:PSF:1592568.1592575,
 author = {Niranjan Mysore, Radhika and Pamboris, Andreas and Farrington, Nathan and Huang, Nelson and Miri, Pardis and Radhakrishnan, Sivasankar and Subramanya, Vikram and Vahdat, Amin},
 title = {P{O}{R}{R}{T}{L}{A}{N}{D}: {A} {S}calable {F}ault-{T}olerant {L}ayer
     2 {D}ata {C}enter {N}etwork {F}abric},
 series = {SIGCOMM '09},
}

@misc{keynote,
    author = {Scott Shenker},
    title = {The {F}uture of {N}etworking, and the {P}ast of {P}rotocols},
    howpublished = {Keynote, Open Networking Summit 2011}
}

@INPROCEEDINGS{Chen02pinpoint:problem,
    author = {Mike Y. Chen and Emre Kiciman and Eugene Fratkin and Armando Fox and O Fox and Eric Brewer},
    title = {Pinpoint: {P}roblem {D}etermination in {L}arge, {D}ynamic
        {I}nternet {S}ervices},
    series = {DSN '02},
}

@misc{DNRC,
    author = {{Google Inc.}},
    title = {Datacenter Networking Research Cluster},
}

@misc{traceroute,
    author = {Van Jacobson},
    title = {Unix traceroute man page},
    year = {1987},
}

@misc{urs,
    author = {Urs H\"oelzle},
    title = {Open{F}low at {G}oogle},
    howpublished = {\href{http://www.youtube.com/watch?v=JMkvCBOMhno}{Keynote}, Open Networking Summit '12}
}

@misc{testing_market,
    author = {Krishna Kumar Natarajan},
    howpublished = {Keynote, fifth annual STeP-IN international conference}
}

@inproceedings{Lamport:1978:TCO:359545.359563,
 author = {Lamport, Leslie},
 title = {Time, {C}locks, and the {O}rdering of {E}vents in a {D}istributed
     {S}ystem},
 series = {CACM '78},
}

@INPROCEEDINGS{Mattern89virtualtime,
    author = {Friedemann Mattern},
    title = {Virtual {T}ime and {G}lobal {S}tates of {D}istributed {S}ystems},
    series= {Parallel and Distributed Algorithms '89},
}

@INPROCEEDINGS{577079,
    author={Bouloutas, A.T. and Calo, S. and Finkel, A.},
    series={IEEE Transactions on Communications '94 },
    title={Alarm {C}orrelation
        and {F}ault {I}dentification in {C}ommunication {N}etworks},
}

@INPROCEEDINGS{Miller:1990:ESR:96267.96279,
 author = {Miller, Barton P. and Fredriksen, Louis and So, Bryan},
 title = {An {E}mpirical {S}tudy of the {R}eliability of {U}{N}{I}{X} {U}tilities},
 series = {CACM '90},
}

@INPROCEEDINGS{Liu07widschecker,
    author = {Xuezheng Liu},
    title = {Wi{D}S {C}hecker: {C}ombating {B}ugs in {D}istributed {S}ystems},
    series = {NSDI '07},
}

@inproceedings{Clark:2003:KPI:863955.863957,
 author = {Clark, David D. and Partridge, Craig and Ramming, J. Christopher and Wroclawski, John T.},
 title = {A {K}nowledge {P}lane for the {I}nternet},
 series = {SIGCOMM '03},
}

@inproceedings{Soundararajan:2010:CBS:1899928.1899941,
 author = {Soundararajan, Vijayaraghavan and Govil, Kinshuk},
 title = {Challenges in {B}uilding {S}calable {V}irtualized {D}atacenter {M}anagement},
 series = {OSR '10},
}

@inproceedings{Zeller:2002:SIF:506201.506206,
 author = {Zeller, Andreas and Hildebrandt, Ralf},
 title = {Simplifying and {I}solating {F}ailure-{I}nducing {I}nput},
 series = {IEEE TSE '02},
}

@inproceedings{Gupta06toinfinity,
 author = {Diwaker Gupta and Kenneth Yocum and Marvin Mcnett and Alex C. Snoeren and Amin Vahdat and Geoffrey M. Voelker},
 title = {To {I}nfinity and {B}eyond: {T}ime-{W}arped {N}etwork {E}mulation},
 series = {NSDI '06},
}

@misc{floodlight_bug,
    author = {{Floodlight FIXME comment.}},
    title = {Controller.java, line 605},
    howpublished = {\url{http://tinyurl.com/af6nhjj}}
}

@misc{sts_repo,
   author = {{STS Repository}},
   howpublished = {http://ucb-sts.github.com/sts/}
}

@misc{market_report,
  author = {{451 Research}},
  title = {2012 {N}etwork {T}echnology {S}tudy},
  howpublished = {\url{http://tinyurl.com/bpkee2d}}
}

@inproceedings{msoft_concurrency,
  author = {P Godefroid and N Nagappan},
  title = {Concurrency at {M}icrosoft - {A}n {E}xploratory {S}urvey},
  series = {CAV '08}
}

@inproceedings{LaToza:2006:MMM:1134285.1134355,
 author = {LaToza, Thomas D. and Venolia, Gina and DeLine, Robert},
 title = {Maintaining {M}ental {M}odels: a {S}tudy of {D}eveloper {W}ork {H}abits},
 series = {ICSE '06},
}

@inproceedings{Yuan:2010:SED:1736020.1736038,
 author = {Yuan, Ding and Mai, Haohui and Xiong, Weiwei and Tan, Lin and Zhou, Yuanyuan and Pasupathy, Shankar},
 title = {Sher{L}og: {E}rror {D}iagnosis by {C}onnecting {C}lues from
     {R}un-time {L}ogs},
 series = {ASPLOS '10},
}

@inproceedings{qin2005rx,
  title={Rx: {T}reating {B}ugs as {A}llergies---{A} {S}afe {M}ethod {T}o
      {S}urvive {S}oftware {F}ailures},
  author={Qin, F. and Tucek, J. and Sundaresan, J. and Zhou, Y.},
  series={SIGOPS OSR '05},
}

@inproceedings{Zamfir:2010:EST:1755913.1755946,
 author = {Zamfir, Cristian and Candea, George},
 title = {Execution {S}ynthesis: {A} {T}echnique For {A}utomated {S}oftware
     {D}ebugging},
 series = {EuroSys '10},
}

@inproceedings{handigol2012debugger,
  title={Where is the {D}ebugger for my {S}oftware-{D}efined {N}etwork?},
  author={Handigol, N. and Heller, B. and Jeyakumar, V. and Mazi{\`e}res, D. and McKeown, N.},
  series={HotSDN '12},
}

@inproceedings{fonseca2007x,
  title={{X-Trace: A Pervasive Network Tracing Framework}},
  Author={Fonseca, R. and Porter, G. and Katz, R.H. and Shenker, S. and Stoica, I.},
  series={NSDI '07}
}

@inproceedings{zamfir2011debug,
  title={Debug {D}eterminism: {T}he {S}weet {S}pot for {R}eplay-{B}ased {D}ebugging},
  author={Zamfir, C. and Altekar, G. and Candea, G. and Stoica, I.},
  series={HotOS '11},
}

@inproceedings{weiser1981program,
  title={Program {S}licing},
  author={Weiser, M.},
  series={ICSE '81}
}

@misc{quantum,
    title={{OpenStack Neutron}},
    howpublished={\url{http://tinyurl.com/qj8ebuc}}
}

@inproceedings{Geels:2006:RDD:1267359.1267386,
 author = {Geels, Dennis and Altekar, Gautam and Shenker, Scott and Stoica, Ion},
 title = {{R}eplay {D}ebugging {F}or {D}istributed {A}pplications},
 series = {ATC '06},
}

@misc{anon,
  title={Omitted due to anonymity requirements}
}

@misc{vadhat,
  title = {Interview with {A}min {V}ahdat},
  author = {Computer{W}orld},
  howpublished = {\url{http://tinyurl.com/cb4qa6u}}
}

@inproceedings{corbett2012spanner,
  title={Spanner: {G}oogle's {G}lobally-{D}istributed {D}atabase},
  author={Corbett, J.C. and Dean, J. and Epstein, M. and Fikes, A. and Frost, C. and Furman, JJ and Ghemawat, S. and Gubarev, A. and Heiser, C. and Hochschild, P. and others},
  series={OSDI '12},
}

@inproceedings{chandra1996unreliable,
  title={{U}nreliable {F}ailure {D}etectors for {R}eliable {D}istributed {S}ystems},
  author={Chandra, T.D. and Toueg, S.},
  series={JACM '96},
}

@inproceedings{Fischer:1985:IDC:3149.214121,
 author = {Fischer, Michael J. and Lynch, Nancy A. and Paterson, Michael S.},
 title = {Impossibility of {D}istributed {C}onsensus with {O}ne {F}aulty {P}rocess},
 series = {JACM '85},
}

@techreport{Zeng:Survey,
    Author = {Zeng, Hongyi and Kazemian, Peyman and Varghese, George and McKeown, Nick},
    Title = {{A {S}urvey on {N}etwork {T}roubleshooting}},
    Institution = {Stanford University '12},
    URL = {http://yuba.stanford.edu/group\_wp/technical-reports/},
    Number = {\href{http://yuba.stanford.edu/group\_wp/technical-reports/}{TR12-HPNG-061012}},
}

@inproceedings{choi2002isolating,
  title={Isolating {F}ailure-{I}nducing {T}hread {S}chedules},
  author={Choi, J.D. and Zeller, A.},
  series={SIGSOFT '02},
}

@inproceedings{yemini1996,
  author={Yemini, S. and Kliger, S. and Mozes, E. and Yemini, Y. and Ohsie, D.},
  title={A {S}urvey of {F}ault {L}ocalization {T}echniques in {C}omputer {N}etworks},
  series={Science of {C}omputer {P}rogramming '04}
}

@inproceedings{Kandula:2009:DDE:1592568.1592597,
 author = {Kandula, Srikanth and Mahajan, Ratul and Verkaik, Patrick and Agarwal, Sharad and Padhye, Jitendra and Bahl, Paramvir},
 title = {Detailed {D}iagnosis in {E}nterprise {N}etworks},
 series = {SIGCOMM '09},
}

@inproceedings{lin2009towards,
  title={Towards {I}nteractive {D}ebugging for {I}{S}{P} {N}etworks},
  author={Lin, C.C. and Caesar, M. and Van der Merwe, J.},
  series={HotNets '09},
}

@inproceedings{khurshid2012veriflow,
  title={Veri{F}low: {V}erifying {N}etwork-{W}ide {I}nvariants in {R}eal {T}ime},
  author={Khurshid, A. and Zhou, W. and Caesar, M. and Godfrey, P.},
  series={NSDI '13},
}

@inproceedings{whitaker2004configuration,
  title={Configuration {D}ebugging as {S}earch: {F}inding the {N}eedle in the {H}aystack},
  author={Whitaker, A. and Cox, R.S. and Gribble, S.D.},
  series={SOSP '04}
}

@inproceedings{Vahdat:2002:SAL:844128.844154,
 author = {Vahdat, Amin and Yocum, Ken and Walsh, Kevin and Mahadevan, Priya and Kosti\'{c}, Dejan and Chase, Jeff and Becker, David},
 title = {Scalability and {A}ccuracy in a {L}arge-{S}cale {N}etwork {E}mulator},
 series = {OSDI '02},
}

@inproceedings{Killian:2007:MLS:1250734.1250755,
 author = {Killian, Charles Edwin and Anderson, James W. and Braud, Ryan and Jhala, Ranjit and Vahdat, Amin M.},
 title = {Mace: {L}anguage {S}upport for {B}uilding {D}istributed {S}ystems},
 series = {PLDI '07},
}

@inproceedings{barham2004using,
  title={Using {M}agpie for {R}equest {E}xtraction and {W}orkload {M}odelling},
  author={Barham, P. and Donnelly, A. and Isaacs, R. and Mortier, R.},
  series={OSDI '04},
}

High-level or interactive test-generation and debugging
http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=1610607

@inproceedings{automated_tests,
  author={Nebut, C. and Fleurey, F. and Le Traon, Y. and Jezequel, J.-M.},
  series={IEEE TSE '06},
  title={Automatic {T}est {G}eneration: a {U}se {C}ase {D}riven {A}pproach},
}

@inproceedings{Zeller:1999:YMP:318773.318946,
 author = {Zeller, Andreas},
 title = {{Yesterday, my program worked. Today, it does not. Why?}},
 series = {ESEC/FSE '99},
}

Patent:
http://www.google.com/patents/US6654911?dq=interactive+test+generation

@book{tel2000introduction,
  title={Introduction to {D}istributed {A}lgorithms},
  author={Tel, G.},
  year={2000},
  publisher={Thm. 2.21. Cambridge University Press}
}

@inproceedings{Zeng:2012:ATP:2413176.2413205,
 author = {Zeng, Hongyi and Kazemian, Peyman and Varghese, George and McKeown, Nick},
 title = {{Automatic Test Packet Generation}},
 series = {CoNEXT '12},
}

@inproceedings{Dunlap:2002:REI:844128.844148,
 author = {Dunlap, George W. and King, Samuel T. and Cinar, Sukru and Basrai, Murtaza A. and Chen, Peter M.},
 title = {{ReVirt: Enabling Intrusion Analysis Through Virtual-Machine Logging and Replay}},
 series = {OSDI '02},
}

@inproceedings{pfaff2009extending,
  title={{Extending Networking into the Virtualization Layer}},
  author={Pfaff, Ben and Pettit, Justin and Amidon, Keith and Casado, Martin and Koponen, Teemu and Shenker, Scott},
  series ={HotNets '09},
}

@inproceedings{kildall1973unified,
  title={{A Unified Approach to Global Program Optimization}},
  author={Kildall, Gary A},
  series={SIGPLAN '73},
}

@misc{tooling_gap,
  title={{A Note on Systems Research}},
  author={Marius Eriksen},
  howpublished={\url{http://tinyurl.com/kg4zp4d}}
}

@inproceedings{neyman,
  title={{On the Problem of the Most Efficient Tests of Statistical Hypotheses}},
  author={Neyman, Jerzy and Pearson, Egon S},
  series={Philosophical Transactions of the Royal Society '33},
}

@inproceedings{netvirt,
  title={{Network Virtualization in Multi-tenant Datacenters}},
  author={{Koponen et al.}},
  series={NSDI '14}
}

@inproceedings{ndb14,
  title={{I Know What Your Packet Did Last Hop: Using Packet Histories to Troubleshoot Networks}},
  author={Nikhil Handigol and Brandon Heller and Vimalkumar Jeyakumar and David Mazi\'eres and Nick McKeown},
  series={NSDI '14}
}

@inproceedings{libra,
  title={{Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks}},
  author={Hongyi Zeng and Shidong Zhang and Fei Ye and Vimalkumar Jeyakumar and Mickey Ju and Junda Liu and Nick McKeown and Amin Vahdat},
  series={NSDI '14}
}

@inproceedings{jain2013b4,
  title={{B4: Experience with a Globally-Deployed Software Defined WAN}},
  author={Jain, Sushant and Kumar, Alok and Mandal, Subhasree and Ong, Joon and Poutievski, Leon and Singh, Arjun and Venkata, Subbaiah and Wanderer, Jim and Zhou, Junlan and Zhu, Min and others},
  series={SIGCOMM '13},
}

@inproceedings{hong2013achieving,
  title={{Achieving High Utilization with Software-Driven WAN}},
  author={Hong, Chi-Yao and Kandula, Srikanth and Mahajan, Ratul and Zhang, Ming and Gill, Vijay and Nanduri, Mohan and Wattenhofer, Roger},
  series={SIGCOMM '13},
}

@inproceedings{dao2009live,
  title={{Live Debugging of Distributed Systems}},
  author={Dao, Darren and Albrecht, Jeannie and Killian, Charles and Vahdat, Amin},
  series={CC '09},
}

@inproceedings{killian2007life,
  title={{Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Code}},
  author={Killian, Charles and Anderson, James W and Jhala, Ranjit and Vahdat, Amin},
  series={NSDI '07},
}

@misc{lxc,
  title = {Linux Kernel Containers},
  howpublished={\url{linuxcontainers.org}}
}

@inproceedings{tallam2007enabling,
  title={{Enabling Tracing of Long-Running Multithreaded Programs via Dynamic Execution Reduction}},
  author={Tallam, Sriraman and Tian, Chen and Gupta, Rajiv and Zhang, Xiangyu},
  series={ISSTA '07},
}

@inproceedings{huang2012lean,
  title={{LEAN: Simplifying Concurrency Bug Reproduction via Replay-Supported Execution Reduction}},
  author={Huang, Jeff and Zhang, Charles},
  series={OOPSLA '12},
}

@inproceedings{Lee:2011:TGR:1993498.1993528,
 author = {Lee, Kyu Hyung and Zheng, Yunhui and Sumner, Nick and Zhang, Xiangyu},
 title = {{Toward Generating Reducible Replay Logs}},
 series = {PLDI '11},
}

@inproceedings{zhang2006dynamic,
  title={{Dynamic Slicing Long Running Programs Through Execution Fast Forwarding}},
  author={Zhang, Xiangyu and Tallam, Sriraman and Gupta, Rajiv},
  series={SIGSOFT '06},
}

@inproceedings{ansel2009dmtcp,
  title={{DMTCP: Transparent Checkpointing for Cluster Computations and the Desktop}},
  author={Ansel, Jason and Arya, Kapil and Cooperman, Gene},
  series={IPDPS '09},
}

@inproceedings{lin2013defined,
  title={{DEFINED: Deterministic Execution for Interactive Control-Plane Debugging}},
  author={Lin, Chia-Chi and Jalaparti, Virajith and Caesar, Matthew and Van der Merwe, Jacobus},
  series={ATC '13}
}

@misc{riak_quote,
  author={{Basho Blog}},
  title={{QuickChecking Poolboy for Fun and Profit}},
  howpublished={\url{http://tinyurl.com/qgc387k}}
}

@inproceedings{claessen2000quickcheck,
  title={{QuickCheck: a Lightweight Tool for Random Testing of Haskell Programs}},
  author={Claessen, Koen and Hughes, John},
  series={ICFP '00}
}

@inproceedings{claessen2009finding,
  title={{Finding Race Conditions in Erlang with QuickCheck and PULSE}},
  author={Claessen, Koen and Palka, Michal and Smallbone, Nicholas and Hughes, John and Svensson, Hans and Arts, Thomas and Wiger, Ulf},
  series={ICFP '09},
}

@inproceedings{arts2006testing,
  title={{Testing Telecoms Software with Quviq QuickCheck}},
  author={Arts, Thomas and Hughes, John and Johansson, Joakim and Wiger, Ulf},
  series={Erlang '06},
}

@inproceedings{jalbert2010trace,
  title={{A Trace Simplification Technique for Effective Debugging of Concurrent Programs}},
  author={Jalbert, Nicholas and Sen, Koushik},
  series={FSE '10},
}

@inproceedings{flanagan2005dynamic,
  title={{Dynamic Partial-Order Reduction for Model Checking Software}},
  author={Flanagan, Cormac and Godefroid, Patrice},
  series={POPL '05},
}

@inproceedings{regehr2012test,
  title={{Test-case Reduction for C Compiler Bugs}},
  author={Regehr, John and Chen, Yang and Cuoq, Pascal and Eide, Eric and Ellison, Chucky and Yang, Xuejun},
  series={PLDI '12},
}

@inproceedings{yang2011finding,
  title={{Finding and Understanding Bugs in C Compilers}},
  author={Yang, Xuejun and Chen, Yang and Eide, Eric and Regehr, John},
  series={PLDI '11}
}

@inproceedings{park2009pres,
  title={{PRES: Probabilistic Replay with Execution Sketching on Multiprocessors}},
  author={Park, Soyeon and Zhou, Yuanyuan and Xiong, Weiwei and Yin, Zuoning and Kaushik, Rini and Lee, Kyu H and Lu, Shan},
  series={SOSP '09},
}

@inproceedings{park2009ctrigger,
  title={{CTrigger: Exposing Atomicity Violation Bugs from their Hiding Places}},
  author={Park, Soyeon and Lu, Shan and Zhou, Yuanyuan},
  series={ASPLOS '09},
}

@inproceedings{weeratunge2010analyzing,
  title={{Analyzing Multicore Dumps to Facilitate Concurrency Bug Reproduction}},
  author={Weeratunge, Dasarath and Zhang, Xiangyu and Jagannathan, Suresh},
  series={ASPLOS '10},
}

@inproceedings{musuvathi2008finding,
  title={{Finding and Reproducing Heisenbugs in Concurrent Programs}},
  author={Musuvathi, Madanlal and Qadeer, Shaz and Ball, Thomas and Basler, Gerard and Nainar, Piramanayagam Arumuga and Neamtiu, Iulian},
  series={SOSP '08},
}

@inproceedings{clause2007technique,
  title={{A Technique for Enabling and Supporting Debugging of Field
      Failures}},
  author={Clause, James and Orso, Alessandro},
  series={ICSE '07},
}

@inproceedings{jin2013f3,
  title={{F3: Fault Localization for Field Failures}},
  author={Jin, Wei and Orso, Alessandro},
  series={ISSTA '13}
}

@inproceedings{tucek2007triage,
  title={{Triage: Diagnosing Production Run Failures at the User's Site}},
  author={Tucek, Joseph and Lu, Shan and Huang, Chengdu and Xanthos, Spiros and Zhou, Yuanyuan},
  series={SOSP '07},
}

@inproceedings{burger2011minimizing,
  title={{Minimizing Reproduction of Software Failures}},
  author={Burger, Martin and Zeller, Andreas},
  series={ISSTA '11},
}

@inproceedings{huang2011efficient,
  title={{An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs}},
  author={Huang, Jeff and Zhang, Charles},
  series={SAS '11},
}

@inproceedings{csight,
  title={{Inferring Models of Concurrent Systems from Logs of their Behavior
      with CSight}},
  author={Ivan Beschastnikh and Yuriy Brun and Michael D. Ernst and Arvind
      Krishnamurthy},
  series={ICSE '14}
}

@inproceedings{synoptic,
  title={{Leveraging Existing Instrumentation to Automatically Infer
      Invariant-Constrained Models}},
  author={Ivan Beschastnikh and Yuriy Brun and Sigurd Schneider and Michael
      Sloan and Michael D. Ernst.},
  series={ESEC/FSE '11}
}

@inproceedings{biermann1972synthesis,
  title={{On the Synthesis of Finite-State Machines from Samples of their Behavior}},
  author={Biermann, Alan W and Feldman, Jerome A},
  series={IEEE ToC '72},
}

@inproceedings{lorenzoli2008automatic,
  title={{Automatic Generation of Software Behavioral Models}},
  author={Lorenzoli, Davide and Mariani, Leonardo and Pezz{\`e}, Mauro},
  series={ICSE '08}
}

@inproceedings{lou2010mining,
  title={{Mining Invariants from Console Logs for System Problem Detection}},
  author={Lou, Jian-Guang and Fu, Qiang and Yang, Shengqi and Xu, Ye and Li, Jiang},
  series={ATC '10}
}

@inproceedings{aguilera1997heartbeat,
  title={{Heartbeat: A Timeout-Free Failure Detector for Quiescent Reliable Communication}},
  author={Aguilera, Marcos Kawazoe and Chen, Wei and Toueg, Sam},
  series={International Workshop on Distributed Algorithms '97}
}

@inproceedings{zeller2005,
  title={{Locating Causes of Program Failures}},
  author={Holger Cleve and Andreas Zeller},
  series={ICSE '05}
}

@inproceedings{zhangzhang,
  title={{Software Bug Localization with Markov Logic}},
  author={Sai Zhang and Congle Zhang},
  series={ICSE '14}
}

@inproceedings{coverage_localization,
  title={{Visualization of Test Information To Assist Fault Localization}},
  author={{J. A. Jones and M. J. Harrold and J. Stasko}},
  series={ICSE '02}
}

@inproceedings{comparative_causality,
  title={{Comparative Causality: Explaining the Differences Between Executions}},
  author={William Sumner and Xiangyu Zhang},
  series={ICSE '13}
}

@inproceedings{jose11,
  title={{Cause Clue Causes: Error Localization Using Maximum Satisfiability}},
  author={{M. Jose and R. Majmudar}},
  series={PLDI '11}
}

@inproceedings{xuan14,
  title={{Test Case Purification for Improving Fault Localization}},
  author={Jifeng Xuan and Martin Monperrus},
  series={FSE '14}
}

@inproceedings{zhang13,
  title={{Injecting Mechanical Faults to Localize Developer Faults for
      Evolving Software}},
  author={{L. Zhang and L. Zhang and S. Khurshid}},
  series={OOPSLA '13}
}

@inproceedings{chang2007simulation,
  title={{Simulation-Based Bug Trace Minimization with BMC-Based Refinement}},
  author={Chang, Kai-hui and Bertacco, Valeria and Markov, Igor L},
  series={IEEE TCAD '07}
}

@inproceedings{sts2014,
  title={{Troubleshooting Blackbox SDN Control Software with Minimal Causal
      Sequences}},
  author={Colin Scott and Andreas Wundsam and Barath Raghavan and Aurojit Panda and Andrew Or and Jefferson Lai
and Eugene Huang and Zhi Liu and Ahmed El-Hassany and Sam Whitlock and H.B. Acharya
and Kyriakos Zarifis and Scott Shenker},
  series={SIGCOMM '14}
}

@inproceedings{yabandeh2009crystalball,
  title={{CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems}},
  author={Yabandeh, Maysam and Knezevic, Nikola and Kostic, Dejan and Kuncak, Viktor},
  series={NSDI '09},
}

@inproceedings{leesatapornwongsa2014samc,
  title={{SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems}},
  author={Leesatapornwongsa, Tanakorn and Hao, Mingzhe and Joshi, Pallavi and Lukman, Jeffrey F and Gunawi, Haryadi S},
  series={OSDI '14},
}

@inproceedings{lin2009modist,
  title={{MODIST: Transparent Model Checking of Unmodified Distributed Systems}},
  author={Lin, Haoxiang and Yang, Mao and Long, Fan and Zhang, Lintao and Zhou, Lidong},
  series={NSDI '09}
}

@inproceedings{shacham2014verifying,
  title={{Verifying Atomicity via Data Independence}},
  author={Shacham, Ohad and Yahav, Eran and Gueta, Guy Golan and Aiken, Alex and Bronson, Nathan and Sagiv, Mooly and Vechev, Martin},
  series={ISSTA'14}
}

@misc{akka,
  title={Akka official website},
  howpublished={\url{http://akka.io/}}
}

@inproceedings{stoica2001chord,
  title={{Chord: A Scalable Peer-to-Peer Lookup Service for Internet Applications}},
  author={Stoica, Ion and Morris, Robert and Karger, David and Kaashoek, M Frans and Balakrishnan, Hari},
  series={SIGCOMM '01}
}

@inproceedings{ongaro2014search,
  title={{In Search of an Understandable Consensus Algorithm}},
  author={Ongaro, Diego and Ousterhout, John},
  series={ATC '14}
}

@inproceedings{Chang:1984:RBP:989.357400,
 author = {Chang, Jo-Mei and Maxemchuk, N. F.},
 title = {{Reliable Broadcast Protocols}},
 series = {TCS '84}
}

@inproceedings{zaharia2012resilient,
  title={{Resilient Distributed Datasets: A Fault-Tolerant Abstraction for In-Memory Cluster Computing}},
  author={Zaharia, Matei and Chowdhury, Mosharaf and Das, Tathagata and Dave, Ankur and Ma, Justin and McCauley, Murphy and Franklin, Michael J and Shenker, Scott and Stoica, Ion},
  series={NSDI '12}
}

@misc{odl,
  title={{OpenDaylight}},
  howpublished={\url{http://www.opendaylight.org/}}
}

@inproceedings{Aguilera:1999,
  title={{Quiescent Reliable Communication and Quiescent Consensus in Partitionable Networks}},
  author = {Aguilera, Marcos K and Chen, Wei and Toueg, Sam},
  series={TCS '99}
}

@inproceedings{chandra1996weakest,
  title={{The Weakest Failure Detector for Solving Consensus}},
  author={Chandra, Tushar Deepak and Hadzilacos, Vassos and Toueg, Sam},
  series={JACM '96}
}

@inproceedings{wolper,
  title={{Expressing Interesting Properties of Programs
    in Propositional Temporal Logic}},
  author={Wolper, P.},
  series={POPL '86}
}

@inproceedings{de1979social,
  title={{Social Processes and Proofs of Theorems and Programs}},
  author={De Millo, Richard A and Lipton, Richard J and Perlis, Alan J},
  series={CAMC '79}
}

@inproceedings{rabin1958recursively,
  title={{On Recursively Enumerable and Arithmetic Models of Set Theory}},
  author={Rabin, Michael O},
  series={Journal of Symbolic Logic '58},
}

@book{godefroid1995partial,
  title={{Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem}},
  author={Godefroid, Patrice and van Leeuwen, J and Hartmanis, J and Goos, G and Wolper, Pierre},
  series={PhD Thesis, '95}
}

@inproceedings{rowstron2001pastry,
  title={{Pastry: Scalable, decentralized object location, and routing for large-scale peer-to-peer systems}},
  author={Rowstron, Antony and Druschel, Peter},
  series={Middleware '01}
}

@misc{akka-raft,
  title={{akka-raft Github repo}},
  howpublished={\url{https://github.com/ktoso/akka-raft}}
}

@inproceedings{fse_web_ddmin,
  title={{On the Use of Delta Debugging to Reduce Recordings and Facilitate Debugging of Web Applications}},
  author={Mouna Hammoudi and Brian Burg and Gigon and Gregg Rothermel},
  series={ESEC/FSE '15}
}

@inproceedings{christ2013flow,
  title={{Flow-Sensitive Fault Localization}},
  author={Christ, J{\"u}rgen and Ermis, Evren and Sch{\"a}f, Martin and Wies, Thomas},
  series={VMCAI '13}
}

@inproceedings{khoshnood2015concbugassist,
  title={{ConcBugAssist: Constraint Solving for Diagnosis and Repair of Concurrency Bugs}},
  author={Khoshnood, Sepideh and Kusano, Markus and Wang, Chao},
  series={ISSTA '15}
}

@inproceedings{machado2015concurrency,
  title={{Concurrency Debugging with Differential Schedule Projections}},
  author={Machado, Nuno and Lucia, Brandon and Rodrigues, Lu{\i}s},
  series={PLDI '15},
}

@inproceedings{tzoref2007instrumenting,
  title={{Instrumenting Where it Hurts: An Automatic Concurrent Debugging Technique}},
  author={Tzoref, Rachel and Ur, Shmuel and Yom-Tov, Elad},
  series={ISSTA '07}
}

// CHESS
@inproceedings{musuvathi2007iterative,
  title={{Iterative Context Bounding for Systematic Testing of Multithreaded Programs}},
  author={Musuvathi, Madanlal and Qadeer, Shaz},
  series={PLDI '07}
}

// PCT
@inproceedings{burckhardt2010randomized,
  title={{A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs}},
  author={Burckhardt, Sebastian and Kothari, Pravesh and Musuvathi, Madanlal and Nagarakatte, Santosh},
  series={ASPLOS '10}
}

@inproceedings{terragnirecontest,
  title={{RECONTEST: Effective Regression Testing of Concurrent Programs}},
  author={Terragni, Valerio and Cheung, Shing-Chi and Zhang, Charles},
  series={ICSE '15}
}

@inproceedings{fonseca2014ski,
  title={{SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration}},
  author={Fonseca, Pedro and Rodrigues, Rodrigo and Brandenburg, Bj{\"o}rn B},
  series={OSDI '14}
}

@inproceedings{kiczales2001overview,
  title={{An Overview of AspectJ}},
  author={Kiczales, Gregor and Hilsdale, Erik and Hugunin, Jim and Kersten, Mik and Palm, Jeffrey and Griswold, William G},
  series={ECOOP '01}
}

@misc{spark_repo,
  title={{Apache Spark Github repo}},
  howpublished={\url{https://github.com/apache/spark/}}
}

@misc{regehr_blog,
  title={{Generating a Random Program vs. Generating All Programs}},
  howpublished={\url{http://blog.regehr.org/archives/1246}}
}

@inproceedings{avgerinos2014enhancing,
  title={{Enhancing Symbolic Execution with Veritesting}},
  author={Avgerinos, Thanassis and Rebert, Alexandre and Cha, Sang Kil and Brumley, David},
  series={ICSE '14}
}

@misc{gcc_reduction,
  title={{GNU's guide to testcase reduction}},
  howpublished={\url{https://gcc.gnu.org/wiki/A_guide_to_testcase_reduction}}
}

@misc{bugpoint,
  title={{LLVM bugpoint tool: design and usage}},
  howpublished={\url{http://llvm.org/docs/Bugpoint.html}}
}

@misc{firefox_reduction,
  title={{7 Tips for Fuzzing Firefox More Effectively}},
  howpublished={\url{https://blog.mozilla.org/security/2012/06/20/7-tips-for-fuzzing-firefox-more-effectively/}}
}

@inproceedings{yabandeh2009dpor,
  title={{DPOR-DS: Dynamic Partial Order Reduction in Distributed Systems}},
  author={Yabandeh, Maysam and Kostic, Dejan},
  series={2009 Tech Report}
}


@misc{diffy,
  title={{Diffy: Testing Services Without Writing Tests}},
  author={{Twitter Blog}},
  howpublished={\url{https://blog.twitter.com/2015/diffy-testing-services-without-writing-tests}}
}

@misc{our_repo,
  title={{DEMi Github repo}},
  howpublished={\url{https://github.com/NetSys/demi}}
}

@inproceedings{altekar2009odr,
  title={{ODR: Output-Deterministic Replay for Multicore Debugging}},
  author={Altekar, Gautam and Stoica, Ion},
  series={SOSP '09}
}

@inproceedings{kasikci2015failure,
  title={{Failure Sketching: A Technique for Automated Root Cause Diagnosis of In-Production Failures}},
  author={Kasikci, Baris and Schubert, Benjamin and Pereira, Cristiano and Pokam, Gilles and Candea, George},
  series={SOSP '15}
}

@inproceedings{coons2010gambit,
  title={{GAMBIT: Effective Unit Testing for Concurrency Libraries}},
  author={Coons, Katherine E and Burckhardt, Sebastian and Musuvathi, Madanlal},
  series={PPoPP '10}
}

@inproceedings{lauterburg2010evaluating,
  title={{Evaluating Ordering Heuristics for Dynamic Partial-Order Reduction Techniques}},
  author={Lauterburg, Steven and Karmani, Rajesh K and Marinov, Darko and Agha, Gul},
  series={FASE '10}
}

@inproceedings{yang2008efficient,
  title={{Efficient Stateful Dynamic Partial Order Reduction}},
  author={Yang, Yu and Chen, Xiaofang and Gopalakrishnan, Ganesh and Kirby, Robert M},
  series={MCS '08},
}

@inproceedings{yi2006stateful,
  title={{Stateful Dynamic Partial-Order Reduction}},
  author={Yi, Xiaodong and Wang, Ji and Yang, Xuejun},
  series={FMSE '06}
}

@book{sangmin,
  title={{Effective Fault Localization Techniques for Concurrent Software}},
  author={Sang Min Park},
  series={PhD Thesis, '14}
}

@inproceedings{el2014efficient,
  title={{An Efficient Binary Technique for Frace Simplifications of Concurrent Programs}},
  author={El-Zawawy, Mohamed A and Alanazi, Mohammad N},
  series={ICAST '14},
}

@inproceedings{hughes2011testing,
  title={{Testing a Database for Race Conditions with QuickCheck}},
  author={Hughes, John M and Bolinder, Hans},
  series={Erlang '11}
}

@misc{hughes_email,
  author={John M Hughes},
  howpublished={Personal Communication}
}

@inproceedings{ernst2001dynamically,
  title={{Dynamically Discovering Likely Program Invariants to Support Program Evolution}},
  author={Ernst, Michael D and Cockrell, Jake and Griswold, William G and Notkin, David},
  series={IEEE ToSE '01}
}

@inproceedings{elyasov2013guided,
  title={{Guided Algebraic Specification Mining for Failure Simplification}},
  author={Elyasov, Alexander and Prasetya, IS Wishnu B and Hage, Jurriaan},
  series={TSS '13},
}

@inproceedings{wang2015fast,
  title={{Fast Reproducing Web Application Errors}},
  author={Wang, Jie and Dou, Wensheng and Gao, Chushu and Wei, Jun},
  series={ISSRE '15},
}

@inproceedings{cai2013lock,
  title={{Lock Trace Reduction for Multithreaded Programs}},
  author={Cai, Yan and Chan, WK},
  series={TPDS '13}
}

@inproceedings{simsa2010dbug,
  title={{dBug: Systematic Evaluation of Distributed Systems}},
  author={Simsa, Jiri and Bryant, Randy and Gibson, Garth A},
  series={SSV '10}
}

@inproceedings{bergan2010deterministic,
  title={Deterministic Process Groups in dOS.},
  author={Bergan, Tom and Hunt, Nicholas and Ceze, Luis and Gribble, Steven D},
  series={OSDI '10},
}

@article{hunt2013ddos,
  title={DDOS: Taming nondeterminism in distributed systems},
  author={Hunt, Nicholas and Bergan, Tom and Ceze, Luis and Gribble, Steven D},
  series={ASPLOS '13}
}

@article{pokam2009hardware,
  title={HARDWARE AND SOFTWARE APPROACHES FOR DETERMINISTIC MULTI-PROCESSOR REPLAY OF CONCURRENT PROGRAMS.},
  author={Pokam, Gilles and Pereira, Cristiano and Danne, Klaus and Yang, Lynda and King, Sam and Torrellas, Josep},
  series={Intel Technology Journal '09},
}

@techreport{sambasivan2014so,
  title={So, you want to trace your distributed system? Key design insights from years of practical experience},
  author={Sambasivan, Raja R and Fonseca, Rodrigo and Shafer, Ilari and Ganger, Gregory R},
  year={2014},
  institution={Technical Report, CMU-PDL-14}
}

@article{elmas2013concurrit,
  title={Concurrit: A domain specific language for reproducing concurrency bugs},
  author={Elmas, Tayfun and Burnim, Jacob and Necula, George and Sen, Koushik},
  journal={ACM SIGPLAN Notices},
  volume={48},
  number={6},
  pages={153--164},
  year={2013},
  publisher={ACM}
}

@inproceedings{gunawi2011fate,
  title={FATE and DESTINI: A framework for cloud recovery testing},
  author={Gunawi, Haryadi S and Do, Thanh and Joshi, Pallavi and Alvaro, Peter and Hellerstein, Joseph M and Arpaci-Dusseau, Andrea C and Arpaci-Dusseau, Remzi H and Sen, Koushik and Borthakur, Dhruba},
  booktitle={Proceedings of NSDI’11: 8th USENIX Symposium on Networked Systems Design and Implementation},
  pages={239},
  year={2011}
}

@inproceedings{alvaro2015lineage,
  title={Lineage-driven fault injection},
  author={Alvaro, Peter and Rosen, Joshua and Hellerstein, Joseph M},
  booktitle={Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data},
  pages={331--346},
  year={2015},
  organization={ACM}
}

@inproceedings{guo2011practical,
  title={Practical software model checking via dynamic interface reduction},
  author={Guo, Huayang and Wu, Ming and Zhou, Lidong and Hu, Gang and Yang, Junfeng and Zhang, Lintao},
  booktitle={Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles},
  pages={265--278},
  year={2011},
  organization={ACM}
}

@article{joshi2009randomized,
  title={A randomized dynamic program analysis technique for detecting real deadlocks},
  author={Joshi, Pallavi and Park, Chang-Seo and Sen, Koushik and Naik, Mayur},
  journal={ACM Sigplan Notices},
  volume={44},
  number={6},
  pages={110--120},
  year={2009},
  publisher={ACM}
}

@article{flanagan2008velodrome,
  title={Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs},
  author={Flanagan, Cormac and Freund, Stephen N and Yi, Jaeheon},
  journal={ACM SIGPLAN Notices},
  volume={43},
  number={6},
  pages={293--303},
  year={2008},
  publisher={ACM}
}

@inproceedings{sen2015multise,
  title={MultiSE: Multi-path symbolic execution using value summaries},
  author={Sen, Koushik and Necula, George and Gong, Liang and Choi, Wontae},
  booktitle={Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering},
  pages={842--853},
  year={2015},
  organization={ACM}
}


@inproceedings{yuan2014simple,
  title={Simple testing can prevent most critical failures: An analysis of production failures in distributed data-intensive systems},
  author={Yuan, Ding and Luo, Yu and Zhuang, Xin and Rodrigues, Guilherme Renna and Zhao, Xu and Zhang, Yongle and Jain, Pranay U and Stumm, Michael},
  booktitle={11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)},
  pages={249--265},
  year={2014}
}

@inproceedings{zeller2002isolating,
  title={Isolating cause-effect chains from computer programs},
  author={Zeller, Andreas},
  booktitle={Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering},
  pages={1--10},
  year={2002},
  organization={ACM}
}

@inproceedings{arts2011accelerating,
  title={Accelerating race condition detection through procrastination},
  author={Arts, Thomas and Hughes, John and Norell, Ulf and Smallbone, Nicholas and Svensson, Hans},
  booktitle={Proceedings of the 10th ACM SIGPLAN workshop on Erlang},
  pages={14--22},
  year={2011},
  organization={ACM}
} 

@inproceedings{orso2006isolating,
  title={Isolating relevant component interactions with JINSI},
  author={Orso, Alessandro and Joshi, Shrinivas and Burger, Martin and Zeller, Andreas},
  booktitle={Proceedings of the 2006 international workshop on Dynamic systems analysis},
  pages={3--10},
  year={2006},
  organization={ACM}
}