2 citations · 3 across the 8 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.NI2023★ 1 cited
Eywa: Automating Model Based Testing using LLMs
Rajdeep Mondal, Rathin Singha, Todd Millstein +3
Model-based testing (MBT), whereby a model of the system under test is analyzed to generate high-coverage test cases, has been used to test protocol implementations. A key barrier…
cs.NI2023★ 2 cited
Rethinking Machine Learning Collective Communication as a Multi-Commodity Flow Problem
Behnaz Arzani, Siva Kesava Reddy Kakarla, Miguel Castro +3
We show communication schedulers' recent work proposed for ML collectives does not scale to the increasing problem sizes that arise from training larger models. These works also of…