Workshop PADTAD 2012 – Author Index

B C F H J K L M N S T V W

	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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 doi:

20 authors

proc time: 0.02