pith. sign in

Alex Aiken

Identifiers

  • name variant Alex Aiken 0.60 · backfill

Papers (32)

  1. Rewrite System Showdown: Stochastic Search vs. EqSat cs.PL · 2026 · author #4
  2. On the Duality of Task and Actor Programming Models cs.PL · 2025 · author #5
  3. Task-Based Programming for Adaptive Mesh Refinement in Compressible Flow Simulations cs.DC · 2025 · author #6
  4. Automatic Verification of Floating-Point Accumulation Networks math.NA · 2025 · author #2
  5. VeriCoder: Enhancing LLM-Based RTL Code Generation through Functional Correctness Validation cs.AR · 2025 · author #8
  6. Task-Based Tensor Computations on Modern GPUs cs.PL · 2025 · author #3
  7. CodeARC: Benchmarking Reasoning Capabilities of LLM Agents for Inductive Program Synthesis cs.PL · 2025 · author #9
  8. Improving Parallel Program Performance with LLM Optimizers via Agent-System Interfaces cs.LG · 2024 · author #7
  9. HiCCL: A Hierarchical Collective Communication Library cs.DC · 2024 · author #7
  10. Automatic Tracing in Task-Based Runtime Systems cs.DC · 2024 · author #5
  11. Composing Distributed Computations Through Task and Kernel Fusion cs.DC · 2024 · author #6
  12. Efficient Fault Tolerance for Pipelined Query Engines via Write-ahead Lineage cs.DC · 2024 · author #2
  13. Putting People in Their Place: Affordance-Aware Human Insertion into Scenes cs.CV · 2023 · author #3
  14. Training with Mixed-Precision Floating-Point Assignments cs.LG · 2023 · author #3
  15. On the Correctness of Automatic Differentiation for Neural Networks with Machine-Representable Parameters cs.LG · 2023 · author #3
  16. SpDISTAL: Compiling Distributed Sparse Tensor Computations cs.DC · 2022 · author #2
  17. Programmatic Concept Learning for Human Motion Description and Synthesis cs.CV · 2022 · author #3
  18. Optimizing Mixture of Experts using Dynamic Recompilations cs.LG · 2022 · author #3
  19. Quartz: Superoptimization of Quantum Circuits (Extended Version) cs.PL · 2022 · author #9
  20. DISTAL: The Distributed Tensor Algebra Compiler cs.PL · 2022 · author #2
  21. Inferring Invariants with Quantifier Alternations: Taming the Search Space Explosion cs.PL · 2021 · author #4
  22. Quanto: Optimizing Quantum Circuits with Automatic Generation of Circuit Identities quant-ph · 2021 · author #7
  23. Hierarchical Motion Understanding via Motion Programs cs.CV · 2021 · author #3
  24. Task Bench: A Parameterized Benchmark for Evaluating Parallel Runtime Performance cs.DC · 2019 · author #15
  25. SPoC: Search-based Pseudocode to Code cs.LG · 2019 · author #6
  26. Redundancy-Free Computation Graphs for Graph Neural Networks cs.LG · 2019 · author #6
  27. Beyond Data and Model Parallelism for Deep Neural Networks cs.DC · 2018 · author #3
  28. Exploring Hidden Dimensions in Parallelizing Convolutional Neural Networks cs.LG · 2018 · author #4
  29. Eventually Sound Points-To Analysis with Missing Code cs.PL · 2017 · author #5
  30. Active Learning of Points-To Specifications cs.PL · 2017 · author #3
  31. Synthesizing Program Input Grammars cs.PL · 2016 · author #3
  32. Stochastic Superoptimization cs.PF · 2012 · author #3

Mentions

  • 2504.15659 #8 · arxiv_oai · confidence 0.70 Alex Aiken
  • 2508.16522 #5 · arxiv_oai · confidence 0.70 Alex Aiken
  • 2503.23145 #9 · arxiv_oai · confidence 0.70 Alex Aiken
  • 2508.05020 #6 · arxiv_oai · confidence 0.70 Alex Aiken
  • 2410.15625 #7 · arxiv_oai · confidence 0.70 Alex Aiken
  • 2505.18791 #2 · arxiv_oai · confidence 0.70 Alex Aiken
  • 2504.07004 #3 · arxiv_oai · confidence 0.70 Alex Aiken
  • 2406.18111 #5 · arxiv_oai · confidence 0.70 Alex Aiken
  • 2406.18109 #6 · arxiv_oai · confidence 0.70 Alex Aiken
  • 2408.05962 #7 · arxiv_oai · confidence 0.70 Alex Aiken
  • 2403.08062 #2 · arxiv_oai · confidence 0.70 Alex Aiken
  • 2301.13464 #3 · arxiv_oai · confidence 0.70 Alex Aiken
  • 2301.13370 #3 · arxiv_oai · confidence 0.70 Alex Aiken
  • 2304.14406 #3 · arxiv_oai · confidence 0.70 Alex Aiken
  • 2205.01848 #3 · arxiv_oai · confidence 0.70 Alex Aiken
  • 2207.13901 #2 · arxiv_oai · confidence 0.70 Alex Aiken
  • 2206.13502 #3 · arxiv_oai · confidence 0.70 Alex Aiken
  • 2204.09033 #9 · arxiv_oai · confidence 0.70 Alex Aiken
  • 2203.08069 #2 · arxiv_oai · confidence 0.70 Alex Aiken
  • 2112.05304 #4 · arxiv_oai · confidence 0.70 Alex Aiken
  • 2111.11387 #7 · arxiv_oai · confidence 0.70 Alex Aiken
  • 2104.11216 #3 · arxiv_oai · confidence 0.70 Alex Aiken
  • 1908.05790 #15 · arxiv_oai · confidence 0.70 Alex Aiken
  • 1906.04908 #6 · arxiv_oai · confidence 0.70 Alex Aiken
  • 1906.03707 #6 · arxiv_oai · confidence 0.70 Alex Aiken
  • 1807.05358 #3 · arxiv_oai · confidence 0.70 Alex Aiken
  • 1802.04924 #4 · arxiv_oai · confidence 0.70 Alex Aiken
  • 1711.03239 #3 · arxiv_oai · confidence 0.70 Alex Aiken
  • 1711.03436 #5 · arxiv_oai · confidence 0.70 Alex Aiken
  • 1608.01723 #3 · arxiv_oai · confidence 0.70 Alex Aiken
  • 1211.0557 #3 · arxiv_oai · confidence 0.70 Alex Aiken
  • 1211.0557 #3 · backfill · confidence 0.70 Alex Aiken
  • 2605.19005 #4 · arxiv_oai · confidence 0.70 Alex Aiken

Frequent Coauthors