3 papers
cs.AI2026
TriCEGAR: A Trace-Driven Abstraction Mechanism for Agentic AI
Roham Koohestani, AteÅ GörpelioÄlu, Egor Klimov +2
Agentic AI systems act through tools and evolve their behavior over long, stochastic interaction traces. This setting complicates assurance, because behavior depends on nondetermin…
cs.DC2025
Balancing Fairness and Performance in Multi-User Spark Workloads with Dynamic Scheduling (extended version)
DÄvis Kažemaks, Laurens Versluis, Burcu Kulahcioglu Ozkan +1
Apache Spark is a widely adopted framework for large-scale data processing. However, in industrial analytics environments, Spark's built-in schedulers, such as FIFO and fair schedu…
cs.SE2025
Model-guided Fuzzing of Distributed Systems
Ege Berkay Gulcan, Burcu Kulahcioglu Ozkan, Rupak Majumdar +1
We present a coverage-guided testing algorithm for distributed systems implementations. Our main innovation is the use of an abstract formal model of the system that is used to def…