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 effects that update a database. Today on the show, Sankha Guria shares about his research in this area, introducing a new approach to type and effect-guided synthesis tools for Ruby.

In this episode…

What is program synthesis?
Lambda functions
Generating in Ruby
Assistive code generation
Benchmarking your code
Various tools
Co-pilot vs. pilot
Scratch software for kids
Applying program synthesis to web assemblies
How to use program synthesis to generates tests

A Novel Type and Effect-Guided Synthesis Tool for Ruby with Sankha Guria - RUBY 553

About this Episode

Hosts & Guests

More from Ruby Rogues

Autogenetic AI Agents and the Future of Ruby Development - RUBY 682

The New Era of Rails: Markdown, Offline Mode, and Smarter Dev Tools - RUBY 681

Keeping Ruby Welcoming: A Conversation We Need to Have - RUBY 680

Inside the RubyGems Controversy: Transparency, Trust, and the Future of Ruby Cen...