Workshop HotSWUp 2012 – Author Index

B C F G H N P R S T V W

	Bazzi, Rida A.	HotSWUp '12: "How to Have Your Cake and ..." How to Have Your Cake and Eat It Too: Dynamic Software Updating with Just-in-Time Overhead Rida A. Bazzi, Bryan Topp, and Iulian Neamtiu (Arizona State University, USA; UC Riverside, USA) @InProceedings{HotSWUp12p1, author = {Rida A. Bazzi and Bryan Topp and Iulian Neamtiu}, title = {How to Have Your Cake and Eat It Too: Dynamic Software Updating with Just-in-Time Overhead}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2012}, }
	Cachopo, João	HotSWUp '12: "Atomic Dynamic Upgrades Using ..." Atomic Dynamic Upgrades Using Software Transactional Memory Luís Pina and João Cachopo (Technical University of Lisbon, Portugal; INESC-ID, Portugal) @InProceedings{HotSWUp12p21, author = {Luís Pina and João Cachopo}, title = {Atomic Dynamic Upgrades Using Software Transactional Memory}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {21-20}, doi = {}, year = {2012}, }
	Cadar, Cristian	HotSWUp '12: "Multi-version Software Updates ..." Multi-version Software Updates Cristian Cadar and Petr Hosek (Imperial College London, UK) @InProceedings{HotSWUp12p36, author = {Cristian Cadar and Petr Hosek}, title = {Multi-version Software Updates}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {36-35}, doi = {}, year = {2012}, }
	Chockler, Hana	HotSWUp '12: "Verification of Software Changes ..." Verification of Software Changes with ExpliSAT Hana Chockler and Sitvanit Ruah (IBM Research, Israel) @InProceedings{HotSWUp12p31, author = {Hana Chockler and Sitvanit Ruah}, title = {Verification of Software Changes with ExpliSAT}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {31-30}, doi = {}, year = {2012}, }
	Foster, Jeffrey S.	HotSWUp '12: "Towards Standardized Benchmarks ..." Towards Standardized Benchmarks for Dynamic Software Updating Systems Edward K. Smith, Michael Hicks, and Jeffrey S. Foster (University of Maryland, USA) @InProceedings{HotSWUp12p11, author = {Edward K. Smith and Michael Hicks and Jeffrey S. Foster}, title = {Towards Standardized Benchmarks for Dynamic Software Updating Systems}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {11-10}, doi = {}, year = {2012}, } HotSWUp '12: "A Study of Dynamic Software ..." A Study of Dynamic Software Update Quiescence for Multithreaded Programs Christopher M. Hayden, Karla Saur, Michael Hicks, and Jeffrey S. Foster (University of Maryland, USA) @InProceedings{HotSWUp12p6, author = {Christopher M. Hayden and Karla Saur and Michael Hicks and Jeffrey S. Foster}, title = {A Study of Dynamic Software Update Quiescence for Multithreaded Programs}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {6-5}, doi = {}, year = {2012}, }
	Giuffrida, Cristiano	HotSWUp '12: "Safe and Automated State Transfer ..." Safe and Automated State Transfer for Secure and Reliable Live Update Cristiano Giuffrida and Andrew S. Tanenbaum (VU University Amsterdam, Netherlands) @InProceedings{HotSWUp12p16, author = {Cristiano Giuffrida and Andrew S. Tanenbaum}, title = {Safe and Automated State Transfer for Secure and Reliable Live Update}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {16-15}, doi = {}, year = {2012}, }
	Hayden, Christopher M.	HotSWUp '12: "A Study of Dynamic Software ..." A Study of Dynamic Software Update Quiescence for Multithreaded Programs Christopher M. Hayden, Karla Saur, Michael Hicks, and Jeffrey S. Foster (University of Maryland, USA) @InProceedings{HotSWUp12p6, author = {Christopher M. Hayden and Karla Saur and Michael Hicks and Jeffrey S. Foster}, title = {A Study of Dynamic Software Update Quiescence for Multithreaded Programs}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {6-5}, doi = {}, year = {2012}, }
	Hicks, Michael	HotSWUp '12: "Towards Standardized Benchmarks ..." Towards Standardized Benchmarks for Dynamic Software Updating Systems Edward K. Smith, Michael Hicks, and Jeffrey S. Foster (University of Maryland, USA) @InProceedings{HotSWUp12p11, author = {Edward K. Smith and Michael Hicks and Jeffrey S. Foster}, title = {Towards Standardized Benchmarks for Dynamic Software Updating Systems}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {11-10}, doi = {}, year = {2012}, } HotSWUp '12: "A Study of Dynamic Software ..." A Study of Dynamic Software Update Quiescence for Multithreaded Programs Christopher M. Hayden, Karla Saur, Michael Hicks, and Jeffrey S. Foster (University of Maryland, USA) @InProceedings{HotSWUp12p6, author = {Christopher M. Hayden and Karla Saur and Michael Hicks and Jeffrey S. Foster}, title = {A Study of Dynamic Software Update Quiescence for Multithreaded Programs}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {6-5}, doi = {}, year = {2012}, }
	Hosek, Petr	HotSWUp '12: "Multi-version Software Updates ..." Multi-version Software Updates Cristian Cadar and Petr Hosek (Imperial College London, UK) @InProceedings{HotSWUp12p36, author = {Cristian Cadar and Petr Hosek}, title = {Multi-version Software Updates}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {36-35}, doi = {}, year = {2012}, }
	Neamtiu, Iulian	HotSWUp '12: "How to Have Your Cake and ..." How to Have Your Cake and Eat It Too: Dynamic Software Updating with Just-in-Time Overhead Rida A. Bazzi, Bryan Topp, and Iulian Neamtiu (Arizona State University, USA; UC Riverside, USA) @InProceedings{HotSWUp12p1, author = {Rida A. Bazzi and Bryan Topp and Iulian Neamtiu}, title = {How to Have Your Cake and Eat It Too: Dynamic Software Updating with Just-in-Time Overhead}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2012}, }
	Pina, Luís	HotSWUp '12: "Atomic Dynamic Upgrades Using ..." Atomic Dynamic Upgrades Using Software Transactional Memory Luís Pina and João Cachopo (Technical University of Lisbon, Portugal; INESC-ID, Portugal) @InProceedings{HotSWUp12p21, author = {Luís Pina and João Cachopo}, title = {Atomic Dynamic Upgrades Using Software Transactional Memory}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {21-20}, doi = {}, year = {2012}, }
	Ruah, Sitvanit	HotSWUp '12: "Verification of Software Changes ..." Verification of Software Changes with ExpliSAT Hana Chockler and Sitvanit Ruah (IBM Research, Israel) @InProceedings{HotSWUp12p31, author = {Hana Chockler and Sitvanit Ruah}, title = {Verification of Software Changes with ExpliSAT}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {31-30}, doi = {}, year = {2012}, }
	Saur, Karla	HotSWUp '12: "A Study of Dynamic Software ..." A Study of Dynamic Software Update Quiescence for Multithreaded Programs Christopher M. Hayden, Karla Saur, Michael Hicks, and Jeffrey S. Foster (University of Maryland, USA) @InProceedings{HotSWUp12p6, author = {Christopher M. Hayden and Karla Saur and Michael Hicks and Jeffrey S. Foster}, title = {A Study of Dynamic Software Update Quiescence for Multithreaded Programs}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {6-5}, doi = {}, year = {2012}, }
	Smith, Edward K.	HotSWUp '12: "Towards Standardized Benchmarks ..." Towards Standardized Benchmarks for Dynamic Software Updating Systems Edward K. Smith, Michael Hicks, and Jeffrey S. Foster (University of Maryland, USA) @InProceedings{HotSWUp12p11, author = {Edward K. Smith and Michael Hicks and Jeffrey S. Foster}, title = {Towards Standardized Benchmarks for Dynamic Software Updating Systems}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {11-10}, doi = {}, year = {2012}, }
	Tanenbaum, Andrew S.	HotSWUp '12: "Safe and Automated State Transfer ..." Safe and Automated State Transfer for Secure and Reliable Live Update Cristiano Giuffrida and Andrew S. Tanenbaum (VU University Amsterdam, Netherlands) @InProceedings{HotSWUp12p16, author = {Cristiano Giuffrida and Andrew S. Tanenbaum}, title = {Safe and Automated State Transfer for Secure and Reliable Live Update}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {16-15}, doi = {}, year = {2012}, }
	Topp, Bryan	HotSWUp '12: "How to Have Your Cake and ..." How to Have Your Cake and Eat It Too: Dynamic Software Updating with Just-in-Time Overhead Rida A. Bazzi, Bryan Topp, and Iulian Neamtiu (Arizona State University, USA; UC Riverside, USA) @InProceedings{HotSWUp12p1, author = {Rida A. Bazzi and Bryan Topp and Iulian Neamtiu}, title = {How to Have Your Cake and Eat It Too: Dynamic Software Updating with Just-in-Time Overhead}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2012}, }
	Van der Burg, Sander	HotSWUp '12: "A Generic Approach for Deploying ..." A Generic Approach for Deploying and Upgrading Mutable Software Components Sander Van der Burg (TU Delft, Netherlands) @InProceedings{HotSWUp12p26, author = {Sander Van der Burg}, title = {A Generic Approach for Deploying and Upgrading Mutable Software Components}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {26-25}, doi = {}, year = {2012}, }
	Wernli, Erwann	HotSWUp '12: "Theseus: Whole Updates of ..." Theseus: Whole Updates of Java Server Applications Erwann Wernli (University of Bern, Switzerland) @InProceedings{HotSWUp12p41, author = {Erwann Wernli}, title = {Theseus: Whole Updates of Java Server Applications}, booktitle = {Proc.\ HotSWUp}, publisher = {IEEE}, pages = {41-40}, doi = {}, year = {2012}, }

20 authors

proc time: 0.02