David J. Pearce

Mahin Chandramohan

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Verifying Whiley Programs with Boogie.

[BibT_eX]

[DOI]

Mark Utting

J. Autom. Reason., 2022

On the Termination of Borrow Checking in Featherweight Rust.

[BibT_eX]

[DOI]

Étienne Payet

Fausto Spoto

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

AtmoVis: Web Based Visualization of Air Quality Data with Interconnected Windows.

[BibT_eX]

[DOI]

Benjamin Thomas Powley

Craig Anslow

David James Pearce

Proceedings of the 10th Workshop on Visualisation in Environmental Sciences, 2022

2021

A Lightweight Formalism for Reference Lifetimes and Borrowing in Rust.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2021

2020

Editorial for GPCE&SLE2018 Special Issue.

[BibT_eX]

[DOI]

Ulrik Pagh Schultz

J. Comput. Lang., 2020

Putting the semantics into semantic versioning.

[BibT_eX]

[DOI]

Patrick Lam

Jens Dietrich

Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, 2020

2019

On declarative rewriting for sound and complete union, intersection and negation types.

[BibT_eX]

[DOI]

J. Comput. Lang., 2019

Dependency versioning in the wild.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Mining Software Repositories, 2019

2018

An Introduction to Software Verification with Whiley.

[BibT_eX]

[DOI]

Mark Utting

Proceedings of the Engineering Trustworthy Software Systems - 4th International School, 2018

Towards compilation of an imperative language for FPGAs.

[BibT_eX]

[DOI]

Baptiste Pauget

Alex Potanin

Proceedings of the 10th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2018

A Symmetry Metric for Graphs and Line Diagrams.

[BibT_eX]

[DOI]

Roman Klapaukh

Stuart Marshall

Proceedings of the Diagrammatic Representation and Inference, 2018

2017

Contracts in the Wild: A Study of Java Programs (Artifact).

[BibT_eX]

[DOI]

Dagstuhl Artifacts Ser., 2017

Array programming in Whiley.

[BibT_eX]

[DOI]

Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, 2017

Making Whiley Boogie!

[BibT_eX]

[DOI]

Mark Utting

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Rewriting for sound and complete union, intersection and negation types.

[BibT_eX]

[DOI]

Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017

Contracts in the Wild: A Study of Java Programs.

[BibT_eX]

[DOI]

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

A space-efficient algorithm for finding strongly connected components.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2016

A Mechanical Soundness Proof for Subtyping Over Recursive Types.

[BibT_eX]

[DOI]

Timothy Jones

Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016

2015

Designing a verifying compiler: Lessons learned from developing Whiley.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014).

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2015

The whiley rewrite language (WyRL).

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Comparing Graph Layouts for Vertex Selection Tasks.

[BibT_eX]

[DOI]

Roman Klapaukh

Stuart Marshall

Proceedings of the Annual Meeting of the Australian Special Interest Group for Computer Human Interaction, 2015

Some usability hypotheses for verification.

[BibT_eX]

[DOI]

Proceedings of the 6th Workshop on Evaluation and Usability of Programming Languages and Tools, 2015

Integer Range Analysis for Whiley on Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2015

2014

Towards a Vertex and Edge Label Aware Force Directed Layout Algorithm.

[BibT_eX]

[DOI]

Roman Klapaukh

Stuart Marshall

Proceedings of the Thirty-Seventh Australasian Computer Science Conference, 2014

2013

Sound and Complete Flow Typing with Unions, Intersections and Negations.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2013

Whiley: A Platform for Research in Software Verification.

[BibT_eX]

[DOI]

Proceedings of the Software Language Engineering - 6th International Conference, 2013

Reflections on Verifying Software with Whiley.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

A calculus for constraint-based flow typing.

[BibT_eX]

[DOI]

Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, 2013

OwnKit: Inferring Modularly Checkable Ownership Annotations for Java.

[BibT_eX]

[DOI]

Constantine Dymnikov

Alex Potanin

