Summer School


Visiting I2PC Illinois



2013 Illinois Symposium on Parallelism: Current State of the Field and the Future

September 10th and 11th, 2013
Siebel Center for Computer Science
University of Illinois at Urbana-Champaign

Workshop Schedule

Tuesday, 9/10/13

7:30 am Registrant sign-in. Continental breakfast.
8:30 am Welcome.
8:35 am "The Beginnings of the Illinois Parallelism Center", Wen-mei Hwu and Marc Snir (UIUC).
8:45 am "What the Parallelism Center Accomplished", Josep Torrellas (UIUC).
9:30 am Break.
10:00 am Applications (Chair: John Hart, UIUC).
    10:00 am: "AvaScholar - Scaling Up the Classroom", John Hart (UIUC).
    10:30 am: AvaScholar Demo.
    11:00 am: "Secure Clouds for Mobile Applications", Sam King (UIUC).
11:30 am Break.
11:45 am Programming Models and Languages (Chair: David Padua, UIUC).
    11:45 am: "Ieri, Oggi, Domani", Keshav Pingali (UT Austin).
    12:15 pm: "The Evolution of Cilk Plus. Recent and Future Directions", Arch Robison (Intel).
12:45 pm Lunch: "HTA and Abstractions", David Padua (UIUC).
2:00 pm Compilers and Program Analysis (Chair: Vikram Adve, UIUC).
    2:00 pm: "High Performance Domain Specific Languages with Delite", Kunle Olukotun (Stanford).
    2:30 pm: "Deterministic-by-default Parallel Programming ", Vikram Adve (UIUC).
    3:00 pm: "Compilers for GPUs", Wen-Mei Hwu (UIUC).
3:30 pm Break.
3:45 pm Panel Discussion led by Wen-mei Hwu (UIUC): "What Have We Learned about Parallel Programming Models and Languages?"
    Panelists: Vikram Adve, James Larus, CJ Newburn, and Kunle Olukotun.
5:15 pm Break.
5:30 pm Rapid-Fire Student Research Presentations:
  • Vuong Le and Zhenhuan Gao: "3-D Face Tracking and Performance Driven Avatar".
  • Pooya Khorrami: "Student Engagement Estimation from Face Tracking".
  • Greg Meyer: "Real-Time 3D Face Modeling with a Commodity Depth Camera".
  • Ehsan Totoni, Mert Dikmen, and Maria Garzaran: "Easy, Fast and Energy Efficient Object Detection on Heterogeneous On-Chip Architectures".
  • Yu Lin and Danny Dig: "Check-then-Act Misuse of Java Concurrent Collections".
  • Semih Okur and Danny Dig: "How Do Developers Use Parallel Libraries?"
  • Alex Gyori, Lyle Franklin, Danny Dig, and Jan Lahoda: "LAMBDAFICATOR: Crossing the Gap from Imperative to Functional Programming through Refactoring".
  • Cosmin Radoi and Danny Dig: "IteRace: Practical Static Race Detection for Java Parallel Loops".
  • Stephen Heumann, Alexandros Tzannes, Robert L. Bocchino Jr., Mohsen Vakilian, and Vikram S. Adve: "Static and Dynamic Techniques for Deterministic-by-default Parallel Programming".
  • Milos Gligoric and Rupak Majumdar: "Model Checking Database Applications".
5:45 pm Happy Hour and Poster Session.
6:30 pm Symposium on Parallelism Banquet. Speaker: Rob Rutenbar (UIUC).

Wednesday, 9/11/13

7:30 am Continental breakfast.
8:30 am Tools (Chair: Darko Marinov, UIUC).
    8:30 am: "The World Did Not End", James Larus (Microsoft).
    9:00 am: "Verification and Testing Tools", P. Madhusudan (UIUC).
    9:30 am: "How to 'Sketch' a Parallel Program", Paul Petersen (Intel).
    9:50 am: "Record and Replay Prototype", Nima Honarmand (UIUC).
10:10 am Break.
10:40 am Architecture (Chair: Sarita Adve, UIUC).
    10:40 am: "DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism", Sarita Adve (UIUC).
    11:10 am: "The Bulk Multicore Architecture for Programmability", Josep Torrellas (UIUC).
    11:40 am: "Bridging the Programmability Gap between Single-Core and Multi-Core Processors", Gilles Pokam (Intel).
