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

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

0 Umsagnir
0
Episode
580 of 745
Lengd
56Mín.
Tungumál
enska
Gerð
Flokkur
Viðskiptabækur

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…

1. What is program synthesis? 2. Lambda functions 3. Generating in Ruby 4. Assistive code generation 5. Benchmarking your code 6. Various tools 7. Co-pilot vs. pilot 8. Scratch software for kids 9. Applying program synthesis to web assemblies 10. How to use program synthesis to generates tests

SponsorsTop End DevsRaygun | Click here to get started on your free 14-day trialCoaching | Top End Devs LinksUMD Department of Computer ScienceRbSyn: Type- and Effect-Guided Program SynthesisGitHub - ngsankha/rbsyn: Program synthesis for Rubyruby-rogues.md · GitHub Rosette: AboutTwitter: @ngsankhaSankha Narayan Guria Picks • Luke- A better zip bomb • Luke- Shawn Hymel – Tiny ML • Sankha- Scythe • Valentino - Stripe

Advertising Inquiries: https://redcircle.com/brands

Privacy & Opt-Out: https://redcircle.com/privacy

Become a supporter of this podcast: https://www.spreaker.com/podcast/ruby-rogues--6102073/support.


Hlustaðu og lestu

Stígðu inn í heim af óteljandi sögum

  • Lestu og hlustaðu eins mikið og þú vilt
  • Þúsundir titla
  • Getur sagt upp hvenær sem er
  • Engin skuldbinding
Prófa frítt
is Device Banner Block 894x1036
Cover for A Novel Type and Effect-Guided Synthesis Tool for Ruby with Sankha Guria - RUBY 553

Other podcasts you might like ...