Alexander Schlecht

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Knowledge Transfer

Linear Complexity

Top Venues

Proc. ACM Program. Lang.

Publications

Baijun Wu, John Peter Campora III, Yi He, Alexander Schlecht, Sheng Chen
Generating precise error specifications for C: a zero shot learning approach. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)