• Sign in
  • Sign up
conf.researchr.org / Jacob R. Lorch
  • PLDI 2020 profile
  • SPLASH 2021 profile

Registered user since Tue 3 Mar 2020

Name:Jacob R. Lorch
Affiliation:Microsoft Research, n.n.

Contributions

SPLASH 2021 Author of Armada: Low-Effort Verification of High-Performance Concurrent Programs within the SIGPLAN Papers-track
PLDI 2020 Author of Armada: Low-Effort Verification of High-Performance Concurrent Programs within the PLDI Research Papers-track

Share
xThu 18 Aug 22:16
using conf.researchr.org (v1.56.0)
Support page
Sign Up