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

<div> <div>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.<br><br> </div><div>In this episode…<br><br> </div><ol> <li>What is program synthesis?</li> <li>Lambda functions</li> <li>Generating in Ruby</li> <li>Assistive code generation</li> <li>Benchmarking your code</li> <li>Various tools</li> <li>Co-pilot vs. pilot </li> <li>Scratch software for kids</li> <li>Applying program synthesis to web assemblies</li> <li>How to use program synthesis to generates tests</li> </ol><div><br></div><h1>Sponsors</h1><ul> <li><a href="https://topenddevs.com/" rel="nofollow">Top End Devs</a></li> <li><a href="https://raygun.com/platform/apm?utm_campaign=devchat&utm_content=apm&utm_medium=podcast&utm_source=rubyrogues" rel="nofollow">Raygun | Click here to get started on your free 14-day trial</a></li> <li><a href="https://topenddevs.com/coaching" rel="nofollow">Coaching | Top End Devs</a></li> </ul><div><br></div><h1>Links</h1><ul> <li><a href="http://sankha@cs.umd.edu/" rel="nofollow">UMD Department of Computer Science</a></li> <li><a href="https://sankhs.com/static/rbsyn-pldi21.pdf" rel="nofollow">RbSyn: Type- and Effect-Guided Program Synthesis</a></li> <li><a href="https://github.com/ngsankha/rbsyn" rel="nofollow">GitHub - ngsankha/rbsyn: Program synthesis for Ruby</a></li> <li><a href="https://gist.github.com/ngsankha/b4ae29075be40912cad86dba0e5933d8" rel="nofollow">ruby-rogues.md · GitHub </a></li> <li><a href="https://emina.github.io/rosette/" rel="nofollow">Rosette: About</a></li> <li><a href="https://twitter.com/ngsankha" rel="nofollow">Twitter: @ngsankha</a></li> <li><a href="https://sankhs.com/" rel="nofollow">Sankha Narayan Guria</a></li> <