From the 5 of 280 papers with an AI index.
37 citations
- Rice UniversityUS80 papers
- Texas A&M UniversityUS77 papers
- Tsinghua UniversityCN77 papers
- University of Illinois ChicagoUS77 papers
- Eötvös Loránd UniversityHU75 papers
- The Ohio State UniversityUS75 papers
- University of Wisconsin–MadisonUS75 papers
- Sejong UniversityKR74 papers
- University of Science and Technology of ChinaCN74 papers
- Warsaw University of TechnologyPL74 papers
- Panjab UniversityIN73 papers
- Rutgers, The State University of New JerseyUS73 papers
3 papers · 1 filter
Conflict Extraction in Probabilistic Datalog Analyses
Siyu Chen, Chungha Sung, Xuyang Li +1
Probabilistic extensions of Datalog enable static analyses such as pointer analysis, data race detection, and side-channel analysis to rank alarms by likelihood, but this added exp…
Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
Charitha Saumya, Muhammad Hassan, Rohan Gangaraju +2
Dynamic Symbolic Execution (DSE) suffers from the path explosion problem when the target program has many conditional branches. The classical approach for managing the path explosi…
SpecOps: A Fully Automated AI Agent Testing Framework in Real-World GUI Environments
Syed Yusuf Ahmed, Shiwei Feng, Chanwoo Bae +1
Autonomous AI agents powered by large language models (LLMs) are increasingly deployed in real-world applications, where reliable and robust behavior is critical. However, existing…