Kunal Agrawal

Alessandro V. Papadopoulos

Tam V. Nguyen

Proceedings of the 58th Annual Conference on Information Sciences and Systems, 2024

2023

Scheduling IDK classifiers with arbitrary dependences to minimize the expected time to successful classification.

[BibT_eX]

[DOI]

Real Time Syst., September, 2023

Feedback-based resource management for multi-threaded applications.

[BibT_eX]

[DOI]

Enrico Bini

Real Time Syst., March, 2023

Responsive Parallelism with Synchronization.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2023

An Efficient Scheduler for Task-Parallel Interactive Applications.

[BibT_eX]

[DOI]

Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, 2023

Rethinking Tractability for Schedulability Analysis.

[BibT_eX]

[DOI]

Pontus Ekberg

Proceedings of the IEEE Real-Time Systems Symposium, 2023

Provably Good Randomized Strategies for Data Placement in Distributed Key-Value Stores.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, 2023

The Safe and Effective Use of Low-Assurance Predictions in Safety-Critical Systems.

[BibT_eX]

[DOI]

Alberto Marchetti-Spaccamela

Michael A. Bender

Proceedings of the 35th Euromicro Conference on Real-Time Systems, 2023

2022

Adaptive scheduling of multiprogrammed dynamic-multithreading applications.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2022

Automatic HBM Management: Models and Algorithms.

[BibT_eX]

[DOI]

Proceedings of the SPAA '22: 34th ACM Symposium on Parallelism in Algorithms and Architectures, Philadelphia, PA, USA, July 11, 2022

Online Parallel Paging with Optimal Makespan.

[BibT_eX]

[DOI]

Proceedings of the SPAA '22: 34th ACM Symposium on Parallelism in Algorithms and Architectures, Philadelphia, PA, USA, July 11, 2022

PINT: Parallel INTerval-Based Race Detector.

[BibT_eX]

[DOI]

Proceedings of the 2022 IEEE International Parallel and Distributed Processing Symposium, 2022

Efficient Access History for Race Detection.

[BibT_eX]

[DOI]

Proceedings of the Symposium on Algorithm Engineering and Experiments, 2022

Parallel Real-Time Scheduling.

[BibT_eX]

[DOI]

Jing Li

Chenyang Lu

Proceedings of the Handbook of Real-Time Computing, 2022

2021

Efficient Parallel Determinacy Race Detection for Structured Futures.

[BibT_eX]

[DOI]

Yifan Xu

Proceedings of the SPAA '21: 33rd ACM Symposium on Parallelism in Algorithms and Architectures, 2021

Tight Bounds for Parallel Paging and Green Paging.

[BibT_eX]

[DOI]

Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, 2021

Sub-Linear Overhead in Static Schedules for Fault-Tolerant Transmission.

[BibT_eX]

[DOI]

Zhe Wang

Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

2020

Optimal scheduling of measurement-based parallel real-time tasks.

[BibT_eX]

[DOI]

Real Time Syst., 2020

Priority Scheduling for Interactive Applications.

[BibT_eX]

[DOI]

Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020

How to Manage High-Bandwidth Memory Automatically.

[BibT_eX]

[DOI]

Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020

Contention Resolution with Message Deadlines.

[BibT_eX]

[DOI]

Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020

Green Paging and Parallel Paging.

[BibT_eX]

[DOI]

Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020

Hard-Real-Time Routing in Probabilistic Graphs to Minimize Expected Delay.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

Elastic Scheduling of Parallel Real-Time Tasks with Discrete Utilizations.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Real Time Networks and Systems, 2020

Efficient Deterministic Federated Scheduling for Parallel Real-Time Tasks.

[BibT_eX]

[DOI]

Son Dinh

Christopher D. Gill

Proceedings of the 26th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2020

Real-Time Scheduling upon a Host-Centric Acceleration Architecture with Data Offloading.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2020

Responsive parallelism with futures and state.

[BibT_eX]

