Announcement_18

November 19, 2023

Our paper “API-driven Program Synthesis for Testing Static Typing Implementations” has been accepted at POPL’24.

Enjoy Reading This Article?

Here are some more articles you might like to read next:

a post with bibliography

a post with jupyter notebook

a post with custom blockquotes

a post with table of contents on a sidebar

a post with audios