12:10 pm Lunch.
1:30 pm The Future (Chair: Marc Snir, UIUC).
    1:30 pm: "The Future of Parallel Computing: A Principled Approach", Tilak Agerwala (IBM).
    1:50 pm: "Building Highly Parallel and Concurrent Systems", Arvind (MIT).
    2:10 pm: "A Brief History of Parallel Computing: 1975-2050", Burton Smith (Microsoft).
    2:30 pm: "What We Need to Accomplish Next", Josep Torrellas (UIUC).
2:50 pm Break.
3:05 pm Panel Discussion lead by Marc Snir (UIUC): "The Future".
    Panelists: Tilak Agerwala, Arvind, Burton Smith, Josep Torrellas.
4:35 pm Break.
4:45 pm Rapid-Fire Student Research Presentations:
  • Francesco Sorrentino and P.Madhusudan: "Prediction of Null-Pointer Dereferences and other Violations on Concurrent Programs".
  • Qingzhou Luo and Grigore Rosu: "EnforceMOP: A Runtime Property Enforcement System for Multithreaded Programs".
  • Wonsun Ahn and Josep Torrellas: "Compilation for Transactions and Bulk".
  • Byn Choi, Rakesh Komuravelli, Hyojin Sung, Robert Smolinski, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Nicholas P. Carter, and Ching-Tsun Chou: "DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism".
  • Xuehai Qian and Josep Torrellas: "Scalable Bulk Architecture".
  • Hyojin Sung, Rakesh Komuravelli, and Sarita V. Adve: "DeNovoND: Efficient Hardware Support for Disciplined Non-determinism".
  • Yuelu Duan and Josep Torrellas: "WeeFence: Toward Making Fences Free in TSO".
  • Rakesh Komuravelli, Matthew D. Sinclair, Maria Kotsifakou, Prakalp Srivastava, Sarita V. Adve, and Vikram Adve: "Addressing the Hardware Challenges of Tightly Coupled Heterogeneous Architectures".
  • Nima Honarmand and Josep Torrellas: "Advanced Record & Deterministic Replay".
5:00 pm Poster Session.
6:00 pm Casual Dinner and Conference Wrap-up.

Bios of the Speakers

Dr. Tilak Agerwala, Vice President of Data Centric Systems at IBM Research

Dr. Agerwala is Vice President of Data Centric Systems at IBM's TJ Watson Research Center and is responsible for ensuring that IBM leads the industry in the next generation of scalable systems for big data, analytics, technical and cognitive computing. Prior to this, as Vice President of Systems research, he was responsible for all of IBM Research activities worldwide on the next-generation hardware and software technologies for IBM's servers, supercomputers, storage, data center networking, and cloud infrastructures. He joined IBM at The T.J. Watson Research Center in 1979, and has held executive positions in research, strategy, advanced development, marketing and business development. His research interests are in the areas of high performance computer architectures and systems. Dr. Agerwala is a founding member of the IBM Academy of Technology, a Fellow of the IEEE, a member of the Government University Industry Research Round Table, and a member of the Technology Leadership and Strategy Initiative of the Council of Competitiveness. He received his B.Tech. in electrical engineering, from the Indian Institute of Technology - Kanpur and his Ph.D. in EE from The Johns Hopkins University. He has given well over a hundred invited presentations, keynotes, and distinguished lectures at conferences, universities and national laboratories worldwide.

Prof. Arvind, Johnson Professor of Computer Science and Engineering at the Massachusetts Institute of Technology

Arvind is the Johnson Professor of Computer Science and Engineering at MIT. Arvind’s group, in collaboration with Motorola, built the Monsoon dataflow machines and its associated software in the late eighties. In 2000, Arvind started Sandburst which was sold to Broadcom in 2006. In 2003, Arvind co-founded Bluespec Inc., an EDA company to produce a set of tools for high-level synthesis. In 2001, Dr. R. S. Nikhil and Arvind published the book "Implicit parallel programming in pH". Arvind's current research focus is on enabling rapid development of embedded systems.

Arvind is a Fellow of IEEE and ACM, and a member of the National Academy of Engineering and the American Academy of Arts and Sciences

Dr. James Larus, Principal Researcher at Microsoft Research

James Larus currently is a Principal Researcher in Microsoft Research. Larus has been an active contributor to the programming languages, compiler, and computer architecture communities. He has published many papers and served on numerous program committees and NSF and NRC panels. His book, Transactional Memory (Morgan Claypool Publishers) appeared in 2007. Larus became an ACM Fellow in 2006.