[DOI]

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Assessing Clinicians' Reliance on Computational Aids for Acute Stroke Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the PervasiveHealth '20: 14th EAI International Conference on Pervasive Computing Technologies for Healthcare, 2020

The Safe and Effective Application of Probabilistic Techniques in Safety-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

AMCilk: A Framework for Multiprogrammed Parallel Workloads.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on High Performance Computing, 2020

The Safe and Effective Use of Learning-Enabled Components in Safety-Critical Systems.

[BibT_eX]

[DOI]

Alan Burns

Proceedings of the 32nd Euromicro Conference on Real-Time Systems, 2020

Minimizing Execution Duration in the Presence of Learning-Enabled Components.

[BibT_eX]

[DOI]

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

Developing Aids to Assist Acute Stroke Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Extended Abstracts of the 2020 CHI Conference on Human Factors in Computing Systems, 2020

Scheduling I/O Latency-Hiding Futures in Task-Parallel Platforms.

[BibT_eX]

[DOI]

Proceedings of the 1st Symposium on Algorithmic Principles of Computer Systems, 2020

2019

Processor-Oblivious Record and Replay.

[BibT_eX]

[DOI]

ACM Trans. Parallel Comput., 2019

Extracting SIMD Parallelism from Recursive Task-Parallel Programs.

[BibT_eX]

[DOI]

Bin Ren

Shruthi Balakrishna

Youngjoon Jo

Milind Kulkarni

ACM Trans. Parallel Comput., 2019

Elastic Scheduling for Parallel Real-Time Systems.

[BibT_eX]

[DOI]

Leibniz Trans. Embed. Syst., 2019

Analysis, Design, and Control of Predictable Interconnected Systems (Dagstuhl Seminar 19101).

[BibT_eX]

[DOI]

Enrico Bini

Giovanni Stea

Dagstuhl Reports, 2019

Reduced I/O Latency with Futures.

[BibT_eX]

[DOI]

CoRR, 2019

Analysis of Global Fixed-Priority Scheduling for Generalized Sporadic DAG Tasks.

[BibT_eX]

[DOI]

Son Dinh

Christopher D. Gill

CoRR, 2019

Reduced I/O Latency with Futures (Brief Announcement).

[BibT_eX]

[DOI]

Proceedings of the 31st ACM on Symposium on Parallelism in Algorithms and Architectures, 2019

Semi-Clairvoyance in Mixed-Criticality Scheduling.

[BibT_eX]

[DOI]

Alan Burns

Proceedings of the IEEE Real-Time Systems Symposium, 2019

Adaptive Real-Time Routing in Polynomial Time.

[BibT_eX]

[DOI]

Proceedings of the IEEE Real-Time Systems Symposium, 2019

Fault-tolerant transmission of messages of differing criticalities across a shared communication medium.

[BibT_eX]

[DOI]

Alan Burns

Proceedings of the 27th International Conference on Real-Time Networks and Systems, 2019

Efficient race detection with futures.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

Practically Efficient Scheduler for Minimizing Average Flow Time of Parallel Jobs.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Parallel and Distributed Processing Symposium, 2019

2018

Blocking Analysis for Spin Locks in Real-Time Parallel Tasks.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2018

Introduction to Special Issue on SPAA'15.

[BibT_eX]

[DOI]

Michael F. Spear

ACM Trans. Parallel Comput., 2018

Analysis of classic algorithms on highly-threaded many-core architectures.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2018

Parallel Working-Set Search Structures.

[BibT_eX]

[DOI]

Seth Gilbert

Wei Quan Lim

Proceedings of the 30th on Symposium on Parallelism in Algorithms and Architectures, 2018

Race Detection and Reachability in Nearly Series-Parallel DAGs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms, 2018

Reservation-Based Federated Scheduling for Parallel Real-Time Tasks.

[BibT_eX]

[DOI]

Niklas Ueter

Georg von der Brüggen

Jian-Jia Chen

Jing Li

Proceedings of the 2018 IEEE Real-Time Systems Symposium, 2018

