PADTAD The 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging an ISSTA 2012 Workshop. Funding provided by:

Size: px

Start display at page:

Download "PADTAD The 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging an ISSTA 2012 Workshop. Funding provided by:"

John McKinney
5 years ago
Views:

1 PADTAD 2012 The 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging an ISSTA 2012 Workshop Funding provided by:

2 PADTAD 2012 Minneapolis, MN, USA PADTAD 2011 Toronto, ON, Canada PADTAD 2010 Trento, Italy PADTAD 2009 Chicago, IL, USA PADTAD 2008 Seattle, WA, USA PADTAD 2007 London, England PADTAD 2006 Portland, MN, USA PADTAD 2005 Haifa, Israel PADTAD 2004 Santa Fe, NM, USA PADTAD 2003 Nice, France PADTAD

3 Organizers Simone Souza University of São Paulo, Brazil Jeremy Bradbury University of Ontario Institute of Technology, Canada Program Chair General Chair João Lourenço University Nova de Lisboa, Portugal Eitan Farchi IBM Haifa Research Laboratory, Israel Steering Cmte. Steering Cmte. PADTAD

4 Program Committee Akash Lal, Microsoft Research, India Eitan Farchi, IBM Haifa Research Laboratory, Israel Giorgio Delzanno, Universita di Genova, Italy Grigore Rosu, University of Illinois at Urbana-Champaign, USA Guodong Li, Fujitsu Labs of America, U.S.A Jeff Lei, University of Texas at Arlington, USA Jeremy Bradbury, University of Ontario Institute of Technology, Canada João Lourenço, University Nova de Lisboa, Portugal Klaus Havelund, NASA's Jet Propulsion Labratory, USA Paul Petersen, Intel, USA Richard Carver, George Mason University, USA Scott D. Stoller, Stony Brook University, USA Serdar Tasiran, Koç University, Turkey Shan Lu, University of Wisconsin, USA Shmuel Ur, Bristol University, U.K. Simone Souza, University of São Paulo, Brazil Tao Xie, North Carolina State University, USA Venkatesh Prasad Ranganath, Microsoft Research, India Victor Pankratius, Massachusetts Institute of Technology, USA Zhiqiang Ma, Intel, USA Zijiang James Yang, Western Michigan University, USA 4

5 Workshop Sponsors 5

6 Schedule 9:00 10:30 Keynote Dr. Victor Pankratius 11:00 12:30 Session 1: Data Race Detection 14:00 15:30 Session 2: Testing & Analysis 16:00 17:30 Session 3: Brainstorming PADTAD

7 Keynote Improving Multicore Software Quality With Data Mining and Crowdsourcing Techniques Dr. Victor Pankratius, MIT Computer Science and Artificial Intelligence Laboratory (CSAIL) PADTAD

8 Session 1: Data Race Detection On-the-fly Detection of Data Races in OpenMP Programs. O-K. Ha, I-B. Kuh. G.M. Tchamgoue, Y-K. Jun. Gyeongsang National University, The Republic of Korea. A Static Analysis Tool Using a Three-Step Approach for Data Races in HPC Programs. Y. Negishi, H. Murata, G. Cong, H-F. Wen, I-H. Chung. IBM Research, Tokyo, Japan; IBM T.J. Watson Research Center, USA. Using Program Closure to Make an Application Programming Interface (API) Thread Safe. E. Farchi, I. Segall, J.M. Lourenço, D. Sousa. IBM Research Labs, Haifa, Israel; Universidade Nova de Lisboa, Portugal. PADTAD

9 Session 2: Testing & Analysis Using Combinatorial Benchmark Construction to Improve the Assessment of Concurrency Bug Detection Tools. J.S. Bradbury, I. Segall, E. Farchi, K. Jalbert, D. Kelk. University of Ontario Institute of Technology, Canada; IBM Research Labs (Haifa), Israel. Noise-based Testing and Analysis of Multi-threaded C/C+ + Programs on the Binary Level. J. Fiedor, T. Vojnar. Brno University of Technology, Czech Republic. PADTAD

10 Session 3: Brainstorming Possible Topics Dealing with nondeterministic test environments (e.g., cloud) for concurrent/distributed software Ensuring confidence in concurrent/distributed testing results - how many times should I run each test case? (i.e., confidence in interleaving space) How to reduce the cost of the testing and debugging of concurrent/ distributed systems? Testing NoSQL databases (relaxed data consistency models) Regression testing of concurrency programs Challenges of maintaining concurrent/distributed software (e.g., regression testing) Curriculum for testing and debugging of concurrent/distributed software. PADTAD

11 #padtad2012 PADTAD 2012 The 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging an ISSTA 2012 Workshop Funding provided by:

12 #padtad2012 PADTAD 2012 KEYNOTE Dr. Victor Pankratius Funding provided by:

13 PADTAD 2012 Keynote Improving Multicore Software Quality With Data Mining and Crowdsourcing Techniques Dr. Victor Pankratius, MIT Computer Science and Artificial Intelligence Laboratory (CSAIL) PADTAD

14 PADTAD 2012 Keynote Dr. Victor Pankratius Habilitation degree (PD) in Computer Science, Karlsruhe Institute of Technology (2012) Dr.rer.pol. degree with distinction, University of Karlsruhe (2007) Diplom degree (M.S.) in Business Computer Science best of class (2003), University of Münster Bachelor of Science in Information Systems (BScIS, 2002), University of Münster PADTAD

15 PADTAD 2012 Keynote Dr. Victor Pankratius Currently a visiting scientist at the Computer Science and Artificial Intelligence Laboratory (CSAIL), MIT Heads the Multicore Software Engineering group at the Karlsruhe Institute of Technology Elected chairman of the Software Engineering for Parallel Systems (SEPARS) international working group Previously a visiting scientist at Intel and Sun Labs/ Oracle Recipient of the Intel Leadership Award PADTAD

16 PADTAD 2012 Keynote Dr. Victor Pankratius Co-chaired the Multicore Software Engineering workshop series (co-located with ICSE, ) General chair of the 1 st International Conference on Multicore Software Engineering, Performance, and Tools (MSEPT 12) PADTAD

17 #padtad2012 PADTAD 2012 KEYNOTE Dr. Victor Pankratius Funding provided by:

Welcome. 6 th Annual Roundtable on Entrepreneurship Education (REE USA) Stanford University October 22-24, Slide 1

Welcome. 6 th Annual Roundtable on Entrepreneurship Education (REE USA) Stanford University October 22-24, Slide 1 Welcome 6 th Annual Roundtable on Entrepreneurship Education (REE USA) Tom Byers and Tina Seelig,, Co-Chairs Stanford University October 22-24, 2003 Slide 1 Slide 2 Special Thanks to 0ur Sponsors A Word