A B C D E G H L M N O P R S V

	Azadmanesh, Mohammad R.	WODA '15: "Infection Size as a Measure ..." Infection Size as a Measure of Bug Severity Mohammad R. Azadmanesh and Matthias Hauswirth (University of Lugano, Switzerland) @InProceedings{WODA15p33, author = {Mohammad R. Azadmanesh and Matthias Hauswirth}, title = {Infection Size as a Measure of Bug Severity}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {33-32}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid6-p doi: WODA '15: "SQL for Deep Dynamic Analysis? ..." SQL for Deep Dynamic Analysis? Mohammad R. Azadmanesh and Matthias Hauswirth (University of Lugano, Switzerland) @InProceedings{WODA15p3, author = {Mohammad R. Azadmanesh and Matthias Hauswirth}, title = {SQL for Deep Dynamic Analysis?}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {3-2}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid5-p doi:
	Brown, David Bingham	WODA '15: "Recovering Execution Data ..." Recovering Execution Data from Incomplete Observations Peter Ohmann, David Bingham Brown, Ben Liblit, and Thomas Reps (University of Wisconsin-Madison, USA; GrammaTech, USA) @InProceedings{WODA15p21, author = {Peter Ohmann and David Bingham Brown and Ben Liblit and Thomas Reps}, title = {Recovering Execution Data from Incomplete Observations}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid2-p doi:
	Caballero, Juan	WODA '15: "Ayudante: Identifying Undesired ..." Ayudante: Identifying Undesired Variable Interactions Irfan Ul Haq, Juan Caballero, and Michael D. Ernst (IMDEA Software Institute, Spain; University of Washington, USA) @InProceedings{WODA15p9, author = {Irfan Ul Haq and Juan Caballero and Michael D. Ernst}, title = {Ayudante: Identifying Undesired Variable Interactions}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {9-8}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid10-p doi:
	Cadar, Cristian	WODA '15: "Towards Deployment-Time Dynamic ..." Towards Deployment-Time Dynamic Analysis of Server Applications Luís Pina and Cristian Cadar (Imperial College London, UK) @InProceedings{WODA15p37, author = {Luís Pina and Cristian Cadar}, title = {Towards Deployment-Time Dynamic Analysis of Server Applications}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid9-p doi:
	De Koster, Joeri	WODA '15: "A Formal Foundation for Trace-Based ..." A Formal Foundation for Trace-Based JIT Compilers Maarten Vandercammen, Jens Nicolay, Stefan Marr, Joeri De Koster, Theo D'Hondt, and Coen De Roover (Vrije Universiteit Brussel, Belgium; JKU Linz, Austria) @InProceedings{WODA15p27, author = {Maarten Vandercammen and Jens Nicolay and Stefan Marr and Joeri De Koster and Theo D'Hondt and Coen De Roover}, title = {A Formal Foundation for Trace-Based JIT Compilers}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {27-26}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid8-p doi:
	De Roover, Coen	WODA '15: "A Formal Foundation for Trace-Based ..." A Formal Foundation for Trace-Based JIT Compilers Maarten Vandercammen, Jens Nicolay, Stefan Marr, Joeri De Koster, Theo D'Hondt, and Coen De Roover (Vrije Universiteit Brussel, Belgium; JKU Linz, Austria) @InProceedings{WODA15p27, author = {Maarten Vandercammen and Jens Nicolay and Stefan Marr and Joeri De Koster and Theo D'Hondt and Coen De Roover}, title = {A Formal Foundation for Trace-Based JIT Compilers}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {27-26}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid8-p doi:
	De Wael, Mattias	WODA '15: "Just-in-Time Data Structures: ..." Just-in-Time Data Structures: Towards Declarative Swap Rules Mattias De Wael (Vrije Universiteit Brussel, Belgium) @InProceedings{WODA15p35, author = {Mattias De Wael}, title = {Just-in-Time Data Structures: Towards Declarative Swap Rules}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {35-34}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid7-p doi:
	D'Hondt, Theo	WODA '15: "A Formal Foundation for Trace-Based ..." A Formal Foundation for Trace-Based JIT Compilers Maarten Vandercammen, Jens Nicolay, Stefan Marr, Joeri De Koster, Theo D'Hondt, and Coen De Roover (Vrije Universiteit Brussel, Belgium; JKU Linz, Austria) @InProceedings{WODA15p27, author = {Maarten Vandercammen and Jens Nicolay and Stefan Marr and Joeri De Koster and Theo D'Hondt and Coen De Roover}, title = {A Formal Foundation for Trace-Based JIT Compilers}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {27-26}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid8-p doi:
	Ernst, Michael D.	WODA '15: "Ayudante: Identifying Undesired ..." Ayudante: Identifying Undesired Variable Interactions Irfan Ul Haq, Juan Caballero, and Michael D. Ernst (IMDEA Software Institute, Spain; University of Washington, USA) @InProceedings{WODA15p9, author = {Irfan Ul Haq and Juan Caballero and Michael D. Ernst}, title = {Ayudante: Identifying Undesired Variable Interactions}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {9-8}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid10-p doi:
	Gnedt, David	WODA '15: "Efficient Dynamic Analysis ..." Efficient Dynamic Analysis of the Synchronization Performance of Java Applications Peter Hofer, David Gnedt, and Hanspeter Mössenböck (JKU Linz, Austria) @InProceedings{WODA15p15, author = {Peter Hofer and David Gnedt and Hanspeter Mössenböck}, title = {Efficient Dynamic Analysis of the Synchronization Performance of Java Applications}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {15-14}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid1-p doi:
	Haq, Irfan Ul	WODA '15: "Ayudante: Identifying Undesired ..." Ayudante: Identifying Undesired Variable Interactions Irfan Ul Haq, Juan Caballero, and Michael D. Ernst (IMDEA Software Institute, Spain; University of Washington, USA) @InProceedings{WODA15p9, author = {Irfan Ul Haq and Juan Caballero and Michael D. Ernst}, title = {Ayudante: Identifying Undesired Variable Interactions}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {9-8}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid10-p doi:
	Hauswirth, Matthias	WODA '15: "Infection Size as a Measure ..." Infection Size as a Measure of Bug Severity Mohammad R. Azadmanesh and Matthias Hauswirth (University of Lugano, Switzerland) @InProceedings{WODA15p33, author = {Mohammad R. Azadmanesh and Matthias Hauswirth}, title = {Infection Size as a Measure of Bug Severity}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {33-32}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid6-p doi: WODA '15: "SQL for Deep Dynamic Analysis? ..." SQL for Deep Dynamic Analysis? Mohammad R. Azadmanesh and Matthias Hauswirth (University of Lugano, Switzerland) @InProceedings{WODA15p3, author = {Mohammad R. Azadmanesh and Matthias Hauswirth}, title = {SQL for Deep Dynamic Analysis?}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {3-2}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid5-p doi:
	Hills, Mark	WODA '15: "Supporting PHP Dynamic Analysis ..." Supporting PHP Dynamic Analysis in PHP AiR Mark Hills (East Carolina University, USA) @InProceedings{WODA15p39, author = {Mark Hills}, title = {Supporting PHP Dynamic Analysis in PHP AiR}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {39-38}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid11-p doi:
	Hofer, Peter	WODA '15: "Efficient Dynamic Analysis ..." Efficient Dynamic Analysis of the Synchronization Performance of Java Applications Peter Hofer, David Gnedt, and Hanspeter Mössenböck (JKU Linz, Austria) @InProceedings{WODA15p15, author = {Peter Hofer and David Gnedt and Hanspeter Mössenböck}, title = {Efficient Dynamic Analysis of the Synchronization Performance of Java Applications}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {15-14}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid1-p doi:
	Liblit, Ben	WODA '15: "Recovering Execution Data ..." Recovering Execution Data from Incomplete Observations Peter Ohmann, David Bingham Brown, Ben Liblit, and Thomas Reps (University of Wisconsin-Madison, USA; GrammaTech, USA) @InProceedings{WODA15p21, author = {Peter Ohmann and David Bingham Brown and Ben Liblit and Thomas Reps}, title = {Recovering Execution Data from Incomplete Observations}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid2-p doi:
	Marr, Stefan	WODA '15: "A Formal Foundation for Trace-Based ..." A Formal Foundation for Trace-Based JIT Compilers Maarten Vandercammen, Jens Nicolay, Stefan Marr, Joeri De Koster, Theo D'Hondt, and Coen De Roover (Vrije Universiteit Brussel, Belgium; JKU Linz, Austria) @InProceedings{WODA15p27, author = {Maarten Vandercammen and Jens Nicolay and Stefan Marr and Joeri De Koster and Theo D'Hondt and Coen De Roover}, title = {A Formal Foundation for Trace-Based JIT Compilers}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {27-26}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid8-p doi:
	Mössenböck, Hanspeter	WODA '15: "Efficient Dynamic Analysis ..." Efficient Dynamic Analysis of the Synchronization Performance of Java Applications Peter Hofer, David Gnedt, and Hanspeter Mössenböck (JKU Linz, Austria) @InProceedings{WODA15p15, author = {Peter Hofer and David Gnedt and Hanspeter Mössenböck}, title = {Efficient Dynamic Analysis of the Synchronization Performance of Java Applications}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {15-14}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid1-p doi:
	Nicolay, Jens	WODA '15: "A Formal Foundation for Trace-Based ..." A Formal Foundation for Trace-Based JIT Compilers Maarten Vandercammen, Jens Nicolay, Stefan Marr, Joeri De Koster, Theo D'Hondt, and Coen De Roover (Vrije Universiteit Brussel, Belgium; JKU Linz, Austria) @InProceedings{WODA15p27, author = {Maarten Vandercammen and Jens Nicolay and Stefan Marr and Joeri De Koster and Theo D'Hondt and Coen De Roover}, title = {A Formal Foundation for Trace-Based JIT Compilers}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {27-26}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid8-p doi:
	Ohmann, Peter	WODA '15: "Recovering Execution Data ..." Recovering Execution Data from Incomplete Observations Peter Ohmann, David Bingham Brown, Ben Liblit, and Thomas Reps (University of Wisconsin-Madison, USA; GrammaTech, USA) @InProceedings{WODA15p21, author = {Peter Ohmann and David Bingham Brown and Ben Liblit and Thomas Reps}, title = {Recovering Execution Data from Incomplete Observations}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid2-p doi:
	Pina, Luís	WODA '15: "Towards Deployment-Time Dynamic ..." Towards Deployment-Time Dynamic Analysis of Server Applications Luís Pina and Cristian Cadar (Imperial College London, UK) @InProceedings{WODA15p37, author = {Luís Pina and Cristian Cadar}, title = {Towards Deployment-Time Dynamic Analysis of Server Applications}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid9-p doi:
	Reps, Thomas	WODA '15: "Recovering Execution Data ..." Recovering Execution Data from Incomplete Observations Peter Ohmann, David Bingham Brown, Ben Liblit, and Thomas Reps (University of Wisconsin-Madison, USA; GrammaTech, USA) @InProceedings{WODA15p21, author = {Peter Ohmann and David Bingham Brown and Ben Liblit and Thomas Reps}, title = {Recovering Execution Data from Incomplete Observations}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {21-20}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid2-p doi:
	Sen, Koushik	WODA '15: "Concolic Testing: A Decade ..." Concolic Testing: A Decade Later (Keynote) Koushik Sen (University of California at Berkeley, USA) @InProceedings{WODA15p1, author = {Koushik Sen}, title = {Concolic Testing: A Decade Later (Keynote)}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid20-p doi:
	Vandercammen, Maarten	WODA '15: "A Formal Foundation for Trace-Based ..." A Formal Foundation for Trace-Based JIT Compilers Maarten Vandercammen, Jens Nicolay, Stefan Marr, Joeri De Koster, Theo D'Hondt, and Coen De Roover (Vrije Universiteit Brussel, Belgium; JKU Linz, Austria) @InProceedings{WODA15p27, author = {Maarten Vandercammen and Jens Nicolay and Stefan Marr and Joeri De Koster and Theo D'Hondt and Coen De Roover}, title = {A Formal Foundation for Trace-Based JIT Compilers}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {27-26}, doi = {}, year = {2015}, } Article: splashws15wodamain-wodamainid8-p doi:

25 authors

proc time: 0.03