Just-in-time learning for bottom-up enumerative synthesis

Shraddha Barke, Hila Peleg, Nadia Polikarpova. Just-in-time learning for bottom-up enumerative synthesis. Proceedings of the ACM on Programming Languages, 4(OOPSLA), 2020. [doi]

Authors

Shraddha Barke

This author has not been identified. Look up 'Shraddha Barke' in Google

Hila Peleg

This author has not been identified. Look up 'Hila Peleg' in Google

Nadia Polikarpova

This author has not been identified. Look up 'Nadia Polikarpova' in Google