We recently released the Indigo benchmark suite. It contains 1268 CUDA and 512 OpenMP codes with thousands of inputs. Each code implements a different version of a frequent pattern found in parallel graph analytics programs. About half of the codes include planted bugs for testing verification tools. The Indigo suite is described in detail in our ISPASS'22 paper, which received the best paper award.
Martin Burtscher is a Professor in the Department of Computer Science at Texas State University.
He received the BS/MS degree from ETH Zurich and the PhD degree from the University of Colorado at Boulder.
Martin's current research focuses on the parallelization of graph algorithms and complex programs for GPUs
as well as on automatic synthesis of high-speed data-compression algorithms.
He has co-authored about 120 peer-reviewed scientific publications, which have
been cited over 6300 times.
Martin is a distinguished member of the ACM and a senior member of the IEEE.
Current Research Areas
GPU computing, parallel algorithm design, data compression, graph analytics, algorithm synthesis, performance optimization, energy efficiency
I have an open postdoc position starting in September 2023 for two years. Please contact me if you are interested.
I am always looking for creative and motivated students at all levels who are interested in working on these and related topics with me. Please contact me if you are interested.
Efficient Computing Laboratory
Martin directs the Efficient Computing Laboratory (ECL). Its research goals are developing general
strategies for parallelizing complex and irregular programs, creating techniques to automatically synthesize
high-performance data-compression algorithms, and designing optimizations to improve performance and
energy efficiency. Animations and more information are available here.
Faster computations and better algorithms can help save lives, solve health problems, increase safety, improve
the environment, and keep us connected. At this point, parallelization is the primary way to make more powerful
and energy-efficient computers possible. As we are reaching the limits of human ability, automatic synthesis is
the most promising avenue for creating new and improved algorithms.
Projects CIVIC (verification of irregular parallel programs) [NSF/CCF - SHF] LC (high-speed lossy data compression framework) [DOE/ASCR - DRS] PECOS (simulation of inductively coupled plasma torch) [DOE/NNSA - PSAAP III]
Selected ECL-member highlights
NSF Fellowships ($138,000): Jared, Kristi, Molly
Outstanding thesis awards: Sepideh
Outstanding research awards: Jared, Molly, Sepideh
Best paper awards: Yiqian, Noushin
PhD positions at Texas State, U. of Oregon, UT Austin, U. of Utah
Industry positions at NVIDIA, Intel, Samsung, Thermon, USAA, Charles Schwab, Uber, etc.