Elasticity of Workloads and Periods of Parallel Real-Time Tasks.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Real-Time Networks and Systems, 2018

Efficient parallel determinacy race detection for two-dimensional dags.

[BibT_eX]

[DOI]

Yifan Xu

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

Stroke-Associated Hemiparesis Detection Using Body Joints and Support Vector Machines.

[BibT_eX]

[DOI]

Proceedings of the 12th EAI International Conference on Pervasive Computing Technologies for Healthcare, 2018

Scheduling Parallelizable Jobs Online to Maximize Throughput.

[BibT_eX]

[DOI]

Proceedings of the LATIN 2018: Theoretical Informatics, 2018

The Power to Schedule a Parallel Program.

[BibT_eX]

[DOI]

Seth Gilbert

Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium, 2018

Intractability Issues in Mixed-Criticality Scheduling.

[BibT_eX]

[DOI]

Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018

A Measurement-Based Model for Parallel Real-Time Tasks.

[BibT_eX]

[DOI]

Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018

Development of screening echocardiogram for detection of asymptomatic left ventricular dysfunction.

[BibT_eX]

[DOI]

Proceedings of the Computational Imaging XVI, Burlingame, 2018

2017

Mixed-criticality federated scheduling for parallel real-time tasks.

[BibT_eX]

[DOI]

Real Time Syst., 2017

Brief Announcement: Scheduling Parallelizable Jobs Online to Maximize Throughput.

[BibT_eX]

[DOI]

Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, 2017

Exploiting Vector and Multicore Parallelism for Recursive, Data- and Task-Parallel Programs.

[BibT_eX]

[DOI]

Bin Ren

Milind Kulkarni

Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

Exploring stroke-associated hemiparesis assessment with support vector machines.

[BibT_eX]

[DOI]

Proceedings of the 11th EAI International Conference on Pervasive Computing Technologies for Healthcare, 2017

Locality-Aware Dynamic Task Graph Scheduling.

[BibT_eX]

[DOI]

Jordyn Maglalang

Proceedings of the 46th International Conference on Parallel Processing, 2017

2016

Provably Good and Practically Efficient Parallel Race Detection for Fork-Join Programs.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, 2016

Scheduling Parallelizable Jobs Online to Minimize the Maximum Flow Time.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, 2016

Scheduling Parallel DAG Jobs Online to Minimize Average Flow Time.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2016

Randomized Work Stealing for Large Scale Soft Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

Work stealing for interactive services to meet target latency.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2016

2015

Global EDF scheduling for parallel real-time tasks.

[BibT_eX]

[DOI]

Real Time Syst., 2015

Efficient execution of recursive programs on commodity vector hardware.

[BibT_eX]

[DOI]

Bin Ren

Youngjoon Jo

Milind Kulkarni

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Elastic Tasks: Unifying Task Parallelism and SPMD Parallelism with an Adaptive Runtime.

[BibT_eX]

[DOI]

Alina Simion Sbîrlea

Vivek Sarkar

Proceedings of the Euro-Par 2015: Parallel Processing, 2015

2014

Parallel Real-Time Scheduling of DAGs.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2014

A memory access model for highly-threaded many-core architectures.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2014

Parallel Support Vector Machines in Practice.

[BibT_eX]

[DOI]

CoRR, 2014

Provably good scheduling for parallel programs that use data structures through implicit batching.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures, 2014

Brief announcement: cache-oblivious scheduling of streaming pipelines.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM Symposium on Parallelism in Algorithms and Architectures, 2014

Fault-Tolerant Dynamic Task Graph Scheduling.

[BibT_eX]

[DOI]

Mehmet Can Kurt

Gagan Agrawal

Proceedings of the International Conference for High Performance Computing, 2014

Federated scheduling for stochastic parallel real-time tasks.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

Theoretical analysis of classic algorithms on highly-threaded many-core GPUs.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Provably good scheduling for parallel programs that use data structures through implicit batching.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Orchestrating safe streaming computations with precise control.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Parallel and Distributed Systems, 2014

