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}, } Article: isstaws12woda-id14-p (type: Idea Paper (6 Pages)) doi:
	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}, } Article: isstaws12woda-id12-p (type: Position Paper (6 Pages)) doi:
	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}, } Article: isstaws12woda-id12-p (type: Position Paper (6 Pages)) doi:
	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}, } Article: isstaws12woda-id1-p (type: Idea Paper (6 Pages)) doi:
	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}, } Article: isstaws12woda-id1-p (type: Idea Paper (6 Pages)) doi:
	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}, } Article: isstaws12woda-id2-p (type: Position Paper (6 Pages)) doi:
	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}, } Article: isstaws12woda-id10-p (type: Position Paper (6 Pages)) doi:
	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}, } Article: isstaws12woda-id2-p (type: Position Paper (6 Pages)) doi:
	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}, } Article: isstaws12woda-id2-p (type: Position Paper (6 Pages)) doi:
	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}, } Article: isstaws12woda-id10-p (type: Position Paper (6 Pages)) doi: 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}, } Article: isstaws12woda-id14-p (type: Idea Paper (6 Pages)) doi:
	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}, } Article: isstaws12woda-id2-p (type: Position Paper (6 Pages)) doi:
	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}, } Article: isstaws12woda-id2-p (type: Position Paper (6 Pages)) doi:
	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}, } Article: isstaws12woda-id12-p (type: Position Paper (6 Pages)) doi:
	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}, } Article: isstaws12woda-id12-p (type: Position Paper (6 Pages)) doi:
	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}, } Article: isstaws12woda-id2-p (type: Position Paper (6 Pages)) doi:
	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}, } Article: isstaws12woda-id11-p (type: Early bird research report (6 Pages)) doi:
	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}, } Article: isstaws12woda-id2-p (type: Position Paper (6 Pages)) doi:
	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}, } Article: isstaws12woda-id8-p (type: Position Paper (6 Pages)) doi:
	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}, } Article: isstaws12woda-id2-p (type: Position Paper (6 Pages)) doi:
	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}, } Article: isstaws12woda-id11-p (type: Early bird research report (6 Pages)) doi:
	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}, } Article: isstaws12woda-id11-p (type: Early bird research report (6 Pages)) doi:
	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}, } Article: isstaws12woda-id11-p (type: Early bird research report (6 Pages)) doi:

23 authors

proc time: 0.02