Mary Southern

According to our database, Mary Southern authored at least 12 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

A Logic for Formalizing Properties of LF Specifications.

Gopalan Nadathur, Mary Southern

Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022

2021

On Encoding LF in a Predicate Logic over Simply-Typed Lambda Terms.

Gopalan Nadathur, Mary Southern

CoRR, 2021

Adelfa: A System for Reasoning about LF Specifications.

Mary Southern, Gopalan Nadathur

Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2021

A Logic for Reasoning About LF Specifications.

Gopalan Nadathur, Mary Southern

CoRR, 2021

A Framework for Reasoning About LF Specifications.

Mary Southern

CoRR, 2021

2018

Towards a Logic for Reasoning About LF Specifications.

Mary Southern, Gopalan Nadathur

CoRR, 2018

2016

Frankencode: Creating Diverse Programs Using Code Clones.

Hayley Borck, Mark S. Boddy, Ian J. De Silva, Steven A. Harp, Ken Hoyme, Steven Johnston, August Schwerdfeger, Mary Southern

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Exploiting Time Series Data for Task Prediction and Diagnosis in an Intelligent Guidance System.

Hayley Borck, Steven Johnston, Mary Southern, Mark S. Boddy

Proceedings of the Workshops Proceedings for the Twenty-fourth International Conference on Case-Based Reasoning (ICCBR 2016), Atlanta, Georgia, USA, October 31, 2016

2014

A Lambda Prolog Based Animation of Twelf Specifications.

Mary Southern, Gopalan Nadathur

CoRR, 2014

A Two-Level Logic Approach to Reasoning About Typed Specification Languages.

Mary Southern, Kaustuv Chaudhuri

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

2013

Translating Specifications in a Dependently Typed Lambda Calculus into a Predicate Logic Form.

Mary Southern, Gopalan Nadathur

CoRR, 2013

Dynamic information transfer and sharing model in agent based evacuation simulations.

Masaru Okaya, Mary Southern, Tomoichi Takahashi

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013