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 functionsGenerating in RubyAssistive code generationBenchmarking your codeVarious toolsCo-pilot vs. pilot Scratch software for kidsApplying program synthesis to web assembliesHow to use program synthesis to generates testsSponsorsTop End DevsRaygun | Click here to get started on your free 14-day trialCoaching | Top End DevsLinksUMD Department of Computer ScienceRbSyn: Type- and Effect-Guided Program SynthesisGitHub - ngsankha/rbsyn: Program synthesis for Rubyruby-rogues.md · GitHub Rosette: AboutTwitter: @ngsankhaSankha Narayan GuriaPicksLuke- A better zip bombLuke- Shawn Hymel – Tiny MLSankha- ScytheValentino - StripeAdvertising Inquiries: https://redcircle.com/brandsPrivacy & Opt-Out: https://redcircle.com/privacyBecome a supporter of this podcast: https://www.spreaker.com/podcast/ruby-rogues--6102073/support.