A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base

preview_player
Показать описание
This is a pre-recorded video of the paper that has been accepted at the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021). This paper also won the Research Competition award at ASE 2021.
  1. Ali Shokri
Рекомендации по теме
A Program Synthesis 0:15:48

A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base

Program Synthesis using 0:09:10

Program Synthesis using Examples

Using Program Synthesis 0:27:13

Using Program Synthesis to Build Compilers

Greybox Program Synthesis: 0:36:01

Greybox Program Synthesis: A New Approach to Attack Dataflow Obfuscation

Interpretable Program Synthesis 0:00:31

Interpretable Program Synthesis

[N40AI'24] Program Synthesis 0:39:08

[N40AI'24] Program Synthesis via Bi-directional Reduced-product Abstract Interpretation

[Midwest PL Summit] 0:10:47

[Midwest PL Summit] Learning Network Design Objectives Using A Program Synthesis Approach by Yan

[POPL'24] Optimal Program 0:20:04

[POPL'24] Optimal Program Synthesis via Abstract Interpretation

Ep. #4 - 1:14:19

Ep. #4 - Dr. Amir-Hossein Karimi: Research, Teaching, & Life | The Vox Intellectus Podcast

[HATRA] Program Synthesis 0:32:43

[HATRA] Program Synthesis Using Example Propagation

Krzysztof Krawiec: 'Learning 0:46:06

Krzysztof Krawiec: 'Learning To Code: AI In Program Synthesis And Improvement' - pozitivet...

Large Language Models 0:58:25

Large Language Models for Program Synthesis

APIfix: Output-Oriented Program 0:14:33

APIfix: Output-Oriented Program Synthesis for Combating Breaking Changes in Libraries

[PADL'23] Program Synthesis 0:26:03

[PADL'23] Program Synthesis Using Example Propagation

Toward Neural-Network-Guided Program 0:14:50

Toward Neural-Network-Guided Program Synthesis and Verification

Pragmatic Program Synthesis 1:16:04

Pragmatic Program Synthesis - Evan Pu

Towards Human-Like Program 0:28:36

Towards Human-Like Program Synthesis

Syntax-Guided Program Synthesis 2:03:26

Syntax-Guided Program Synthesis

Type-Directed Program Synthesis 0:19:46

Type-Directed Program Synthesis for RESTful APIs

Neural Program Synthesis 1:20:28

Neural Program Synthesis

Towards Program Synthesis 1:06:39

Towards Program Synthesis for Security

Three Minutes Video 0:02:59

Three Minutes Video on Write, Execute, Assess: Program Synthesis with a REPL

Interpretable Program Synthesis 0:05:05

Interpretable Program Synthesis

Neural Program Synthesis 1:20:28

Neural Program Synthesis