| |
Bradbury, Jeremy S.
|
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},
}
Article: isstaws12padtad-id4-p (type: Full Paper) doi:
|
| |
Chung, I-Hsin
|
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},
}
Article: isstaws12padtad-id1-p (type: Full Paper) doi:
|
| |
Cong, Guojing |
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},
}
Article: isstaws12padtad-id1-p (type: Full Paper) doi:
|
| |
Farchi, Eitan
|
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},
}
Article: isstaws12padtad-id5-p (type: Full Paper) doi:
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},
}
Article: isstaws12padtad-id4-p (type: Full Paper) doi:
|
| |
Fiedor, Jan |
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},
}
Article: isstaws12padtad-id3-p (type: Full Paper) doi:
|
| |
Ha, Ok-Kyoon
|
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},
}
Article: isstaws12padtad-id2-p (type: Full Paper) doi:
|
| |
Jalbert, Kevin
|
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},
}
Article: isstaws12padtad-id4-p (type: Full Paper) doi:
|
| |
Jun, Yong-Kee |
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},
}
Article: isstaws12padtad-id2-p (type: Full Paper) doi:
|
| |
Kelk, David
|
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},
}
Article: isstaws12padtad-id4-p (type: Full Paper) doi:
|
| |
Kuh, In-Bon |
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},
}
Article: isstaws12padtad-id2-p (type: Full Paper) doi:
|
| |
Lourenço, João M.
|
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},
}
Article: isstaws12padtad-id5-p (type: Full Paper) doi:
|
| |
Murata, Hiroki
|
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},
}
Article: isstaws12padtad-id1-p (type: Full Paper) doi:
|
| |
Negishi, Yasushi
|
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},
}
Article: isstaws12padtad-id1-p (type: Full Paper) doi:
|
| |
Segall, Itai
|
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},
}
Article: isstaws12padtad-id5-p (type: Full Paper) doi:
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},
}
Article: isstaws12padtad-id4-p (type: Full Paper) doi:
|
| |
Sousa, Diogo |
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},
}
Article: isstaws12padtad-id5-p (type: Full Paper) doi:
|
| |
Tchamgoue, Guy Martin
|
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},
}
Article: isstaws12padtad-id2-p (type: Full Paper) doi:
|
| |
Vojnar, Tomáš
|
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},
}
Article: isstaws12padtad-id3-p (type: Full Paper) doi:
|
| |
Wen, Hui-Fang
|
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},
}
Article: isstaws12padtad-id1-p (type: Full Paper) doi:
|