Dashboard
Podcasts
Screencasts
Courses
Coaching
Calendar
Search
View notifications
Open user menu
Sign In
Open main menu
Dashboard
Podcasts
Screencasts
Courses
Coaching
Calendar
View notifications
Sign In
A Novel Type and Effect-Guided Synthesis Tool for Ruby with Sankha Guria - RUBY 553
Ruby Rogues
Our original panel podcast, Ruby Rogues is a weekly discussion around Ruby, Rails, software development, and the community around Ruby.
Subscribe
RSS
Apple
Amazon
Spotify
Follow
Facebook
Twitter
Instagram
LinkedIn
YouTube
A Novel Type and Effect-Guided Synthesis Tool for Ruby with Sankha Guria - RUBY 553
Powered by
RedCircle
Guests :
Sankha Narayan Guria
Hosts :
Valentino Stoll
Luke Stutters
Published :
Jul 06, 2022
Duration :
56 Minutes
Show Notes
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
Sponsors
Top End Devs
Raygun | Click here to get started on your free 14-day trial
Coaching | Top End Devs
Links
UMD Department of Computer Science
RbSyn: Type- and Effect-Guided Program Synthesis
GitHub - ngsankha/rbsyn: Program synthesis for Ruby
ruby-rogues.md · GitHub
Rosette: About
Twitter: @ngsankha
Sankha Narayan Guria
Picks
Luke-
A better zip bomb
Luke-
Shawn Hymel – Tiny ML
Sankha-
Scythe
Valentino -
Stripe
Stay Current on Ruby and Rails
and Support the Podcast
Get ad-free episodes of Ruby Rogues
and join our monthly podcast planning calls
Support the Podcast
Please enable JavaScript to view the
comments powered by Disqus.