Workshop WODA 2012 – Author Index

A B C E F G H M O P R T W X Y

	Alipour, Mohammad Amin	WODA '12: "Extended Program Invariants: ..." Extended Program Invariants: Applications in Testing and Fault Localization Mohammad Amin Alipour and Alex Groce (Oregon State University, USA) @InProceedings{WODA12p7, author = {Mohammad Amin Alipour and Alex Groce}, title = {Extended Program Invariants: Applications in Testing and Fault Localization}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2012}, }
	Ashraf, Imran	WODA '12: "Communication-Aware HW/SW ..." Communication-Aware HW/SW Co-design for Heterogeneous Multicore Platforms Imran Ashraf, S. Arash Ostadzadeh, Roel Meeuws, and Koen Bertels (TU Delft, Netherlands) @InProceedings{WODA12p37, author = {Imran Ashraf and S. Arash Ostadzadeh and Roel Meeuws and Koen Bertels}, title = {Communication-Aware HW/SW Co-design for Heterogeneous Multicore Platforms}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2012}, }
	Bertels, Koen	WODA '12: "Communication-Aware HW/SW ..." Communication-Aware HW/SW Co-design for Heterogeneous Multicore Platforms Imran Ashraf, S. Arash Ostadzadeh, Roel Meeuws, and Koen Bertels (TU Delft, Netherlands) @InProceedings{WODA12p37, author = {Imran Ashraf and S. Arash Ostadzadeh and Roel Meeuws and Koen Bertels}, title = {Communication-Aware HW/SW Co-design for Heterogeneous Multicore Platforms}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2012}, }
	Buell, Kevin	WODA '12: "Dynamic Cost Verification ..." Dynamic Cost Verification for Cloud Applications Kevin Buell and James Collofello (Arizona State University, USA) @InProceedings{WODA12p19, author = {Kevin Buell and James Collofello}, title = {Dynamic Cost Verification for Cloud Applications}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {19-18}, doi = {}, year = {2012}, }
	Collofello, James	WODA '12: "Dynamic Cost Verification ..." Dynamic Cost Verification for Cloud Applications Kevin Buell and James Collofello (Arizona State University, USA) @InProceedings{WODA12p19, author = {Kevin Buell and James Collofello}, title = {Dynamic Cost Verification for Cloud Applications}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {19-18}, doi = {}, year = {2012}, }
	Csallner, Christoph	WODA '12: "Evaluating Program Analysis ..." Evaluating Program Analysis and Testing Tools with the RUGRAT Random Benchmark Application Generator Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, and B. M. Mainul Hossain (University of Texas at Arlington, USA; Accenture Technology Labs, USA; University of Illinois at Chicago, USA; Georgia Tech, USA; North Carolina State University, USA) @InProceedings{WODA12p1, author = {Ishtiaque Hussain and Christoph Csallner and Mark Grechanik and Chen Fu and Qing Xie and Sangmin Park and Kunal Taneja and B. M. Mainul Hossain}, title = {Evaluating Program Analysis and Testing Tools with the RUGRAT Random Benchmark Application Generator}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2012}, }
	Erwig, Martin	WODA '12: "Finding Common Ground: Choose, ..." Finding Common Ground: Choose, Assert, and Assume Alex Groce and Martin Erwig (Oregon State University, USA) @InProceedings{WODA12p13, author = {Alex Groce and Martin Erwig}, title = {Finding Common Ground: Choose, Assert, and Assume}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2012}, }
	Fu, Chen	WODA '12: "Evaluating Program Analysis ..." Evaluating Program Analysis and Testing Tools with the RUGRAT Random Benchmark Application Generator Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, and B. M. Mainul Hossain (University of Texas at Arlington, USA; Accenture Technology Labs, USA; University of Illinois at Chicago, USA; Georgia Tech, USA; North Carolina State University, USA) @InProceedings{WODA12p1, author = {Ishtiaque Hussain and Christoph Csallner and Mark Grechanik and Chen Fu and Qing Xie and Sangmin Park and Kunal Taneja and B. M. Mainul Hossain}, title = {Evaluating Program Analysis and Testing Tools with the RUGRAT Random Benchmark Application Generator}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2012}, }
	Grechanik, Mark	WODA '12: "Evaluating Program Analysis ..." Evaluating Program Analysis and Testing Tools with the RUGRAT Random Benchmark Application Generator Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, and B. M. Mainul Hossain (University of Texas at Arlington, USA; Accenture Technology Labs, USA; University of Illinois at Chicago, USA; Georgia Tech, USA; North Carolina State University, USA) @InProceedings{WODA12p1, author = {Ishtiaque Hussain and Christoph Csallner and Mark Grechanik and Chen Fu and Qing Xie and Sangmin Park and Kunal Taneja and B. M. Mainul Hossain}, title = {Evaluating Program Analysis and Testing Tools with the RUGRAT Random Benchmark Application Generator}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2012}, }
	Groce, Alex	WODA '12: "Finding Common Ground: Choose, ..." Finding Common Ground: Choose, Assert, and Assume Alex Groce and Martin Erwig (Oregon State University, USA) @InProceedings{WODA12p13, author = {Alex Groce and Martin Erwig}, title = {Finding Common Ground: Choose, Assert, and Assume}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2012}, } WODA '12: "Extended Program Invariants: ..." Extended Program Invariants: Applications in Testing and Fault Localization Mohammad Amin Alipour and Alex Groce (Oregon State University, USA) @InProceedings{WODA12p7, author = {Mohammad Amin Alipour and Alex Groce}, title = {Extended Program Invariants: Applications in Testing and Fault Localization}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2012}, }
	Hossain, B. M. Mainul	WODA '12: "Evaluating Program Analysis ..." Evaluating Program Analysis and Testing Tools with the RUGRAT Random Benchmark Application Generator Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, and B. M. Mainul Hossain (University of Texas at Arlington, USA; Accenture Technology Labs, USA; University of Illinois at Chicago, USA; Georgia Tech, USA; North Carolina State University, USA) @InProceedings{WODA12p1, author = {Ishtiaque Hussain and Christoph Csallner and Mark Grechanik and Chen Fu and Qing Xie and Sangmin Park and Kunal Taneja and B. M. Mainul Hossain}, title = {Evaluating Program Analysis and Testing Tools with the RUGRAT Random Benchmark Application Generator}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2012}, }
	Hussain, Ishtiaque	WODA '12: "Evaluating Program Analysis ..." Evaluating Program Analysis and Testing Tools with the RUGRAT Random Benchmark Application Generator Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, and B. M. Mainul Hossain (University of Texas at Arlington, USA; Accenture Technology Labs, USA; University of Illinois at Chicago, USA; Georgia Tech, USA; North Carolina State University, USA) @InProceedings{WODA12p1, author = {Ishtiaque Hussain and Christoph Csallner and Mark Grechanik and Chen Fu and Qing Xie and Sangmin Park and Kunal Taneja and B. M. Mainul Hossain}, title = {Evaluating Program Analysis and Testing Tools with the RUGRAT Random Benchmark Application Generator}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2012}, }
	Meeuws, Roel	WODA '12: "Communication-Aware HW/SW ..." Communication-Aware HW/SW Co-design for Heterogeneous Multicore Platforms Imran Ashraf, S. Arash Ostadzadeh, Roel Meeuws, and Koen Bertels (TU Delft, Netherlands) @InProceedings{WODA12p37, author = {Imran Ashraf and S. Arash Ostadzadeh and Roel Meeuws and Koen Bertels}, title = {Communication-Aware HW/SW Co-design for Heterogeneous Multicore Platforms}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2012}, }
	Ostadzadeh, S. Arash	WODA '12: "Communication-Aware HW/SW ..." Communication-Aware HW/SW Co-design for Heterogeneous Multicore Platforms Imran Ashraf, S. Arash Ostadzadeh, Roel Meeuws, and Koen Bertels (TU Delft, Netherlands) @InProceedings{WODA12p37, author = {Imran Ashraf and S. Arash Ostadzadeh and Roel Meeuws and Koen Bertels}, title = {Communication-Aware HW/SW Co-design for Heterogeneous Multicore Platforms}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2012}, }
	Park, Sangmin	WODA '12: "Evaluating Program Analysis ..." Evaluating Program Analysis and Testing Tools with the RUGRAT Random Benchmark Application Generator Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, and B. M. Mainul Hossain (University of Texas at Arlington, USA; Accenture Technology Labs, USA; University of Illinois at Chicago, USA; Georgia Tech, USA; North Carolina State University, USA) @InProceedings{WODA12p1, author = {Ishtiaque Hussain and Christoph Csallner and Mark Grechanik and Chen Fu and Qing Xie and Sangmin Park and Kunal Taneja and B. M. Mainul Hossain}, title = {Evaluating Program Analysis and Testing Tools with the RUGRAT Random Benchmark Application Generator}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2012}, }
	Rountev, Atanas	WODA '12: "Dynamic Analysis of Inefficiently-Used ..." Dynamic Analysis of Inefficiently-Used Containers Shengqian Yang, Dacong Yan, Guoqing Xu, and Atanas Rountev (Ohio State University, USA; UC Irvine, USA) @InProceedings{WODA12p31, author = {Shengqian Yang and Dacong Yan and Guoqing Xu and Atanas Rountev}, title = {Dynamic Analysis of Inefficiently-Used Containers}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2012}, }
	Taneja, Kunal	WODA '12: "Evaluating Program Analysis ..." Evaluating Program Analysis and Testing Tools with the RUGRAT Random Benchmark Application Generator Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, and B. M. Mainul Hossain (University of Texas at Arlington, USA; Accenture Technology Labs, USA; University of Illinois at Chicago, USA; Georgia Tech, USA; North Carolina State University, USA) @InProceedings{WODA12p1, author = {Ishtiaque Hussain and Christoph Csallner and Mark Grechanik and Chen Fu and Qing Xie and Sangmin Park and Kunal Taneja and B. M. Mainul Hossain}, title = {Evaluating Program Analysis and Testing Tools with the RUGRAT Random Benchmark Application Generator}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2012}, }
	Weyns, Danny	WODA '12: "Towards an Integrated Approach ..." Towards an Integrated Approach for Validating Qualities of Self-Adaptive Systems Danny Weyns (Linnaeus University, Sweden) @InProceedings{WODA12p25, author = {Danny Weyns}, title = {Towards an Integrated Approach for Validating Qualities of Self-Adaptive Systems}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2012}, }
	Xie, Qing	WODA '12: "Evaluating Program Analysis ..." Evaluating Program Analysis and Testing Tools with the RUGRAT Random Benchmark Application Generator Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, and B. M. Mainul Hossain (University of Texas at Arlington, USA; Accenture Technology Labs, USA; University of Illinois at Chicago, USA; Georgia Tech, USA; North Carolina State University, USA) @InProceedings{WODA12p1, author = {Ishtiaque Hussain and Christoph Csallner and Mark Grechanik and Chen Fu and Qing Xie and Sangmin Park and Kunal Taneja and B. M. Mainul Hossain}, title = {Evaluating Program Analysis and Testing Tools with the RUGRAT Random Benchmark Application Generator}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2012}, }
	Xu, Guoqing	WODA '12: "Dynamic Analysis of Inefficiently-Used ..." Dynamic Analysis of Inefficiently-Used Containers Shengqian Yang, Dacong Yan, Guoqing Xu, and Atanas Rountev (Ohio State University, USA; UC Irvine, USA) @InProceedings{WODA12p31, author = {Shengqian Yang and Dacong Yan and Guoqing Xu and Atanas Rountev}, title = {Dynamic Analysis of Inefficiently-Used Containers}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2012}, }
	Yan, Dacong	WODA '12: "Dynamic Analysis of Inefficiently-Used ..." Dynamic Analysis of Inefficiently-Used Containers Shengqian Yang, Dacong Yan, Guoqing Xu, and Atanas Rountev (Ohio State University, USA; UC Irvine, USA) @InProceedings{WODA12p31, author = {Shengqian Yang and Dacong Yan and Guoqing Xu and Atanas Rountev}, title = {Dynamic Analysis of Inefficiently-Used Containers}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2012}, }
	Yang, Shengqian	WODA '12: "Dynamic Analysis of Inefficiently-Used ..." Dynamic Analysis of Inefficiently-Used Containers Shengqian Yang, Dacong Yan, Guoqing Xu, and Atanas Rountev (Ohio State University, USA; UC Irvine, USA) @InProceedings{WODA12p31, author = {Shengqian Yang and Dacong Yan and Guoqing Xu and Atanas Rountev}, title = {Dynamic Analysis of Inefficiently-Used Containers}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2012}, }

23 authors

proc time: 0.72