The Vivek Sarkar Festschrift Symposium is being planned on 21st Oct, 2024 in Pasadena, California at the SPLASH’24. This day-long symposium will be to celebrate the scholarship and teaching of Prof. Vivek Sarkar, the Chair of the School of Computer Science at Georgia Tech and the Stephen Fleming Chair for Telecommunications in the College of Computing.
The theme of the symposium is “Principles and Practices of Building Parallel Software” reflecting Vivek’s profound dedication to exploring the multifaceted realm of parallel computing software, encompassing programming languages, compilers, runtime systems, and debugging and verification systems tailored for high-performance computing environments. Vivek started his journey in the industry before bringing those valuable industry practices to academia. Specifically, his research projects at IBM include the PTRAN automatic parallelization system, the ASTI optimizer for IBM’s XL product compilers, the open-source Jikes Research Virtual Machine for the Java language, and the X10 programming language developed in the DARPA HPCS program. At academia he has been instrumental in pushing the forefront of system software in the Habanero Extreme Scale Software Research project. Vivek is an ACM Fellow, an IEEE Fellow, a former member of the IBM Academy of Technology, and a recipient of the ACM-IEEE CS Ken Kennedy Award. He served on the Board of Directors of the Computing Research Association (CRA) during 2015-2022, and is a founding co-chair of the CRA-Industry committee since 2021. He has been a member of the US Department of Energy’s Advanced Scientific Computing Advisory Committee (ASCAC) since 2009, and a member of the ACM Council since 2022.
Vivek is interested in the performance and efficiency of parallel computing systems, which are crucial for managing large-scale computational tasks. Over the years, his work has been to develop innovative compiler techniques, runtime systems, and programming models that can effectively harness the power of multicore, manycore, and heterogeneous processors. He has particularly focused on scalable and productive programming methodologies, aiming to bridge the gap between the high-level abstraction preferred by programmers and the low-level efficiency required for high-performance computing tasks. Through his research, Vivek endeavored to address the challenges of concurrency, synchronization, and memory management in parallel systems, thereby contributing to advancements in computing technologies that are increasingly becoming integral to various scientific, engineering, and commercial applications.
The symposium is dedicated to Vivek’s lifelong ideas and influences, and some of Vivek’s closest collaborators and most prominent colleagues will deliver talks during the event. They will also be invited to contribute a paper to a so-called Festschrift, which will be published either by ACM or by Springer in their Lecture Notes in Computer Science (LNCS) series (tentative). The term “Festschrift” is borrowed from German, and could be translated as celebration publication or celebratory (piece of) writing (literally ‘party-writing’; cognate with ‘feast-script’). The symposium is open to all interested attendees.
Mon 21 OctDisplayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | Morning SessionVIVEKFEST at Pacific C Chair(s): Jens Palsberg University of California, Los Angeles (UCLA) | ||
09:00 10mTalk | Welcome (Raj Barik/Rajiv Gupta/Jens Palsberg) VIVEKFEST Raj Barik Gitar Co., Rajiv Gupta University of California at Riverside (UCR), Jens Palsberg University of California, Los Angeles (UCLA) | ||
09:10 20mResearch paper | Scalable Small Message Aggregation on Modern Interconnects VIVEKFEST | ||
09:30 20mTalk | Michael Hind (IBM Research) VIVEKFEST | ||
09:50 20mTalk | Concurrent Collections: An Overview VIVEKFEST Kathleen Knobe Rice University, Zoran Budimlic Texas A&M University, Robert Harrison , Mohammad Mahdi Javanmard Stony Brook University, NY, USA, Louis-Noël Pouchet Colorado State University | ||
10:10 20mResearch paper | Hidden assumptions in static verification of data-race free GPU programs VIVEKFEST Tiago Cogumbreiro University of Massachusetts Boston, Julien Lange Royal Holloway, University of London |
11:00 - 12:30 | Pre-lunch SessionVIVEKFEST at Pacific C Chair(s): Rajiv Gupta University of California at Riverside (UCR) | ||
11:00 20mResearch paper | Intrepydd: Toward Performance, Productivity, and Portability for Massive Heterogeneous Parallelism VIVEKFEST Jun Shirako Georgia Institute of Technology, Tong Zhou Georgia Institute of Technology, Akihiro Hayashi Georgia Institute of Technology | ||
11:20 20mResearch paper | Verification of Concurrent Programs Using Hybrid Concrete-Symbolic Interpretation VIVEKFEST | ||
11:40 10mTalk | A Few Lessons and Problems For Life; Source@Vivek Sarkar VIVEKFEST V Krishna Nandivada IIT Madras | ||
11:50 20mResearch paper | Evaluation of Speedup & Energy with Multigrain Parallelizing Compiler VIVEKFEST John Pickar , Tohma Kawasumi , Hiroki Mikami Waseda University, Japan, Keiji Kimura Waseda University; Japan, Hironori Kasahara Waseda University, Japan | ||
12:10 20mResearch paper | A Formal Model for Portable, Heterogeneous Accelerator Programming VIVEKFEST |
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering |
14:00 - 15:30 | |||
14:00 20mResearch paper | Learning to harness in-vitro biological neural networks VIVEKFEST | ||
14:20 10mTalk | Jason Cong (UCLA) VIVEKFEST Jason Cong UCLA | ||
14:30 20mResearch paper | Preliminary Study on Message Aggregation Optimizations for Energy Savings in PGAS Models VIVEKFEST | ||
14:50 10mTalk | Navigating the Frontier of EDDO-Based Accelerators: Programming and Code Optimization Challenges VIVEKFEST Prasanth Chatarasi IBM Research | ||
15:00 20mResearch paper | On the Cloud We Can’t Wait: Asynchronous Actors Perform Even Better on the Cloud VIVEKFEST Aniruddha Mysore Georgia Institute of Technology, Youssef Elmougy Georgia Institute of Technology, USA, Akihiro Hayashi Georgia Institute of Technology | ||
15:20 5mTalk | Prof. P. Sadayappan (University of Utah) VIVEKFEST Ponnuswamy Sadayappan University of Utah | ||
15:25 5mOther | Play pre-recorded videos from ex-colleagues VIVEKFEST |
16:00 - 17:30 | |||
16:00 20mResearch paper | Enabling User-level Asynchronous Tasking in the FA-BSP Model - Case Study: Distributed Triangle Counting VIVEKFEST Akihiro Hayashi Georgia Institute of Technology, Shubhendra Singhal Georgia Institute of Technology, Youssef Elmougy Georgia Institute of Technology, USA, Jiawei Yang | ||
16:20 10mTalk | Max Grossman (Cruise) VIVEKFEST Max Grossman Rice University, USA | ||
16:30 20mResearch paper | Retrieving Unknown SMT Formulas via Structural Mutations VIVEKFEST | ||
16:50 30mTalk | Vivek Sarkar (Georgia Tech) VIVEKFEST Vivek Sarkar Georgia Institute of Technology | ||
17:20 10mTalk | Closing and proceed to "Collaborators' Toast: Drinks & Memories of Vivek's Work (6-8PM)" VIVEKFEST |
Unscheduled Events
Not scheduled Social Event | Collaborators' Toast: Drinks & Memories of Vivek's Work (6-8PM) VIVEKFEST Raj Barik Gitar Co. |
Accepted Papers
Call for Papers
The scope of the Vivek Sarkar Festschrift Symposium aims to cover a wide range of subjects within parallel computing, such as programming models, program analysis and transformations, runtime systems and execution models, and application-oriented software tools and libraries. The domain of interest will be any system in which parallel and heterogeneous processing plays a key role. In addition, we will encourage contributions involving the use of trained AI methods, such as leveraging GPT for code generation, program analysis and transformation to empower performance and productivity of large-scale computations.
Specific topics of interest for include:
-
Compilers for parallel and heterogeneous computing
-
Static, dynamic, and adaptive optimization of parallel programs
-
Parallel programming models and languages
-
Formal analysis and verification of parallel programs
-
Parallel runtime systems and libraries
-
Support for fine-grain parallel processing
-
Performance and analysis and debugging tools for concurrency
-
Parallel algorithms and concurrent data structures
-
Parallel applications in Big Data, Machine Learning, Graphs, and Biology
-
Strong scaling and issues involving extreme-scale computing systems
-
Parallel programming and compiling for heterogeneous systems
-
Use of AI/ML in code generation, program optimization, and parallel programming
We encourage personal engagement and technical conversations inspired by the materials presented live and in-person at the symposium. It is also expected that at least one author from each paper will need to be present and discuss the work. The symposium will welcome both invited talks and research papers.
Submitted regular papers should be previously unpublished work no longer than 10 pages (excluding bibliography) in a form compliant with the LNCS author guidelines. Short papers may represent “work in progress” and follow the same LNCS rules but with a maximum of 6 pages. Invited talks may be one-pager. Accepted papers will be made available online as a proceeding.