PADTAD '12: "Using Combinatorial Benchmark ..."
Using Combinatorial Benchmark Construction to Improve the Assessment of Concurrency Bug Detection Tools
Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, and David Kelk
(University of Ontario Institute of Technology, Canada; IBM Research, Israel)
@InProceedings{PADTAD12p34,
author = {Jeremy S. Bradbury and Itai Segall and Eitan Farchi and Kevin Jalbert and David Kelk},
title = {Using Combinatorial Benchmark Construction to Improve the Assessment of Concurrency Bug Detection Tools},
booktitle = {Proc.\ PADTAD},
publisher = {ACM},
pages = {34-33},
doi = {},
year = {2012},
}
PADTAD '12: "A Static Analysis Tool Using ..."
A Static Analysis Tool Using a Three-Step Approach for Data Races in HPC Programs
Yasushi Negishi, Hiroki Murata, Guojing Cong, Hui-Fang Wen, and I-Hsin Chung
(IBM Research, Japan; IBM Research, USA)
@InProceedings{PADTAD12p12,
author = {Yasushi Negishi and Hiroki Murata and Guojing Cong and Hui-Fang Wen and I-Hsin Chung},
title = {A Static Analysis Tool Using a Three-Step Approach for Data Races in HPC Programs},
booktitle = {Proc.\ PADTAD},
publisher = {ACM},
pages = {12-11},
doi = {},
year = {2012},
}
PADTAD '12: "A Static Analysis Tool Using ..."
A Static Analysis Tool Using a Three-Step Approach for Data Races in HPC Programs
Yasushi Negishi, Hiroki Murata, Guojing Cong, Hui-Fang Wen, and I-Hsin Chung
(IBM Research, Japan; IBM Research, USA)
@InProceedings{PADTAD12p12,
author = {Yasushi Negishi and Hiroki Murata and Guojing Cong and Hui-Fang Wen and I-Hsin Chung},
title = {A Static Analysis Tool Using a Three-Step Approach for Data Races in HPC Programs},
booktitle = {Proc.\ PADTAD},
publisher = {ACM},
pages = {12-11},
doi = {},
year = {2012},
}
PADTAD '12: "Using Program Closures to ..."
Using Program Closures to Make an Application Programming Interface (API) Implementation Thread Safe
Eitan Farchi, Itai Segall, João M. Lourenço, and Diogo Sousa
(IBM Research, Israel; Universidade Nova de Lisboa, Portugal)
@InProceedings{PADTAD12p23,
author = {Eitan Farchi and Itai Segall and João M. Lourenço and Diogo Sousa},
title = {Using Program Closures to Make an Application Programming Interface (API) Implementation Thread Safe},
booktitle = {Proc.\ PADTAD},
publisher = {ACM},
pages = {23-22},
doi = {},
year = {2012},
}
PADTAD '12: "Using Combinatorial Benchmark ..."
Using Combinatorial Benchmark Construction to Improve the Assessment of Concurrency Bug Detection Tools
Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, and David Kelk
(University of Ontario Institute of Technology, Canada; IBM Research, Israel)
@InProceedings{PADTAD12p34,
author = {Jeremy S. Bradbury and Itai Segall and Eitan Farchi and Kevin Jalbert and David Kelk},
title = {Using Combinatorial Benchmark Construction to Improve the Assessment of Concurrency Bug Detection Tools},
booktitle = {Proc.\ PADTAD},
publisher = {ACM},
pages = {34-33},
doi = {},
year = {2012},
}
PADTAD '12: "Noise-Based Testing and Analysis ..."
Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level
Jan Fiedor and Tomáš Vojnar
(Brno University of Technology, Czech Republic)
@InProceedings{PADTAD12p45,
author = {Jan Fiedor and Tomáš Vojnar},
title = {Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level},
booktitle = {Proc.\ PADTAD},
publisher = {ACM},
pages = {45-44},
doi = {},
year = {2012},
}
PADTAD '12: "On-the-fly Detection of Data ..."
On-the-fly Detection of Data Races in OpenMP Programs
Ok-Kyoon Ha, In-Bon Kuh, Guy Martin Tchamgoue, and Yong-Kee Jun
(Gyeongsang National University, South Korea)
@InProceedings{PADTAD12p1,
author = {Ok-Kyoon Ha and In-Bon Kuh and Guy Martin Tchamgoue and Yong-Kee Jun},
title = {On-the-fly Detection of Data Races in OpenMP Programs},
booktitle = {Proc.\ PADTAD},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2012},
}
PADTAD '12: "Using Combinatorial Benchmark ..."
Using Combinatorial Benchmark Construction to Improve the Assessment of Concurrency Bug Detection Tools
Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, and David Kelk
(University of Ontario Institute of Technology, Canada; IBM Research, Israel)
@InProceedings{PADTAD12p34,
author = {Jeremy S. Bradbury and Itai Segall and Eitan Farchi and Kevin Jalbert and David Kelk},
title = {Using Combinatorial Benchmark Construction to Improve the Assessment of Concurrency Bug Detection Tools},
booktitle = {Proc.\ PADTAD},
publisher = {ACM},
pages = {34-33},
doi = {},
year = {2012},
}
PADTAD '12: "On-the-fly Detection of Data ..."
On-the-fly Detection of Data Races in OpenMP Programs
Ok-Kyoon Ha, In-Bon Kuh, Guy Martin Tchamgoue, and Yong-Kee Jun
(Gyeongsang National University, South Korea)
@InProceedings{PADTAD12p1,
author = {Ok-Kyoon Ha and In-Bon Kuh and Guy Martin Tchamgoue and Yong-Kee Jun},
title = {On-the-fly Detection of Data Races in OpenMP Programs},
booktitle = {Proc.\ PADTAD},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2012},
}
PADTAD '12: "Using Combinatorial Benchmark ..."
Using Combinatorial Benchmark Construction to Improve the Assessment of Concurrency Bug Detection Tools
Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, and David Kelk
(University of Ontario Institute of Technology, Canada; IBM Research, Israel)
@InProceedings{PADTAD12p34,
author = {Jeremy S. Bradbury and Itai Segall and Eitan Farchi and Kevin Jalbert and David Kelk},
title = {Using Combinatorial Benchmark Construction to Improve the Assessment of Concurrency Bug Detection Tools},
booktitle = {Proc.\ PADTAD},
publisher = {ACM},
pages = {34-33},
doi = {},
year = {2012},
}
PADTAD '12: "On-the-fly Detection of Data ..."
On-the-fly Detection of Data Races in OpenMP Programs
Ok-Kyoon Ha, In-Bon Kuh, Guy Martin Tchamgoue, and Yong-Kee Jun
(Gyeongsang National University, South Korea)
@InProceedings{PADTAD12p1,
author = {Ok-Kyoon Ha and In-Bon Kuh and Guy Martin Tchamgoue and Yong-Kee Jun},
title = {On-the-fly Detection of Data Races in OpenMP Programs},
booktitle = {Proc.\ PADTAD},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2012},
}
PADTAD '12: "Using Program Closures to ..."
Using Program Closures to Make an Application Programming Interface (API) Implementation Thread Safe
Eitan Farchi, Itai Segall, João M. Lourenço, and Diogo Sousa
(IBM Research, Israel; Universidade Nova de Lisboa, Portugal)
@InProceedings{PADTAD12p23,
author = {Eitan Farchi and Itai Segall and João M. Lourenço and Diogo Sousa},
title = {Using Program Closures to Make an Application Programming Interface (API) Implementation Thread Safe},
booktitle = {Proc.\ PADTAD},
publisher = {ACM},
pages = {23-22},
doi = {},
year = {2012},
}
PADTAD '12: "A Static Analysis Tool Using ..."
A Static Analysis Tool Using a Three-Step Approach for Data Races in HPC Programs
Yasushi Negishi, Hiroki Murata, Guojing Cong, Hui-Fang Wen, and I-Hsin Chung
(IBM Research, Japan; IBM Research, USA)
@InProceedings{PADTAD12p12,
author = {Yasushi Negishi and Hiroki Murata and Guojing Cong and Hui-Fang Wen and I-Hsin Chung},
title = {A Static Analysis Tool Using a Three-Step Approach for Data Races in HPC Programs},
booktitle = {Proc.\ PADTAD},
publisher = {ACM},
pages = {12-11},
doi = {},
year = {2012},
}
PADTAD '12: "A Static Analysis Tool Using ..."
A Static Analysis Tool Using a Three-Step Approach for Data Races in HPC Programs
Yasushi Negishi, Hiroki Murata, Guojing Cong, Hui-Fang Wen, and I-Hsin Chung
(IBM Research, Japan; IBM Research, USA)
@InProceedings{PADTAD12p12,
author = {Yasushi Negishi and Hiroki Murata and Guojing Cong and Hui-Fang Wen and I-Hsin Chung},
title = {A Static Analysis Tool Using a Three-Step Approach for Data Races in HPC Programs},
booktitle = {Proc.\ PADTAD},
publisher = {ACM},
pages = {12-11},
doi = {},
year = {2012},
}
PADTAD '12: "Using Program Closures to ..."
Using Program Closures to Make an Application Programming Interface (API) Implementation Thread Safe
Eitan Farchi, Itai Segall, João M. Lourenço, and Diogo Sousa
(IBM Research, Israel; Universidade Nova de Lisboa, Portugal)
@InProceedings{PADTAD12p23,
author = {Eitan Farchi and Itai Segall and João M. Lourenço and Diogo Sousa},
title = {Using Program Closures to Make an Application Programming Interface (API) Implementation Thread Safe},
booktitle = {Proc.\ PADTAD},
publisher = {ACM},
pages = {23-22},
doi = {},
year = {2012},
}
PADTAD '12: "Using Combinatorial Benchmark ..."
Using Combinatorial Benchmark Construction to Improve the Assessment of Concurrency Bug Detection Tools
Jeremy S. Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert, and David Kelk
(University of Ontario Institute of Technology, Canada; IBM Research, Israel)
@InProceedings{PADTAD12p34,
author = {Jeremy S. Bradbury and Itai Segall and Eitan Farchi and Kevin Jalbert and David Kelk},
title = {Using Combinatorial Benchmark Construction to Improve the Assessment of Concurrency Bug Detection Tools},
booktitle = {Proc.\ PADTAD},
publisher = {ACM},
pages = {34-33},
doi = {},
year = {2012},
}
PADTAD '12: "Using Program Closures to ..."
Using Program Closures to Make an Application Programming Interface (API) Implementation Thread Safe
Eitan Farchi, Itai Segall, João M. Lourenço, and Diogo Sousa
(IBM Research, Israel; Universidade Nova de Lisboa, Portugal)
@InProceedings{PADTAD12p23,
author = {Eitan Farchi and Itai Segall and João M. Lourenço and Diogo Sousa},
title = {Using Program Closures to Make an Application Programming Interface (API) Implementation Thread Safe},
booktitle = {Proc.\ PADTAD},
publisher = {ACM},
pages = {23-22},
doi = {},
year = {2012},
}
PADTAD '12: "On-the-fly Detection of Data ..."
On-the-fly Detection of Data Races in OpenMP Programs
Ok-Kyoon Ha, In-Bon Kuh, Guy Martin Tchamgoue, and Yong-Kee Jun
(Gyeongsang National University, South Korea)
@InProceedings{PADTAD12p1,
author = {Ok-Kyoon Ha and In-Bon Kuh and Guy Martin Tchamgoue and Yong-Kee Jun},
title = {On-the-fly Detection of Data Races in OpenMP Programs},
booktitle = {Proc.\ PADTAD},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2012},
}
PADTAD '12: "Noise-Based Testing and Analysis ..."
Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level
Jan Fiedor and Tomáš Vojnar
(Brno University of Technology, Czech Republic)
@InProceedings{PADTAD12p45,
author = {Jan Fiedor and Tomáš Vojnar},
title = {Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level},
booktitle = {Proc.\ PADTAD},
publisher = {ACM},
pages = {45-44},
doi = {},
year = {2012},
}
PADTAD '12: "A Static Analysis Tool Using ..."
A Static Analysis Tool Using a Three-Step Approach for Data Races in HPC Programs
Yasushi Negishi, Hiroki Murata, Guojing Cong, Hui-Fang Wen, and I-Hsin Chung
(IBM Research, Japan; IBM Research, USA)
@InProceedings{PADTAD12p12,
author = {Yasushi Negishi and Hiroki Murata and Guojing Cong and Hui-Fang Wen and I-Hsin Chung},
title = {A Static Analysis Tool Using a Three-Step Approach for Data Races in HPC Programs},
booktitle = {Proc.\ PADTAD},
publisher = {ACM},
pages = {12-11},
doi = {},
year = {2012},
}