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.

Plenary

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 21 Oct

Displayed 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
10m
Talk
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
20m
Research paper
Scalable Small Message Aggregation on Modern Interconnects
VIVEKFEST
09:30
20m
Talk
Michael Hind (IBM Research)
VIVEKFEST

09:50
20m
Talk
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
20m
Research 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
10:30 - 11:00
Coffee BreakCatering at Foyer
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
Pre-lunch SessionVIVEKFEST at Pacific C
Chair(s): Rajiv Gupta University of California at Riverside (UCR)
11:00
20m
Research 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
20m
Research paper
Verification of Concurrent Programs Using Hybrid Concrete-Symbolic Interpretation
VIVEKFEST
Emily Tucker , Louis-Noël Pouchet Colorado State University, USA
11:40
10m
Talk
A Few Lessons and Problems For Life; Source@Vivek Sarkar
VIVEKFEST
11:50
20m
Research 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
20m
Research paper
A Formal Model for Portable, Heterogeneous Accelerator Programming
VIVEKFEST
Zachary Sullivan , Samuel D. Pollard Sandia National Laboratories
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

15:30 - 16:00
Coffee BreakCatering at Foyer
15:30
30m
Coffee break
Break
Catering

16:00 - 17:30
Afternoon SessionVIVEKFEST at Pacific C
Chair(s): Raj Barik Gitar Co.
16:00
20m
Research 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 , Youssef Elmougy Georgia Institute of Technology, USA, Jiawei Yang
16:20
10m
Talk
Max Grossman (Cruise)
VIVEKFEST
Max Grossman Rice University, USA
16:30
20m
Research paper
Retrieving Unknown SMT Formulas via Structural Mutations
VIVEKFEST
Shuo Ding Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology
16:50
30m
Talk
Vivek Sarkar (Georgia Tech)
VIVEKFEST
Vivek Sarkar Georgia Institute of Technology
17:20
10m
Talk
Closing and proceed to "Collaborators' Toast: Drinks & Memories of Vivek's Work (6-8PM)"
VIVEKFEST

Hide past events

Not scheduled yet

Not scheduled yet
Social Event
Collaborators' Toast: Drinks & Memories of Vivek's Work (6-8PM)
VIVEKFEST
Raj Barik Gitar Co.

Accepted Papers

Title
A Few Lessons and Problems For Life; Source@Vivek Sarkar
VIVEKFEST
A Formal Model for Portable, Heterogeneous Accelerator Programming
VIVEKFEST
Closing and proceed to "Collaborators' Toast: Drinks & Memories of Vivek's Work (6-8PM)"
VIVEKFEST

Collaborators' Toast: Drinks & Memories of Vivek's Work (6-8PM)
VIVEKFEST
Concurrent Collections: An Overview
VIVEKFEST
Enabling User-level Asynchronous Tasking in the FA-BSP Model - Case Study: Distributed Triangle Counting
VIVEKFEST
Evaluation of Speedup & Energy with Multigrain Parallelizing Compiler
VIVEKFEST
Hidden assumptions in static verification of data-race free GPU programs
VIVEKFEST
Intrepydd: Toward Performance, Productivity, and Portability for Massive Heterogeneous Parallelism
VIVEKFEST
Jason Cong (UCLA)
VIVEKFEST
Learning to harness in-vitro biological neural networks
VIVEKFEST
Max Grossman (Cruise)
VIVEKFEST
Michael Hind (IBM Research)
VIVEKFEST

Navigating the Frontier of EDDO-Based Accelerators: Programming and Code Optimization Challenges
VIVEKFEST
On the Cloud We Can’t Wait: Asynchronous Actors Perform Even Better on the Cloud
VIVEKFEST
Play pre-recorded videos from ex-colleagues
VIVEKFEST

Preliminary Study on Message Aggregation Optimizations for Energy Savings in PGAS Models
VIVEKFEST
Prof. P. Sadayappan (University of Utah)
VIVEKFEST
Retrieving Unknown SMT Formulas via Structural Mutations
VIVEKFEST
Scalable Small Message Aggregation on Modern Interconnects
VIVEKFEST
Verification of Concurrent Programs Using Hybrid Concrete-Symbolic Interpretation
VIVEKFEST
Vivek Sarkar (Georgia Tech)
VIVEKFEST
Welcome (Raj Barik/Rajiv Gupta/Jens Palsberg)
VIVEKFEST

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.

Questions? Use the VIVEKFEST contact form.