Proceedings of the 22nd Australian Conference on Software Engineering (ASWEC 2013), 2013

2012

Profiling Field Initialisation in Java.

[BibT_eX]

[DOI]

Stephen Nelson

Proceedings of the Runtime Verification, Third International Conference, 2012

Patterns as objects in grace.

[BibT_eX]

[DOI]

Proceedings of the 8th Symposium on Dynamic Languages, 2012

2011

Formalisation and implementation of an algorithm for bytecode verification of @NonNull types.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2011

Implementing a Language with Flow-Sensitive and Structural Typing on the JVM.

[BibT_eX]

[DOI]

Proceedings of the Sixth Workshop on Bytecode Semantics, 2011

JPure: A Modular Purity System for Java.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction - 20th International Conference, 2011

2010

Computing Tutte Polynomials.

[BibT_eX]

[DOI]

Gary Haggard

Gordon F. Royle

ACM Trans. Math. Softw., 2010

Edge-Selection Heuristics for Computing Tutte Polynomials.

[BibT_eX]

[DOI]

Gary Haggard

Gordon F. Royle

Chic. J. Theor. Comput. Sci., 2010

Understanding the Impact of Collection Contracts on Design.

[BibT_eX]

[DOI]

Stephen Nelson

Proceedings of the Objects, Models, Components, Patterns, 48th International Conference, 2010

10152 Executive Summary - Relationships, Objects, Roles, and Queries in Modern Languages.

[BibT_eX]

[DOI]

Proceedings of the Relationships, Objects, 2010

10152 Abstracts Collection - Relationships, Objects, Roles, and Queries in Modern Languages.

[BibT_eX]

[DOI]

Proceedings of the Relationships, Objects, 2010

A batch algorithm for maintaining a topological order.

[BibT_eX]

[DOI]

Proceedings of the Computer Science 2010, 2010

2008

Visualizing the computation tree of the Tutte Polynomial.

[BibT_eX]

[DOI]

Proceedings of the ACM 2008 Symposium on Software Visualization, 2008

Caching and incrementalisation in the java query language.

[BibT_eX]

[DOI]

Darren Willis

Proceedings of the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Relationships and associations in object-oriented languages.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2008

Java Bytecode Verification for @NonNull Types.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 17th International Conference, 2008

2007

Efficient field-sensitive pointer analysis of C.

[BibT_eX]

[DOI]

Chris Hankin

ACM Trans. Program. Lang. Syst., 2007

Profiling with AspectJ.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2007

Patterns of Aspect-Oriented Design.

[BibT_eX]

[DOI]

Proceedings of the 12th European Conference on Pattern Languages of Programs (EuroPLoP '2007), 2007

2006

A dynamic topological sort algorithm for directed acyclic graphs.

[BibT_eX]

[DOI]

ACM J. Exp. Algorithmics, 2006

Relationship Aspect Patterns.

[BibT_eX]

Proceedings of the EuroPLoP' 2006, 2006

Efficient Object Querying for Java.

[BibT_eX]

[DOI]

Darren Willis

Proceedings of the ECOOP 2006, 2006

Relationship aspects.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Aspect-Oriented Software Development, 2006

2005

Some directed graph algorithms and their application to pointer analysis.

[BibT_eX]

[DOI]

David James Pearce

PhD thesis, 2005

2004

Online Cycle Detection and Difference Propagation: Applications to Pointer Analysis.

[BibT_eX]

[DOI]

Chris Hankin

Softw. Qual. J., 2004

A Dynamic Algorithm for Topologically Sorting Directed Acyclic Graphs.

[BibT_eX]

[DOI]

Proceedings of the Experimental and Efficient Algorithms, Third International Workshop, 2004

Automating Optimized Table-with-Polynomial Function Evaluation for FPGAs.

[BibT_eX]

[DOI]

Proceedings of the Field Programmable Logic and Application, 2004

2003

Online Cycle Detection and Difference Propagation for Pointer Analysis.

[BibT_eX]

[DOI]