Adelynn Henry

S3, Amazon Web Services Inc.

Software Development Engineer I, 2021 - 2023

• Improved S3 storage layer performance through advanced, customer-specific load testing.
• Drove security enhancements and contributed to automated global deployments across S3 service teams.
• Fostered a culture of excellence by onboarding and mentoring new team members.
• Acted as Oncall Primary Resolver for S3 Index, swiftly resolving high-severity issues.

Automated Reasoning Group, Amazon Web Services Inc.

Associate Software Development Engineer, 2020

• Developed proofs of security for confidential cryptographic keys, integrated into AWS KMS's continuous integration pipeline.

Automated Reasoning Group, Amazon Web Services Inc.

Associate Software Development Engineer, 2019

• Utilized static program analysis to detect security vulnerabilities and identify plaintext passwords in enterprise codebases for the Application Security team.

Automated Reasoning Group, Amazon Web Services Inc.

Associate Software Development Engineer, 2018

• Conducted security vulnerability analysis on AWS services' network infrastructure, employing logic programs to mathematically prove security properties.

School of Computer Science, The University of Sydney

University Teaching Assistant, 2018 - 2019

• Assisted in teaching multiple university-level courses, including IT Capstone Project (COMP5703), Introduction to Programming (INFO1110), and Software Design Patterns (SOFT2201).

The Souffle Project, The University of Sydney

Open-Source Project Administrator, 2019 - 2021

• Leadership role on open-source project implementing a state-of-the-art computational logic engine.

The Souffle Project, The University of Sydney

Junior Research Assistant, 2016

• Conducted research in logic program evaluation.

Collezione Santina Haute Couture

Website Administrator, 2015

• Designed and implemented the website for a high-end fashion designer.

Master of Philosophy, Engineering and Information Technology

The University of Sydney, 2017 - 2021

• Developed a novel technique for distributed, high-performance execution of logic programs using asynchronous streams, published as a Master's thesis.

Bachelor of Liberal Arts and Science, Computer Science (Honors)

The University of Sydney, 2014 - 2016

• Conducted research on executing logic programs as a cloud service, published as an Honors thesis, which attracted interest from Amazon AWS.

Efficient Sink-Reachability Analysis via Graph Reduction

IEEE Transactions on Knowledge & Data Engineering, 2021

• Introduced a novel, scalable sink-reachability preserving graph reduction strategy, demonstrating high performance on large-scale, real-world benchmarks.

• SAPLING 2019 Sydney Area Programming Language Interest Group, 2019
• SAPLING 2017 Sydney Area Programming Language Interest Group, 2017

• Postgraduate Research Scholarship The University of Sydney, 2018 - 2020
• Summer Research Scholarship The University of Sydney, 2016 - 2017

• CC 2020 ACM SIGPLAN 2020 International Conference on Compiler Construction,
• LCTS 2018 19th Annual ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems,
• TASE 2018 12th International Symposium on Theoretical Aspects of Software Engineering,