Visitors

ML4Code: Learning to Represent, Optimize, and Understand Programs

Almost Sure Convergence Analysis of Stochastic First and Zeroth-Order Mirror Descent Algorithm: A Projected Dynamical Systems Viewpoint

Precision without Regret: Sound and Efficient Memory Optimization in Managed Runtimes

Learning Hierarchical Control via Feasible Subgoal Prediction

Advancing System Design: Classical and Quantum

Recent Investigations in the Intersection of ML and Edge Computing

Enabling the Next 1000× in AI: Co-Design from Materials to Systems

Architecture Security: The Good, the Bad, and the Ugly

Microarchitecture Mysteries in Datacenter Processors

Building language models that learn, remember and reason

Visual Discovery for Science

Democratic Foundations of Fair AI via Social Choice

AI in Regulated Worlds: How to Build Systems That Banks and Boards Can Trust

Trustworthy Graph Learning: Integrating Abstention in Static and Dynamic GNNs

Fair distribution of MEV in blockchains through Shapley Value

Improving the Quality of GPU-accelerated Software

Similarity Learning in Finance

Rethinking CS101 with Flowcharts in the age of AI

Challenges of Deploying AI at the Edge

Secure Vickrey Auctions with Rational Parties

Online and Dynamic Geometric Set Cover

Foundations of Distributed Trust and Blockchain Oracle Networks

Knowledge Base Question Answering in the Age of LLMs

Understanding the internals of the Linux network stack

Code Data Profiler - A Customizable Concept-Driven Data Analysis Tool For Multi-Lingual Code Data Sets

Secure Multi-party Computation: The holy grail of Cryptography

Concurrent and Parallel Programming with OCaml 5

Improving Memory Management in GPGPUs

Cryptography Meets Game Theory: A Match For Fair Exchange

Pushing the Limits of Hardware Prefetchers for Performance, Energy, Scalability, and Security; One Step at a Time