pith. sign in

Aws Albarghouthi

Identifiers

  • name variant Aws Albarghouthi 0.60 · backfill

Papers (15)

  1. Linear-Time T-Gate Optimization via Random Abstraction cs.PL · 2026 · author #1
  2. U-Define: Designing User Workflows for Hard and Soft Constraints in LLM-Based Planning cs.AI · 2026 · author #3
  3. SlopCodeBench: Benchmarking How Coding Agents Degrade Over Long-Horizon Iterative Tasks cs.SE · 2026 · author #10
  4. LiveResearchBench: A Live Benchmark for User-Centric Deep Research in the Wild cs.AI · 2025 · author #8
  5. Managing Classical Processing Requirements for Quantum Error Correction quant-ph · 2024 · author #3
  6. A Static Analysis-based Cross-Architecture Performance Prediction Using Machine Learning cs.DC · 2019 · author #3
  7. Efficient Synthesis with Probabilistic Constraints cs.PL · 2019 · author #2
  8. Scaling-Up In-Memory Datalog Processing: Observations and Techniques cs.DB · 2018 · author #4
  9. Trace Abstraction Modulo Probability cs.PL · 2018 · author #3
  10. Neural-Augmented Static Analysis of Android Communication cs.PL · 2018 · author #2
  11. Constraint-Based Synthesis of Coupling Proofs cs.PL · 2018 · author #1
  12. Synthesizing Coupling Proofs of Differential Privacy cs.PL · 2017 · author #1
  13. Quantifying Program Bias cs.PL · 2017 · author #1
  14. Fairness as a Program Property cs.PL · 2016 · author #1
  15. Spatial Interpolants cs.LO · 2015 · author #1

Mentions

  • 2406.17995 #3 · arxiv_oai · confidence 0.70 Aws Albarghouthi

Frequent Coauthors