| |
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},
}
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
| |
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},
}
|
