Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: George Candea
@inproceedings{DBLP:conf/hotos/IyerMACR23,
author = {Rishabh R. Iyer and
Jiacheng Ma and
Katerina J. Argyraki and
George Candea and
Sylvia Ratnasamy},
editor = {Malte Schwarzkopf and
Andrew Baumann and
Natacha Crooks},
title = {The Case for Performance Interfaces for Hardware Accelerators},
booktitle = {Proceedings of the 19th Workshop on Hot Topics in Operating Systems,
{HOTOS} 2023, Providence, RI, USA, June 22-24, 2023},
pages = {38--45},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3593856.3595904},
doi = {10.1145/3593856.3595904},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/IyerMACR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PirelliC23,
author = {Solal Pirelli and
George Candea},
title = {Safe Low-Level Code Without Overhead is Practical},
booktitle = {45th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2023, Melbourne, Australia, May 14-20, 2023},
pages = {2173--2184},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSE48619.2023.00183},
doi = {10.1109/ICSE48619.2023.00183},
timestamp = {Wed, 19 Jul 2023 10:09:12 +0200},
biburl = {https://dblp.org/rec/conf/icse/PirelliC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/IyerUKC23,
author = {Rishabh R. Iyer and
Musa Unal and
Marios Kogias and
George Candea},
editor = {Jason Flinn and
Margo I. Seltzer and
Peter Druschel and
Antoine Kaufmann and
Jonathan Mace},
title = {Achieving Microsecond-Scale Tail Latency Efficiently with Approximate
Optimal Scheduling},
booktitle = {Proceedings of the 29th Symposium on Operating Systems Principles,
{SOSP} 2023, Koblenz, Germany, October 23-26, 2023},
pages = {466--481},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3600006.3613136},
doi = {10.1145/3600006.3613136},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/IyerUKC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-01494,
author = {Lei Yan and
Yueyang Pan and
Diyu Zhou and
Sanidhya Kashyap and
George Candea},
title = {Productive Development of Scalable Network Functions with NFork},
journal = {CoRR},
volume = {abs/2309.01494},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.01494},
doi = {10.48550/ARXIV.2309.01494},
eprinttype = {arXiv},
eprint = {2309.01494},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-01494.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/IyerAC22,
author = {Rishabh R. Iyer and
Katerina J. Argyraki and
George Candea},
editor = {Amar Phanishayee and
Vyas Sekar},
title = {Performance Interfaces for Network Functions},
booktitle = {19th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2022, Renton, WA, USA, April 4-6, 2022},
pages = {567--584},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/nsdi22/presentation/iyer},
timestamp = {Wed, 06 Jul 2022 16:57:28 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/IyerAC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/PirelliVAC22,
author = {Solal Pirelli and
Akvile Valentukonyte and
Katerina J. Argyraki and
George Candea},
editor = {Amar Phanishayee and
Vyas Sekar},
title = {Automated Verification of Network Function Binaries},
booktitle = {19th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2022, Renton, WA, USA, April 4-6, 2022},
pages = {585--600},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/nsdi22/presentation/pirelli},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/PirelliVAC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/PirelliC20,
author = {Solal Pirelli and
George Candea},
title = {A Simpler and Faster {NIC} Driver Model for Network Functions},
booktitle = {14th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2020, Virtual Event, November 4-6, 2020},
pages = {225--241},
publisher = {{USENIX} Association},
year = {2020},
url = {https://www.usenix.org/conference/osdi20/presentation/pirelli},
timestamp = {Tue, 02 Feb 2021 08:05:52 +0100},
biburl = {https://dblp.org/rec/conf/osdi/PirelliC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/IyerPZPAC19,
author = {Rishabh R. Iyer and
Luis Pedrosa and
Arseniy Zaostrovnykh and
Solal Pirelli and
Katerina J. Argyraki and
George Candea},
editor = {Jay R. Lorch and
Minlan Yu},
title = {Performance Contracts for Software Network Functions},
booktitle = {16th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2019, Boston, MA, February 26-28, 2019},
pages = {517--530},
publisher = {{USENIX} Association},
year = {2019},
url = {https://www.usenix.org/conference/nsdi19/presentation/iyer},
timestamp = {Tue, 02 Feb 2021 08:05:46 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/IyerPZPAC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/ZaostrovnykhPIR19,
author = {Arseniy Zaostrovnykh and
Solal Pirelli and
Rishabh R. Iyer and
Matteo Rizzo and
Luis Pedrosa and
Katerina J. Argyraki and
George Candea},
editor = {Tim Brecht and
Carey Williamson},
title = {Verifying software network functions with no verification expertise},
booktitle = {Proceedings of the 27th {ACM} Symposium on Operating Systems Principles,
{SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
pages = {275--290},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3341301.3359647},
doi = {10.1145/3341301.3359647},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/ZaostrovnykhPIR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/CandeaG19,
author = {George Candea and
Patrice Godefroid},
editor = {Bernhard Steffen and
Gerhard J. Woeginger},
title = {Automated Software Test Generation: Some Challenges, Solutions, and
Recent Advances},
booktitle = {Computing and Software Science - State of the Art and Perspectives},
series = {Lecture Notes in Computer Science},
volume = {10000},
pages = {505--531},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-91908-9\_24},
doi = {10.1007/978-3-319-91908-9\_24},
timestamp = {Tue, 12 Sep 2023 07:58:41 +0200},
biburl = {https://dblp.org/rec/series/lncs/CandeaG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2019,
editor = {George Candea and
Robbert van Renesse and
Christof Fetzer},
title = {Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany,
March 25-28, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302424},
doi = {10.1145/3302424},
isbn = {978-1-4503-6281-8},
timestamp = {Thu, 28 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-10873,
author = {Amer Chamseddine and
George Candea},
title = {Making Smartphone Application Permissions Meaningful for the Average
User},
journal = {CoRR},
volume = {abs/1906.10873},
year = {2019},
url = {http://arxiv.org/abs/1906.10873},
eprinttype = {arXiv},
eprint = {1906.10873},
timestamp = {Thu, 27 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-10873.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/PirelliZC18,
author = {Solal Pirelli and
Arseniy Zaostrovnykh and
George Candea},
title = {A formally verified {NAT} stack},
journal = {Comput. Commun. Rev.},
volume = {48},
number = {5},
pages = {77--83},
year = {2018},
url = {https://doi.org/10.1145/3310165.3310176},
doi = {10.1145/3310165.3310176},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccr/PirelliZC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-sen/ZhangFHCCT18,
author = {Bin Zhang and
Chao Feng and
Adrian Herrera and
Vitaly Chipounov and
George Candea and
Chaojing Tang},
title = {Discover deeper bugs with dynamic symbolic execution and coverage-based
fuzz testing},
journal = {{IET} Softw.},
volume = {12},
number = {6},
pages = {507--519},
year = {2018},
url = {https://doi.org/10.1049/iet-sen.2017.0200},
doi = {10.1049/IET-SEN.2017.0200},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iet-sen/ZhangFHCCT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/PirelliZC18,
author = {Solal Pirelli and
Arseniy Zaostrovnykh and
George Candea},
title = {A Formally Verified {NAT} Stack},
booktitle = {Proceedings of the 2018 Afternoon Workshop on Kernel Bypassing Networks,
KBNets@SIGCOMM 2018, Budapest, Hungary, August 20, 2018},
pages = {8--14},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3229538.3229540},
doi = {10.1145/3229538.3229540},
timestamp = {Wed, 21 Nov 2018 12:44:03 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/PirelliZC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/mc/18/KuznetsovSPCSS18,
author = {Volodymyr Kuznetsov and
Laszlo Szekeres and
Mathias Payer and
George Candea and
R. Sekar and
Dawn Song},
editor = {Per Larsen and
Ahmad{-}Reza Sadeghi},
title = {Code-pointer integrity},
booktitle = {The Continuing Arms Race: Code-Reuse Attacks and Defenses},
pages = {81--116},
publisher = {{ACM} / Morgan {\&} Claypool},
year = {2018},
url = {https://doi.org/10.1145/3129743.3129748},
doi = {10.1145/3129743.3129748},
timestamp = {Thu, 18 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/mc/18/KuznetsovSPCSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/ZaostrovnykhPPA17,
author = {Arseniy Zaostrovnykh and
Solal Pirelli and
Luis Pedrosa and
Katerina J. Argyraki and
George Candea},
title = {A Formally Verified {NAT}},
booktitle = {Proceedings of the Conference of the {ACM} Special Interest Group
on Data Communication, {SIGCOMM} 2017, Los Angeles, CA, USA, August
21-25, 2017},
pages = {141--154},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3098822.3098833},
doi = {10.1145/3098822.3098833},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/ZaostrovnykhPPA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/KasikciZC15,
author = {Baris Kasikci and
Cristian Zamfir and
George Candea},
title = {Automated Classification of Data Races Under Both Strong and Weak
Memory Models},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {37},
number = {3},
pages = {8:1--8:44},
year = {2015},
url = {https://doi.org/10.1145/2734118},
doi = {10.1145/2734118},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/KasikciZC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/KasikciPPSMC15,
author = {Baris Kasikci and
Cristiano Pereira and
Gilles Pokam and
Benjamin Schubert and
Madanlal Musuvathi and
George Candea},
editor = {George Candea},
title = {Failure Sketches: {A} Better Way to Debug},
booktitle = {15th Workshop on Hot Topics in Operating Systems, HotOS XV, Kartause
Ittingen, Switzerland, May 18-20, 2015},
publisher = {{USENIX} Association},
year = {2015},
url = {https://www.usenix.org/conference/hotos15/workshop-program/presentation/kasikci},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/hotos/KasikciPPSMC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KasikciSPPC15,
author = {Baris Kasikci and
Benjamin Schubert and
Cristiano Pereira and
Gilles Pokam and
George Candea},
editor = {Ethan L. Miller and
Steven Hand},
title = {Failure sketching: a technique for automated root cause diagnosis
of in-production failures},
booktitle = {Proceedings of the 25th Symposium on Operating Systems Principles,
{SOSP} 2015, Monterey, CA, USA, October 4-7, 2015},
pages = {344--360},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2815400.2815412},
doi = {10.1145/2815400.2815412},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/KasikciSPPC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/WagnerKCK15,
author = {Jonas Wagner and
Volodymyr Kuznetsov and
George Candea and
Johannes Kinder},
title = {High System-Code Security with Low Overhead},
booktitle = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
CA, USA, May 17-21, 2015},
pages = {866--879},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SP.2015.58},
doi = {10.1109/SP.2015.58},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/WagnerKCK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotos/2015,
editor = {George Candea},
title = {15th Workshop on Hot Topics in Operating Systems, HotOS XV, Kartause
Ittingen, Switzerland, May 18-20, 2015},
publisher = {{USENIX} Association},
year = {2015},
url = {https://www.usenix.org/conference/hotos15},
timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotos/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeesp/Candea14,
author = {George Candea},
title = {The Tests-versus-Proofs Conundrum},
journal = {{IEEE} Secur. Priv.},
volume = {12},
number = {1},
pages = {65--68},
year = {2014},
url = {https://doi.org/10.1109/MSP.2014.18},
doi = {10.1109/MSP.2014.18},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieeesp/Candea14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/BanabicCG14,
author = {Radu Banabic and
George Candea and
Rachid Guerraoui},
editor = {Rajeev Balasubramonian and
Al Davis and
Sarita V. Adve},
title = {Finding trojan message vulnerabilities in distributed systems},
booktitle = {Architectural Support for Programming Languages and Operating Systems,
{ASPLOS} 2014, Salt Lake City, UT, USA, March 1-5, 2014},
pages = {113--126},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2541940.2541984},
doi = {10.1145/2541940.2541984},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/BanabicCG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/BucurKC14,
author = {Stefan Bucur and
Johannes Kinder and
George Candea},
editor = {Rajeev Balasubramonian and
Al Davis and
Sarita V. Adve},
title = {Prototyping symbolic execution engines for interpreted languages},
booktitle = {Architectural Support for Programming Languages and Operating Systems,
{ASPLOS} 2014, Salt Lake City, UT, USA, March 1-5, 2014},
pages = {239--254},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2541940.2541977},
doi = {10.1145/2541940.2541977},
timestamp = {Wed, 07 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asplos/BucurKC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/KuznetsovSPCSS14,
author = {Volodymyr Kuznetsov and
Laszlo Szekeres and
Mathias Payer and
George Candea and
R. Sekar and
Dawn Song},
editor = {Jason Flinn and
Hank Levy},
title = {Code-Pointer Integrity},
booktitle = {11th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} '14, Broomfield, CO, USA, October 6-8, 2014},
pages = {147--163},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/kuznetsov},
timestamp = {Thu, 18 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/KuznetsovSPCSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/KuznetsovKBC14,
author = {Volodymyr Kuznetsov and
Johannes Kinder and
Stefan Bucur and
George Candea},
editor = {Wilhelm Hasselbring and
Nils Christian Ehmke},
title = {Efficient State Merging in Symbolic Execution},
booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
25. Februar - 28. Februar 2014, Kiel, Germany},
series = {{LNI}},
volume = {{P-227}},
pages = {45--46},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/30951},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/KuznetsovKBC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/KasikciBCEM14,
author = {Baris Kasikci and
Thomas Ball and
George Candea and
John Erickson and
Madanlal Musuvathi},
editor = {Garth Gibson and
Nickolai Zeldovich},
title = {Efficient Tracing of Cold Code via Bias-Free Sampling},
booktitle = {2014 {USENIX} Annual Technical Conference, {USENIX} {ATC} '14, Philadelphia,
PA, USA, June 19-20, 2014},
pages = {243--254},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/atc14/technical-sessions/presentation/kasikci},
timestamp = {Mon, 01 Feb 2021 08:43:38 +0100},
biburl = {https://dblp.org/rec/conf/usenix/KasikciBCEM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsys/BucurKC13,
author = {Stefan Bucur and
Johannes Kinder and
George Candea},
title = {Making automated testing of cloud applications an integral component
of PaaS},
booktitle = {Asia-Pacific Workshop on Systems, APSys '13, Singapore, Singapore,
July 29-30, 2013},
pages = {18:1--18:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2500727.2500730},
doi = {10.1145/2500727.2500730},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsys/BucurKC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/Candea13,
author = {George Candea},
title = {Message from the {DCCS} program chair},
booktitle = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
pages = {1},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/DSN.2013.6575289},
doi = {10.1109/DSN.2013.6575289},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/Candea13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/BugnionCC13,
author = {Edouard Bugnion and
Vitaly Chipounov and
George Candea},
editor = {Petros Maniatis},
title = {Lightweight Snapshots and System-level Backtracking},
booktitle = {14th Workshop on Hot Topics in Operating Systems, HotOS XIV, Santa
Ana Pueblo, New Mexico, USA, May 13-15, 2013},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/hotos13/session/bugnion},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/hotos/BugnionCC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/WagnerKC13,
author = {Jonas Wagner and
Volodymyr Kuznetsov and
George Candea},
editor = {Petros Maniatis},
title = {-OVERIFY: Optimizing Programs for Fast Verification},
booktitle = {14th Workshop on Hot Topics in Operating Systems, HotOS XIV, Santa
Ana Pueblo, New Mexico, USA, May 13-15, 2013},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/hotos13/session/wagner},
timestamp = {Tue, 20 May 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotos/WagnerKC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/ZamfirKKBC13,
author = {Cristian Zamfir and
Baris Kasikci and
Johannes Kinder and
Edouard Bugnion and
George Candea},
editor = {Petros Maniatis},
title = {Automated Debugging for Arbitrarily Long Executions},
booktitle = {14th Workshop on Hot Topics in Operating Systems, HotOS XIV, Santa
Ana Pueblo, New Mexico, USA, May 13-15, 2013},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/hotos13/session/zamfir},
timestamp = {Tue, 20 May 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotos/ZamfirKKBC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icac/AndricaC13,
author = {Silviu Andrica and
George Candea},
editor = {Jeffrey O. Kephart and
Calton Pu and
Xiaoyun Zhu},
title = {Mitigating Anonymity Challenges in Automated Testing and Debugging
Systems},
booktitle = {10th International Conference on Autonomic Computing, ICAC'13, San
Jose, CA, USA, June 26-28, 2013},
pages = {259--264},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/icac13/technical-sessions/presentation/andrica},
timestamp = {Wed, 04 Jul 2018 13:06:35 +0200},
biburl = {https://dblp.org/rec/conf/icac/AndricaC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RosslerZFZC13,
author = {Jeremias R{\"{o}}{\ss}ler and
Andreas Zeller and
Gordon Fraser and
Cristian Zamfir and
George Candea},
title = {Reconstructing Core Dumps},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2013, Luxembourg, Luxembourg, March 18-22,
2013},
pages = {114--123},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICST.2013.18},
doi = {10.1109/ICST.2013.18},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/RosslerZFZC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KasikciZC13,
author = {Baris Kasikci and
Cristian Zamfir and
George Candea},
editor = {Michael Kaminsky and
Mike Dahlin},
title = {RaceMob: crowdsourced data race detection},
booktitle = {{ACM} {SIGOPS} 24th Symposium on Operating Systems Principles, {SOSP}
'13, Farmington, PA, USA, November 3-6, 2013},
pages = {406--422},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2517349.2522736},
doi = {10.1145/2517349.2522736},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/KasikciZC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/ChipounovKC12,
author = {Vitaly Chipounov and
Volodymyr Kuznetsov and
George Candea},
title = {The {S2E} Platform: Design, Implementation, and Applications},
journal = {{ACM} Trans. Comput. Syst.},
volume = {30},
number = {1},
pages = {2:1--2:49},
year = {2012},
url = {https://doi.org/10.1145/2110356.2110358},
doi = {10.1145/2110356.2110358},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/ChipounovKC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/KasikciZC12,
author = {Baris Kasikci and
Cristian Zamfir and
George Candea},
editor = {Tim Harris and
Michael L. Scott},
title = {Data races vs. data race bugs: telling the difference with portend},
booktitle = {Proceedings of the 17th International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2012, London, UK, March 3-7, 2012},
pages = {185--198},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2150976.2150997},
doi = {10.1145/2150976.2150997},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/KasikciZC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/CarreiraRCM12,
author = {Jo{\~{a}}o Carlos Menezes Carreira and
Rodrigo Rodrigues and
George Candea and
Rupak Majumdar},
editor = {Pascal Felber and
Frank Bellosa and
Herbert Bos},
title = {Scalable testing of file system checkers},
booktitle = {European Conference on Computer Systems, Proceedings of the Seventh
EuroSys Conference 2012, EuroSys '12, Bern, Switzerland, April 10-13,
2012},
pages = {239--252},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2168836.2168861},
doi = {10.1145/2168836.2168861},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/CarreiraRCM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BanabicC12,
author = {Radu Banabic and
George Candea},
editor = {Pascal Felber and
Frank Bellosa and
Herbert Bos},
title = {Fast black-box testing of system recovery code},
booktitle = {European Conference on Computer Systems, Proceedings of the Seventh
EuroSys Conference 2012, EuroSys '12, Bern, Switzerland, April 10-13,
2012},
pages = {281--294},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2168836.2168865},
doi = {10.1145/2168836.2168865},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/BanabicC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/KasikciZC12,
author = {Baris Kasikci and
Cristian Zamfir and
George Candea},
editor = {Michael J. Freedman and
Neeraj Suri},
title = {{CORD:} {A} Collaborative Framework for Distributed Data Race Detection},
booktitle = {Proceedings of the Eighth Workshop on Hot Topics in System Dependability,
HotDep 2012, Hollywood, CA, USA, October 7, 2012},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/hotdep12/workshop-program/presentation/kasikci},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/KasikciZC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KuznetsovKBC12,
author = {Volodymyr Kuznetsov and
Johannes Kinder and
Stefan Bucur and
George Candea},
editor = {Jan Vitek and
Haibo Lin and
Frank Tip},
title = {Efficient state merging in symbolic execution},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '12, Beijing, China - June 11 - 16, 2012},
pages = {193--204},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2254064.2254088},
doi = {10.1145/2254064.2254088},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KuznetsovKBC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/MarinescuC11,
author = {Paul Dan Marinescu and
George Candea},
title = {Efficient Testing of Recovery Code Using Fault Injection},
journal = {{ACM} Trans. Comput. Syst.},
volume = {29},
number = {4},
pages = {11:1--11:38},
year = {2011},
url = {https://doi.org/10.1145/2063509.2063511},
doi = {10.1145/2063509.2063511},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/MarinescuC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vldb/CandeaPV11,
author = {George Candea and
Neoklis Polyzotis and
Radek Vingralek},
title = {Predictable performance and high query concurrency for data analytics},
journal = {{VLDB} J.},
volume = {20},
number = {2},
pages = {227--248},
year = {2011},
url = {https://doi.org/10.1007/s00778-011-0221-2},
doi = {10.1007/S00778-011-0221-2},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vldb/CandeaPV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/ChipounovKC11,
author = {Vitaly Chipounov and
Volodymyr Kuznetsov and
George Candea},
editor = {Rajiv Gupta and
Todd C. Mowry},
title = {{S2E:} a platform for in-vivo multi-path analysis of software systems},
booktitle = {Proceedings of the 16th International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2011, Newport Beach, CA, USA, March 5-11, 2011},
pages = {265--278},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1950365.1950396},
doi = {10.1145/1950365.1950396},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/ChipounovKC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/JulaTC11,
author = {Horatiu Jula and
Pinar T{\"{o}}z{\"{u}}n and
George Candea},
title = {Communix: {A} framework for collaborative deadlock immunity},
booktitle = {Proceedings of the 2011 {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2011, Hong Kong, China, June 27-30 2011},
pages = {181--188},
publisher = {{IEEE} Compute Society},
year = {2011},
url = {https://doi.org/10.1109/DSN.2011.5958217},
doi = {10.1109/DSN.2011.5958217},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/JulaTC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BanabicCG11,
author = {Radu Banabic and
George Candea and
Rachid Guerraoui},
title = {Automated vulnerability discovery in distributed systems},
booktitle = {{IEEE/IFIP} International Conference on Dependable Systems and Networks
Workshops {(DSN-W} 2011), Hong Kong, China, June 27-30, 2011},
pages = {188--193},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/DSNW.2011.5958811},
doi = {10.1109/DSNW.2011.5958811},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/BanabicCG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/Candea11,
author = {George Candea},
title = {Exterminating bugs via collective information recycling},
booktitle = {{IEEE/IFIP} International Conference on Dependable Systems and Networks
Workshops {(DSN-W} 2011), Hong Kong, China, June 27-30, 2011},
pages = {200--204},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/DSNW.2011.5958813},
doi = {10.1109/DSNW.2011.5958813},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/Candea11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/JulaRC11,
author = {Horatiu Jula and
Thomas Rensch and
George Candea},
title = {Platform-wide deadlock immunity for mobile phones},
booktitle = {{IEEE/IFIP} International Conference on Dependable Systems and Networks
Workshops {(DSN-W} 2011), Hong Kong, China, June 27-30, 2011},
pages = {205--210},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/DSNW.2011.5958814},
doi = {10.1109/DSNW.2011.5958814},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/JulaRC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/ChipounovC11,
author = {Vitaly Chipounov and
George Candea},
title = {Enabling sophisticated analyses of {\texttimes}86 binaries with RevGen},
booktitle = {{IEEE/IFIP} International Conference on Dependable Systems and Networks
Workshops {(DSN-W} 2011), Hong Kong, China, June 27-30, 2011},
pages = {211--216},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/DSNW.2011.5958815},
doi = {10.1109/DSNW.2011.5958815},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/ChipounovC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/AndricaC11,
author = {Silviu Andrica and
George Candea},
title = {WaRR: {A} tool for high-fidelity web application record and replay},
booktitle = {Proceedings of the 2011 {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2011, Hong Kong, China, June 27-30 2011},
pages = {403--410},
publisher = {{IEEE} Compute Society},
year = {2011},
url = {https://doi.org/10.1109/DSN.2011.5958253},
doi = {10.1109/DSN.2011.5958253},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/AndricaC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BucurUZC11,
author = {Stefan Bucur and
Vlad Ureche and
Cristian Zamfir and
George Candea},
editor = {Christoph M. Kirsch and
Gernot Heiser},
title = {Parallel symbolic execution for automated real-world software testing},
booktitle = {European Conference on Computer Systems, Proceedings of the Sixth
European conference on Computer systems, EuroSys 2011, Salzburg, Austria,
April 10-13, 2011},
pages = {183--198},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1966445.1966463},
doi = {10.1145/1966445.1966463},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/BucurUZC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/ZamfirAC11,
author = {Cristian Zamfir and
Gautam Altekar and
George Candea},
editor = {Matt Welsh},
title = {Debug Determinism: The Sweet Spot for Replay-Based Debugging},
booktitle = {13th Workshop on Hot Topics in Operating Systems, HotOS XIII, Napa,
California, USA, May 9-11, 2011},
publisher = {{USENIX} Association},
year = {2011},
url = {https://www.usenix.org/conference/hotosxiii/debug-determinism-sweet-spot-replay-based-debugging},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/hotos/ZamfirAC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/JulaAC11,
author = {Horatiu Jula and
Silviu Andrica and
George Candea},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {Efficiency Optimizations for Implementations of Deadlock Immunity},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {78--93},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_7},
doi = {10.1007/978-3-642-29860-8\_7},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/JulaAC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloud/CandeaBZ10,
author = {George Candea and
Stefan Bucur and
Cristian Zamfir},
editor = {Joseph M. Hellerstein and
Surajit Chaudhuri and
Mendel Rosenblum},
title = {Automated software testing as a service},
booktitle = {Proceedings of the 1st {ACM} Symposium on Cloud Computing, SoCC 2010,
Indianapolis, Indiana, USA, June 10-11, 2010},
pages = {155--160},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1807128.1807153},
doi = {10.1145/1807128.1807153},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/cloud/CandeaBZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/AndricaJC10,
author = {Silviu Andrica and
Horatiu Jula and
George Candea},
title = {iProve: {A} scalable technique for consumer-verifiable software guarantees},
booktitle = {Proceedings of the 2010 {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2010, Chicago, IL, USA, June 28 - July
1 2010},
pages = {271--280},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DSN.2010.5544309},
doi = {10.1109/DSN.2010.5544309},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/AndricaJC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BisolfatiMC10,
author = {Eric Bisolfati and
Paul Dan Marinescu and
George Candea},
title = {Studying application-library interaction and behavior with LibTrac},
booktitle = {Proceedings of the 2010 {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2010, Chicago, IL, USA, June 28 - July
1 2010},
pages = {563--568},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DSN.2010.5544267},
doi = {10.1109/DSN.2010.5544267},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/BisolfatiMC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/ChipounovC10,
author = {Vitaly Chipounov and
George Candea},
editor = {Christine Morin and
Gilles Muller},
title = {Reverse engineering of binary device drivers with RevNIC},
booktitle = {European Conference on Computer Systems, Proceedings of the 5th European
conference on Computer systems, EuroSys 2010, Paris, France, April
13-16, 2010},
pages = {167--180},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1755913.1755932},
doi = {10.1145/1755913.1755932},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/ChipounovC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/ZamfirC10,
author = {Cristian Zamfir and
George Candea},
editor = {Christine Morin and
Gilles Muller},
title = {Execution synthesis: a technique for automated software debugging},
booktitle = {European Conference on Computer Systems, Proceedings of the 5th European
conference on Computer systems, EuroSys 2010, Paris, France, April
13-16, 2010},
pages = {321--334},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1755913.1755946},
doi = {10.1145/1755913.1755946},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/ZamfirC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ZamfirC10,
author = {Cristian Zamfir and
George Candea},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Low-Overhead Bug Fingerprinting for Fast Debugging},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {460--468},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_35},
doi = {10.1007/978-3-642-16612-9\_35},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/conf/rv/ZamfirC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/KuznetsovCC10,
author = {Volodymyr Kuznetsov and
Vitaly Chipounov and
George Candea},
editor = {Paul Barham and
Timothy Roscoe},
title = {Testing Closed-Source Binary Device Drivers with {DDT}},
booktitle = {2010 {USENIX} Annual Technical Conference, Boston, MA, USA, June 23-25,
2010},
publisher = {{USENIX} Association},
year = {2010},
url = {https://www.usenix.org/conference/usenix-atc-10/testing-closed-source-binary-device-drivers-ddt},
timestamp = {Mon, 01 Feb 2021 08:43:38 +0100},
biburl = {https://dblp.org/rec/conf/usenix/KuznetsovCC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/CandeaPV09,
author = {George Candea and
Neoklis Polyzotis and
Radek Vingralek},
title = {A Scalable, Predictable Join Operator for Highly Concurrent Data Warehouses},
journal = {Proc. {VLDB} Endow.},
volume = {2},
number = {1},
pages = {277--288},
year = {2009},
url = {http://www.vldb.org/pvldb/vol2/vldb09-553.pdf},
doi = {10.14778/1687627.1687659},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pvldb/CandeaPV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/CiorteaZBCC09,
author = {Liviu Ciortea and
Cristian Zamfir and
Stefan Bucur and
Vitaly Chipounov and
George Candea},
title = {Cloud9: a software testing service},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {43},
number = {4},
pages = {5--10},
year = {2009},
url = {https://doi.org/10.1145/1713254.1713257},
doi = {10.1145/1713254.1713257},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/CiorteaZBCC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MarinescuC09,
author = {Paul Dan Marinescu and
George Candea},
title = {{LFI:} {A} practical and general library-level fault injector},
booktitle = {Proceedings of the 2009 {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2009, Estoril, Lisbon, Portugal, June
29 - July 2, 2009},
pages = {379--388},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/DSN.2009.5270313},
doi = {10.1109/DSN.2009.5270313},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/MarinescuC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/CecchetC09,
author = {Emmanuel Cecchet and
George Candea},
editor = {Fred Douglis},
title = {Drivolution: rethinking the database driver lifecycle},
booktitle = {Middleware 2008, {ACM/IFIP/USENIX} 9th International Middleware Conference,
Leuven, Belgium, December 1-5, 2008, Companion Proceedings},
pages = {25},
publisher = {{ACM}},
year = {2009},
url = {http://portal.acm.org/citation.cfm?id=1657014\&\#38;CFID=19943241\&\#38;CFTOKEN=14084437},
timestamp = {Wed, 27 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/middleware/CecchetC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/KellerUC08,
author = {Lorenzo Keller and
Prasang Upadhyaya and
George Candea},
title = {ConfErr: {A} tool for assessing resilience to human configuration
errors},
booktitle = {The 38th Annual {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2008, June 24-27, 2008, Anchorage, Alaska,
USA, Proceedings},
pages = {157--166},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/DSN.2008.4630084},
doi = {10.1109/DSN.2008.4630084},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/KellerUC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/Candea08,
author = {George Candea},
editor = {Lorenzo Alvisi and
Petros Maniatis},
title = {Toward Quantifying System Manageability},
booktitle = {Proceedings of the Fourth Workshop on Hot Topics in System Dependability,
HotDep 2008, San Diego, CA, USA, December 7, 2008},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/hotdep08/tech/full\_papers/candea/candea.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/Candea08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/ChipounovC08,
author = {Vitaly Chipounov and
George Candea},
editor = {Lorenzo Alvisi and
Petros Maniatis},
title = {Reverse-Engineering Drivers for Safety and Portability},
booktitle = {Proceedings of the Fourth Workshop on Hot Topics in System Dependability,
HotDep 2008, San Diego, CA, USA, December 7, 2008},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/hotdep08/tech/full\_papers/chipounov/chipounov.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/ChipounovC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/CoppelC08,
author = {Yohann Coppel and
George Candea},
editor = {Lorenzo Alvisi and
Petros Maniatis},
title = {Deprogramming Large Software Systems},
booktitle = {Proceedings of the Fourth Workshop on Hot Topics in System Dependability,
HotDep 2008, San Diego, CA, USA, December 7, 2008},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/hotdep08/tech/full\_papers/coppel/coppel.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/CoppelC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/JulaTZC08,
author = {Horatiu Jula and
Daniel M. Tralamazza and
Cristian Zamfir and
George Candea},
editor = {Richard Draves and
Robbert van Renesse},
title = {Deadlock Immunity: Enabling Systems to Defend Against Deadlocks},
booktitle = {8th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2008, December 8-10, 2008, San Diego, California, USA, Proceedings},
pages = {295--308},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/osdi08/tech/full\_papers/jula/jula.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/JulaTZC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/JulaC08,
author = {Horatiu Jula and
George Candea},
editor = {Martin Leucker},
title = {A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity},
booktitle = {Runtime Verification, 8th International Workshop, {RV} 2008, Budapest,
Hungary, March 30, 2008. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5289},
pages = {119--136},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89247-2\_8},
doi = {10.1007/978-3-540-89247-2\_8},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/JulaC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/CecchetCA08,
author = {Emmanuel Cecchet and
George Candea and
Anastasia Ailamaki},
editor = {Jason Tsong{-}Li Wang},
title = {Middleware-based database replication: the gaps between theory and
practice},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, {SIGMOD} 2008, Vancouver, BC, Canada, June 10-12, 2008},
pages = {739--752},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1376616.1376691},
doi = {10.1145/1376616.1376691},
timestamp = {Tue, 16 Aug 2022 23:04:20 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/CecchetCA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/CookBCD07,
author = {Brian Cook and
Shivnath Babu and
George Candea and
Songyun Duan},
title = {Toward Self-Healing Multitier Services},
booktitle = {Proceedings of the 23rd International Conference on Data Engineering
Workshops, {ICDE} 2007, 15-20 April 2007, Istanbul, Turkey},
pages = {424--432},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICDEW.2007.4401025},
doi = {10.1109/ICDEW.2007.4401025},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/CookBCD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0712-2773,
author = {Emmanuel Cecchet and
George Candea and
Anastassia Ailamaki},
title = {Middleware-based Database Replication: The Gaps between Theory and
Practice},
journal = {CoRR},
volume = {abs/0712.2773},
year = {2007},
url = {http://arxiv.org/abs/0712.2773},
eprinttype = {arXiv},
eprint = {0712.2773},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0712-2773.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cluster/CandeaKKF06,
author = {George Candea and
Emre Kiciman and
Shinichi Kawamoto and
Armando Fox},
title = {Autonomous recovery in componentized Internet applications},
journal = {Clust. Comput.},
volume = {9},
number = {2},
pages = {175--190},
year = {2006},
url = {https://doi.org/10.1007/s10586-006-7562-4},
doi = {10.1007/S10586-006-7562-4},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cluster/CandeaKKF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotdep/2006,
editor = {George Candea and
Ken Birman},
title = {Proceedings of the Second Workshop on Hot Topics in System Dependability,
HotDep 2006, Seattle, WA, USA, November 8, 2006},
publisher = {{USENIX} Association},
year = {2006},
timestamp = {Wed, 04 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotdep/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Candea05,
author = {George Candea},
title = {Crash-only software and microreboot : a design and technique for achieving
high availability in frequently-failing software systems},
school = {Stanford University, {USA}},
year = {2005},
url = {https://searchworks.stanford.edu/view/6261828},
timestamp = {Wed, 31 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Candea05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/CandeaO05,
author = {George Candea and
David L. Oppenheimer},
title = {Workshop on Hot Topics in System Depend - Workshop Abstract},
booktitle = {2005 International Conference on Dependable Systems and Networks {(DSN}
2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings},
pages = {826--827},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/DSN.2005.99},
doi = {10.1109/DSN.2005.99},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/CandeaO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icac/BodicFBLCPTHFJP05,
author = {Peter Bod{\'{\i}}k and
Greg Friedman and
Lukas Biewald and
Helen Levine and
George Candea and
Kayur Patel and
Gilman Tolle and
Jonathan Hui and
Armando Fox and
Michael I. Jordan and
David A. Patterson},
title = {Combining Visualization and Statistical Analysis to Improve Operator
Confidence and Efficiency for Failure Detection and Localization},
booktitle = {Second International Conference on Autonomic Computing {(ICAC} 2005),
13-16 June 2005, Seattle, WA, {USA}},
pages = {89--100},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICAC.2005.18},
doi = {10.1109/ICAC.2005.18},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icac/BodicFBLCPTHFJP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/CandeaBFP04,
author = {George Candea and
Aaron B. Brown and
Armando Fox and
David A. Patterson},
title = {Recovery-Oriented Computing: Building Multitier Dependability},
journal = {Computer},
volume = {37},
number = {11},
pages = {60--67},
year = {2004},
url = {https://doi.org/10.1109/MC.2004.219},
doi = {10.1109/MC.2004.219},
timestamp = {Thu, 13 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/CandeaBFP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pe/CandeaCF04,
author = {George Candea and
James W. Cutler and
Armando Fox},
title = {Improving availability with recursive microreboots: a soft-state system
case study},
journal = {Perform. Evaluation},
volume = {56},
number = {1-4},
pages = {213--248},
year = {2004},
url = {https://doi.org/10.1016/j.peva.2003.07.007},
doi = {10.1016/J.PEVA.2003.07.007},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pe/CandeaCF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icac/NorrisCFC04,
author = {James Norris and
Keith Coleman and
Armando Fox and
George Candea},
title = {OnCall: Defeating Spikes with a Free-Market Application Cluste},
booktitle = {1st International Conference on Autonomic Computing {(ICAC} 2004),
17-19 May 2004, New York, NY, {USA}},
pages = {198--205},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ICAC.2004.41},
doi = {10.1109/ICAC.2004.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icac/NorrisCFC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/CandeaKFFF04,
author = {George Candea and
Shinichi Kawamoto and
Yuichi Fujiki and
Greg Friedman and
Armando Fox},
editor = {Eric A. Brewer and
Peter Chen},
title = {Microreboot - {A} Technique for Cheap Recovery},
booktitle = {6th Symposium on Operating System Design and Implementation {(OSDI}
2004), San Francisco, California, USA, December 6-8, 2004},
pages = {31--44},
publisher = {{USENIX} Association},
year = {2004},
url = {http://www.usenix.org/events/osdi04/tech/candea.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/CandeaKFFF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-OS-0403007,
author = {George Candea and
Armando Fox},
title = {End-User Effects of Microreboots in Three-Tiered Internet Systems},
journal = {CoRR},
volume = {cs.OS/0403007},
year = {2004},
url = {http://arxiv.org/abs/cs/0403007},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-OS-0403007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-OS-0403013,
author = {George Candea},
title = {Predictable Software - {A} Shortcut to Dependable Computing?},
journal = {CoRR},
volume = {cs.OS/0403013},
year = {2004},
url = {http://arxiv.org/abs/cs/0403013},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-OS-0403013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-OS-0406005,
author = {George Candea and
Shinichi Kawamoto and
Yuichi Fujiki and
Greg Friedman and
Armando Fox},
title = {A Microrebootable System - Design, Implementation, and Evaluation},
journal = {CoRR},
volume = {cs.OS/0406005},
year = {2004},
url = {http://arxiv.org/abs/cs.OS/0406005},
timestamp = {Thu, 09 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-OS-0406005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/CandeaF03,
author = {George Candea and
Armando Fox},
editor = {Michael B. Jones},
title = {Crash-Only Software},
booktitle = {Proceedings of HotOS'03: 9th Workshop on Hot Topics in Operating Systems,
May 18-21, 2003, Lihue (Kauai), Hawaii, {USA}},
pages = {67--72},
publisher = {{USENIX}},
year = {2003},
url = {https://www.usenix.org/conference/hotos-ix/crash-only-software},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/hotos/CandeaF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieeeams/CandeaKZKF03,
author = {George Candea and
Emre Kiciman and
Steve Zhang and
Pedram Keyani and
Armando Fox},
title = {{JAGR:} An Autonomous Self-Recovering Application Server},
booktitle = {5th Annual International Workshop on Active Middleware Services {(AMS}
2003) 2003 Autonomic Computing Workshop, 25 June 2003, Seattle, WA,
{USA}},
pages = {168--178},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ACW.2003.1210217},
doi = {10.1109/ACW.2003.1210217},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ieeeams/CandeaKZKF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/CandeaCFDGG02,
author = {George Candea and
James W. Cutler and
Armando Fox and
Rushabh Doshi and
Priyank Garg and
Rakesh Gowda},
title = {Reducing Recovery Time in a Small Recursively Restartable System},
booktitle = {2002 International Conference on Dependable Systems and Networks {(DSN}
2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings},
pages = {605--614},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/DSN.2002.1029006},
doi = {10.1109/DSN.2002.1029006},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/CandeaCFDGG02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/CandeaF02,
author = {George Candea and
Armando Fox},
editor = {Gilles Muller and
Eric Jul},
title = {A utility-centered approach to building dependable infrastructure
services},
booktitle = {Proceedings of the 10th {ACM} {SIGOPS} European Workshop, Saint-Emilion,
France, July 1, 2002},
pages = {213--218},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/1133373.1133417},
doi = {10.1145/1133373.1133417},
timestamp = {Thu, 07 Nov 2019 10:24:25 +0100},
biburl = {https://dblp.org/rec/conf/sigopsE/CandeaF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/CandeaF01,
author = {George Candea and
Armando Fox},
title = {Recursive Restartability: Turning the Reboot Sledgehammer into a Scalpel},
booktitle = {Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating
Systems, May 20-23, 2001, Elmau/Oberbayern, Germany},
pages = {125--130},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HOTOS.2001.990072},
doi = {10.1109/HOTOS.2001.990072},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/CandeaF01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-06 23:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
