Ruby Rogues
A Novel Type and Effect-Guided Synthesis Tool for Ruby with Sankha Guria - RUBY 553
In recent years, researchers have explored component-based synthesis, which aims to automatically construct programs that operate by composing calls to existing APIs. However, prior work has not considered efficient synthesis of methods with side effe