Static Call Graph Construction in AWS Lambda Serverless Applications. - Matthew Obetz; Stacy Patterson; Ana L. Milanova (HotCloud, 2019)

Formalizing Event-Driven Behavior of Serverless Applications. - Matthew Obetz; Stacy Patterson; Ana L. Milanova (CoRR, 2019)

Formalizing Event-Driven Behavior of Serverless Applications. - Matthew Obetz; Anirban Das; Timothy Castiglia; Stacy Patterson; Ana L. Milanova (ESOCC, 2020)