| |
Bodden, Eric
|
WODA '11: "Continuation Equivalence: ..."
Continuation Equivalence: A Correctness Criterion for Static Optimizations of Dynamic Analyses
Eric Bodden
(TU Darmstadt, Germany)
@InProceedings{WODA11p25,
author = {Eric Bodden},
title = {Continuation Equivalence: A Correctness Criterion for Static Optimizations of Dynamic Analyses},
booktitle = {Proc.\ WODA},
publisher = {ACM},
pages = {25-24},
doi = {},
year = {2011},
}
|
| |
Cobb, Jake
|
WODA '11: "Dynamic Invariant Detection ..."
Dynamic Invariant Detection for Relational Databases
Jake Cobb, Gregory M. Kapfhammer, James A. Jones, and Mary Jean Harrold
(Georgia Tech, USA; Allegheny College, USA; UC Irvine, USA)
@InProceedings{WODA11p13,
author = {Jake Cobb and Gregory M. Kapfhammer and James A. Jones and Mary Jean Harrold},
title = {Dynamic Invariant Detection for Relational Databases},
booktitle = {Proc.\ WODA},
publisher = {ACM},
pages = {13-12},
doi = {},
year = {2011},
}
|
| |
Cully, Brendan |
WODA '11: "Retroactive Aspects: Programming ..."
Retroactive Aspects: Programming in the Past
Robin Salkeld, Brendan Cully, Geoffrey Lefebvre, Wenhao Xu, Andrew Warfield, and Gregor Kiczales
(University of British Columbia, Canada)
@InProceedings{WODA11p31,
author = {Robin Salkeld and Brendan Cully and Geoffrey Lefebvre and Wenhao Xu and Andrew Warfield and Gregor Kiczales},
title = {Retroactive Aspects: Programming in the Past},
booktitle = {Proc.\ WODA},
publisher = {ACM},
pages = {31-30},
doi = {},
year = {2011},
}
|
| |
Dimmich, Michał
|
WODA '11: "A Method Facilitating Integration ..."
A Method Facilitating Integration Testing of Embedded Software
Dominik Hura and Michał Dimmich
(Delphi Poland S.A., Poland; Silesian University of Technology, Poland; Wroclaw University of Technology, Poland)
@InProceedings{WODA11p7,
author = {Dominik Hura and Michał Dimmich},
title = {A Method Facilitating Integration Testing of Embedded Software},
booktitle = {Proc.\ WODA},
publisher = {ACM},
pages = {7-6},
doi = {},
year = {2011},
}
|
| |
Guo, Philip J.
|
WODA '11: "Sloppy Python: Using Dynamic ..."
Sloppy Python: Using Dynamic Analysis to Automatically Add Error Tolerance to Ad-Hoc Data Processing Scripts
Philip J. Guo
(Stanford University, USA)
@InProceedings{WODA11p37,
author = {Philip J. Guo},
title = {Sloppy Python: Using Dynamic Analysis to Automatically Add Error Tolerance to Ad-Hoc Data Processing Scripts},
booktitle = {Proc.\ WODA},
publisher = {ACM},
pages = {37-36},
doi = {},
year = {2011},
}
|
| |
Gutzmann, Tobias |
WODA '11: "Custom-made Instrumentation ..."
Custom-made Instrumentation Based on Static Analysis
Tobias Gutzmann and Welf Löwe
(Linnaeus University, Sweden)
@InProceedings{WODA11p19,
author = {Tobias Gutzmann and Welf Löwe},
title = {Custom-made Instrumentation Based on Static Analysis},
booktitle = {Proc.\ WODA},
publisher = {ACM},
pages = {19-18},
doi = {},
year = {2011},
}
|
| |
Harrold, Mary Jean
|
WODA '11: "Dynamic Invariant Detection ..."
Dynamic Invariant Detection for Relational Databases
Jake Cobb, Gregory M. Kapfhammer, James A. Jones, and Mary Jean Harrold
(Georgia Tech, USA; Allegheny College, USA; UC Irvine, USA)
@InProceedings{WODA11p13,
author = {Jake Cobb and Gregory M. Kapfhammer and James A. Jones and Mary Jean Harrold},
title = {Dynamic Invariant Detection for Relational Databases},
booktitle = {Proc.\ WODA},
publisher = {ACM},
pages = {13-12},
doi = {},
year = {2011},
}
|
| |
Hura, Dominik |
WODA '11: "A Method Facilitating Integration ..."
A Method Facilitating Integration Testing of Embedded Software
Dominik Hura and Michał Dimmich
(Delphi Poland S.A., Poland; Silesian University of Technology, Poland; Wroclaw University of Technology, Poland)
@InProceedings{WODA11p7,
author = {Dominik Hura and Michał Dimmich},
title = {A Method Facilitating Integration Testing of Embedded Software},
booktitle = {Proc.\ WODA},
publisher = {ACM},
pages = {7-6},
doi = {},
year = {2011},
}
|
| |
Jones, James A.
|
WODA '11: "Dynamic Invariant Detection ..."
Dynamic Invariant Detection for Relational Databases
Jake Cobb, Gregory M. Kapfhammer, James A. Jones, and Mary Jean Harrold
(Georgia Tech, USA; Allegheny College, USA; UC Irvine, USA)
@InProceedings{WODA11p13,
author = {Jake Cobb and Gregory M. Kapfhammer and James A. Jones and Mary Jean Harrold},
title = {Dynamic Invariant Detection for Relational Databases},
booktitle = {Proc.\ WODA},
publisher = {ACM},
pages = {13-12},
doi = {},
year = {2011},
}
|
| |
Kapfhammer, Gregory M.
|
WODA '11: "Dynamic Invariant Detection ..."
Dynamic Invariant Detection for Relational Databases
Jake Cobb, Gregory M. Kapfhammer, James A. Jones, and Mary Jean Harrold
(Georgia Tech, USA; Allegheny College, USA; UC Irvine, USA)
@InProceedings{WODA11p13,
author = {Jake Cobb and Gregory M. Kapfhammer and James A. Jones and Mary Jean Harrold},
title = {Dynamic Invariant Detection for Relational Databases},
booktitle = {Proc.\ WODA},
publisher = {ACM},
pages = {13-12},
doi = {},
year = {2011},
}
|
| |
Kiczales, Gregor |
WODA '11: "Retroactive Aspects: Programming ..."
Retroactive Aspects: Programming in the Past
Robin Salkeld, Brendan Cully, Geoffrey Lefebvre, Wenhao Xu, Andrew Warfield, and Gregor Kiczales
(University of British Columbia, Canada)
@InProceedings{WODA11p31,
author = {Robin Salkeld and Brendan Cully and Geoffrey Lefebvre and Wenhao Xu and Andrew Warfield and Gregor Kiczales},
title = {Retroactive Aspects: Programming in the Past},
booktitle = {Proc.\ WODA},
publisher = {ACM},
pages = {31-30},
doi = {},
year = {2011},
}
|
| |
Lefebvre, Geoffrey
|
WODA '11: "Retroactive Aspects: Programming ..."
Retroactive Aspects: Programming in the Past
Robin Salkeld, Brendan Cully, Geoffrey Lefebvre, Wenhao Xu, Andrew Warfield, and Gregor Kiczales
(University of British Columbia, Canada)
@InProceedings{WODA11p31,
author = {Robin Salkeld and Brendan Cully and Geoffrey Lefebvre and Wenhao Xu and Andrew Warfield and Gregor Kiczales},
title = {Retroactive Aspects: Programming in the Past},
booktitle = {Proc.\ WODA},
publisher = {ACM},
pages = {31-30},
doi = {},
year = {2011},
}
|
| |
Löwe, Welf |
WODA '11: "Custom-made Instrumentation ..."
Custom-made Instrumentation Based on Static Analysis
Tobias Gutzmann and Welf Löwe
(Linnaeus University, Sweden)
@InProceedings{WODA11p19,
author = {Tobias Gutzmann and Welf Löwe},
title = {Custom-made Instrumentation Based on Static Analysis},
booktitle = {Proc.\ WODA},
publisher = {ACM},
pages = {19-18},
doi = {},
year = {2011},
}
|
| |
Oksanen, Kenneth
|
WODA '11: "Detecting Algorithms using ..."
Detecting Algorithms using Dynamic Analysis
Kenneth Oksanen
(Aalto University, Finland)
@InProceedings{WODA11p1,
author = {Kenneth Oksanen},
title = {Detecting Algorithms using Dynamic Analysis},
booktitle = {Proc.\ WODA},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2011},
}
|
| |
Salkeld, Robin
|
WODA '11: "Retroactive Aspects: Programming ..."
Retroactive Aspects: Programming in the Past
Robin Salkeld, Brendan Cully, Geoffrey Lefebvre, Wenhao Xu, Andrew Warfield, and Gregor Kiczales
(University of British Columbia, Canada)
@InProceedings{WODA11p31,
author = {Robin Salkeld and Brendan Cully and Geoffrey Lefebvre and Wenhao Xu and Andrew Warfield and Gregor Kiczales},
title = {Retroactive Aspects: Programming in the Past},
booktitle = {Proc.\ WODA},
publisher = {ACM},
pages = {31-30},
doi = {},
year = {2011},
}
|
| |
Warfield, Andrew
|
WODA '11: "Retroactive Aspects: Programming ..."
Retroactive Aspects: Programming in the Past
Robin Salkeld, Brendan Cully, Geoffrey Lefebvre, Wenhao Xu, Andrew Warfield, and Gregor Kiczales
(University of British Columbia, Canada)
@InProceedings{WODA11p31,
author = {Robin Salkeld and Brendan Cully and Geoffrey Lefebvre and Wenhao Xu and Andrew Warfield and Gregor Kiczales},
title = {Retroactive Aspects: Programming in the Past},
booktitle = {Proc.\ WODA},
publisher = {ACM},
pages = {31-30},
doi = {},
year = {2011},
}
|
| |
Xu, Wenhao
|
WODA '11: "Retroactive Aspects: Programming ..."
Retroactive Aspects: Programming in the Past
Robin Salkeld, Brendan Cully, Geoffrey Lefebvre, Wenhao Xu, Andrew Warfield, and Gregor Kiczales
(University of British Columbia, Canada)
@InProceedings{WODA11p31,
author = {Robin Salkeld and Brendan Cully and Geoffrey Lefebvre and Wenhao Xu and Andrew Warfield and Gregor Kiczales},
title = {Retroactive Aspects: Programming in the Past},
booktitle = {Proc.\ WODA},
publisher = {ACM},
pages = {31-30},
doi = {},
year = {2011},
}
|