Mary Southern

13 papers A 2B 1C 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2025 B conf
Modeling the AWS Authorization Engine.
FMCAD
Lee A. Barnett, Loris D'Antoni, Amit Goel, Rami Gökhan Kici, Neha Rungta, Mary Southern, Chungha Sung
2022 C conf
A Logic for Formalizing Properties of LF Specifications.
PPDP
Gopalan Nadathur, Mary Southern
2021 J jnl
A Framework for Reasoning About LF Specifications.
CoRR
Mary Southern
2021 J jnl
A Logic for Reasoning About LF Specifications.
CoRR
Gopalan Nadathur, Mary Southern
2021 — conf
Adelfa: A System for Reasoning about LF Specifications.
LFMTP
Mary Southern, Gopalan Nadathur
2021 J jnl
On Encoding LF in a Predicate Logic over Simply-Typed Lambda Terms.
CoRR
Gopalan Nadathur, Mary Southern
2018 J jnl
Towards a Logic for Reasoning About LF Specifications.
CoRR
Mary Southern, Gopalan Nadathur
2016 — conf
Exploiting Time Series Data for Task Prediction and Diagnosis in an Intelligent Guidance System.
ICCBR Workshops
Hayley Borck, Steven Johnston, Mary Southern, Mark S. Boddy
2016 A conf
Frankencode: Creating Diverse Programs Using Code Clones.
SANER
Hayley Borck, Mark S. Boddy, Ian J. De Silva, Steven A. Harp, Ken Hoyme, Steven Johnston, August Schwerdfeger, Mary Southern
2014 J jnl
A Lambda Prolog Based Animation of Twelf Specifications.
CoRR
Mary Southern, Gopalan Nadathur
2014 — conf
A Two-Level Logic Approach to Reasoning About Typed Specification Languages.
FSTTCS
Mary Southern, Kaustuv Chaudhuri
2013 A conf
Dynamic information transfer and sharing model in agent based evacuation simulations.
AAMAS
Masaru Okaya, Mary Southern, Tomoichi Takahashi
2013 J jnl
Translating Specifications in a Dependently Typed Lambda Calculus into a Predicate Logic Form.
CoRR
Mary Southern, Gopalan Nadathur