Stochastic Neighbor Compression.

[BibT_eX]

[DOI]

Proceedings of the 31th International Conference on Machine Learning, 2014

Analysis of classic algorithms on GPUs.

[BibT_eX]

[DOI]

Proceedings of the International Conference on High Performance Computing & Simulation, 2014

Cache-conscious scheduling of streaming pipelines on parallel machines with private caches.

[BibT_eX]

[DOI]

Jordyn Maglalang

Proceedings of the 21st International Conference on High Performance Computing, 2014

Real-time system support for hybrid structural simulation.

[BibT_eX]

[DOI]

Proceedings of the 2014 International Conference on Embedded Software, 2014

Analysis of Federated and Global Scheduling for Parallel Real-Time Tasks.

[BibT_eX]

[DOI]

Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

Performance modeling for highly-threaded many-core GPUs.

[BibT_eX]

[DOI]

Proceedings of the IEEE 25th International Conference on Application-Specific Systems, 2014

2013

Multi-core real-time scheduling for generalized parallel task models.

[BibT_eX]

[DOI]

Real Time Syst., 2013

A real-time scheduling service for parallel tasks.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

Adding data parallelism to streaming pipelines for throughput optimization.

[BibT_eX]

[DOI]

Proceedings of the 20th Annual International Conference on High Performance Computing, 2013

Outstanding Paper Award: Analysis of Global EDF for Parallel Tasks.

[BibT_eX]

[DOI]

Proceedings of the 25th Euromicro Conference on Real-Time Systems, 2013

2012

Mapping Filtering Streaming Applications.

[BibT_eX]

[DOI]

Algorithmica, 2012

Cache-conscious scheduling of streaming applications.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM Symposium on Parallelism in Algorithms and Architectures, 2012

Efficient deadlock avoidance for streaming computation with filtering.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

2011

Parallel boosted regression trees for web search ranking.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on World Wide Web, 2011

Multi-core Real-Time Scheduling for Generalized Parallel Task Models.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

2010

Deadlock avoidance for streaming computations with filtering.

[BibT_eX]

[DOI]

Proceedings of the SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2010

Brief announcement: serial-parallel reciprocity in dynamic multithreaded languages.

[BibT_eX]

[DOI]

Proceedings of the SPAA 2010: Proceedings of the 22nd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2010

Helper locks for fork-join parallel programming.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2010

Executing task graphs using work-stealing.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

Scheduling algorithms for linear workflow optimization.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Symposium on Parallel and Distributed Processing, 2010

Deadlock-avoidance for streaming applications with split-join structure: Two case studies.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Application-specific Systems Architectures and Processors, 2010

2009

Scheduling and synchronization for multicore concurrency platforms.

[BibT_eX]

[DOI]

PhD thesis, 2009

The Worst Page-Replacement Policy.

[BibT_eX]

[DOI]

Michael A. Bender

Theory Comput. Syst., 2009

Mapping filtering streaming applications with communication costs.

[BibT_eX]

[DOI]

Proceedings of the SPAA 2009: Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2009

2008

Adaptive work-stealing with parallelism feedback.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2008

Safe open-nested transactions through ownership.

[BibT_eX]

[DOI]

Proceedings of the SPAA 2008: Proceedings of the 20th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2008

Safer open-nested transactions through ownership.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Nested parallelism in transactional memory.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Mapping Linear Workflows with Computation/Communication Overlap.

[BibT_eX]

[DOI]

Anne Benoit

Yves Robert

Proceedings of the 14th International Conference on Parallel and Distributed Systems, 2008

2007

Adaptive work stealing with parallelism feedback.

[BibT_eX]

[DOI]

Yuxiong He

Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007

Adaptive Scheduling with Parallelism Feedback.

[BibT_eX]

[DOI]

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

2006

An Empirical Evaluation ofWork Stealing with Parallelism Feedback.

[BibT_eX]

[DOI]

Yuxiong He

Proceedings of the 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 2006

Memory models for open-nested transactions.

[BibT_eX]

[DOI]