Faustyna Krawiec -

Registered user since Sun 16 Jan 2022

Name:Faustyna Krawiec

Country:United Kingdom

Affiliation:University of Cambridge

Personal website: https://www.cst.cam.ac.uk/people/fmk31

Research interests:Automatic Differentiation, Programming Languages, Machine Learning

Contributions

2023

LAFI

Committee Member in Program Committee within the LAFI 2023-track

2022

PLDI

Author of (POPL 2022) Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation within the SIGPLAN Track-track

POPL

Author of Provably Correct, Asymptotically Efficient, Higher-Order Reverse-Mode Automatic Differentiation within the POPL-track