Larus joined Microsoft Research as a Senior Researcher in 1998 to start and lead the Software Productivity Tools (SPT) group, which developed and applied a variety of innovative techniques in static program analysis and constructed tools that found defects in software. This group's research has both had considerable impact on the research community (2011 SIGPLAN Most Influential Paper and the 2011 CAV Award), as well as being shipped in Microsoft products such as the Static Driver Verifier and FX/Cop and other, widely-used internal software development tools. Larus became a MSR Research Area Manager for programming languages and tools and started the Singularity research project, which demonstrated that modern programming languages and software engineering techniques could fundamentally improve software architectures. Subsequently, he helped start XCG, a group in MSR developing hardware and software to support cloud computing. In XCG, Larus led groups developing the Orleans framework for cloud programming and computer hardware projects.

Before joining Microsoft, Larus was an Assistant and Associate Professor of Computer Science at the University of Wisconsin-Madison, where he published approximately 60 research papers and co-led the Wisconsin Wind Tunnel (WWT) research project with Professors Mark Hill and David Wood. WWT was a DARPA and NSF-funded project investigated new approaches to simulating, building, and programming parallel shared-memory computers. Larus’s research spanned a number of areas: including new and efficient techniques for measuring and recording executing programs’ behavior, tools for analyzing and manipulating compiled and linked programs, programming languages for parallel computing, tools for verifying program correctness, and techniques for compiler analysis and optimization.

Larus received his MS and PhD in Computer Science from the University of California, Berkeley in 1989, and an AB in Applied Mathematics from Harvard in 1980. At Berkeley, Larus developed one of the first systems to analyze Lisp programs and determine how to best execute them on a parallel computer.

Prof. Kunle Olukotun, Professor of Electrical Engineering and Computer Science at Stanford University

Kunle Olukotun is a Professor of Electrical Engineering and Computer Science at Stanford University. Olukotun is a pioneer in chip multiprocessor (CMP) design and lead the Stanford Hydra CMP research project. Olukotun founded Afara Websystems to develop high-throughput, low-power server systems with CMP technology. The Afara microprocessor, called Niagara, was acquired by Sun Microsystems. Niagara derived processors now power all Oracle SPARC-based servers. Olukotun currently directs the Stanford Pervasive Parallelism Lab (PPL) which seeks to proliferate the use of parallelism in all application areas using Domain Specific Languages (DSLs). Olukotun is an ACM Fellow and IEEE fellow.

Prof. Keshav Pingali, W.A."Tex" Moncrief Chair of Grid and Distributed Computing at the University of Texas at Austin

Keshav Pingali is a Professor in the Department of Computer Science at the University of Texas at Austin, and he holds the W.A."Tex" Moncrief Chair of Computing in the Institute for Computational Engineering and Sciences (ICES) at UT Austin. He was on the faculty of the Department of Computer Science at Cornell University from 1986 to 2006, where he held the India Chair of Computer Science.

Pingali's research has focused on programming languages and compiler technology for program understanding, restructuring, and optimization. His group is known for its contributions to memory-hierarchy optimization; some of these have been patented and are in use in industry compilers. His current research is focused on programming models and tools for multicore processors.

Pingali is a Fellow of the IEEE, ACM and AAAS. He received the IIT Kanpur Distinguished Alumnus Award in 2013. Between 2008 and 2011, he was the co-Editor-in-chief of the ACM Transactions on Programming Languages and Systems. He has also served on the NSF CISE Advisory Committee.

Dr. Burton Smith, Technical Fellow at Microsoft Corporation

Burton J. Smith, Technical Fellow for Microsoft Corporation, works with various groups within the company to help address the challenges brought about by the emergence of many-core systems and the increasing importance of distributed services. Before joining Microsoft in December 2005 he co-founded Cray Inc., formerly Tera Computer Company, where he variously served as its chief scientist, a member of the board of directors, and its chairman until 1999. Before that, Smith spent six years with Denelcor, Inc. and three years at the Institute for Defense Analyses Supercomputing Research Center.

In 2003, Smith received the Seymour Cray Award from the IEEE Computer Society and was elected to the National Academy of Engineering. He received the Eckert-Mauchly Award in 1991 given jointly by IEEE and ACM and was elected a fellow of each organization in 1994. He was elected Fellow of the American Academy of Arts and Sciences in 2010. Smith attended the University of New Mexico, where he earned a BSEE degree, and the Massachusetts Institute of Technology, where he earned SM, EE, and Sc.D degrees.