research
∙
02/25/2023
Absynthe: Abstract Interpretation-Guided Synthesis
Synthesis tools have seen significant success in recent times. However, ...
share
research
∙
03/22/2022
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification
Non-interference is a popular way to enforce confidentiality of sensitiv...
research
∙
02/25/2021
RbSyn: Type- and Effect-Guided Program Synthesis
In recent years, researchers have explored component-based synthesis, wh...
research
∙
04/06/2019