Splash is going well. Deep learning has really invaded the programming space this year.

Neural surrogates for programs
https://dl.acm.org/doi/10.1145/3486607.3486748

Toward Neural-Network-Guided Program Synthesis and Verification
https://arxiv.org/abs/2103.09414

Scalable and Modular Robustness Analysis of Deep Neural Networks
https://arxiv.org/abs/2108.11651

Natural language guided programming
https://arxiv.org/abs/2108.05198