Transactional Stream Processing Engines (TSPEs) form the backbone of modern stream applications handling shared mutable states.
Databases Distributed, Parallel, and Cluster Computing
By 2028 most cybersecurity actions will be autonomous, with humans teleoperating.
Cryptography and Security
We introduce Stream-K, a work-centric parallelization of matrix multiplication (GEMM) and related computations in dense linear algebra.
Data Structures and Algorithms Distributed, Parallel, and Cluster Computing
We evaluate our data-driven approach DAT to optimize the edit-scripts generated by the state-of-the-art AST differencing algorithm named GumTree in different scenarios.
Software Engineering
LLM-based multi-agent systems (MAS) have shown promise in tackling complex tasks.
Multiagent Systems
Automatically repairing software issues remains a fundamental challenge at the intersection of software engineering and AI.
Software Engineering
Code auditing is the process of reviewing code with the aim of identifying bugs.
Software Engineering Programming Languages 68N30, 68T01 D.3.0; D.2.4; I.2.5; I.2.6
Attacks like Spectre abuse speculative execution, one of the key performance optimizations of modern CPUs.
Cryptography and Security
High-Level Synthesis (HLS) enables rapid prototyping of complex hardware designs by translating C or C++ code to low-level RTL code.
Performance Hardware Architecture
Recent advancements in parallel simulation and successful robotic applications are spurring a resurgence in sampling-based model predictive control.
Robotics Systems and Control Systems and Control
