Publications Database

Title Authored by Parent Document Year Location
Towards a Vertex and Edge Label Aware Force Directed Layout Algorithm Roman Aleksandrovich Klapaukh, Dr David James Pearce, Dr Stuart Richard Marshall Proceedings of the Australasian Computer Science Conference (ACSC) 2014
A Calculus for Constraint-Based Flow Typing Dr David James Pearce Workshop on Behavioural Types 2013
Balloon Types for Safe Parallelisation over Arbitrary Object Graphs Dr Marco Servetto, Dr David James Pearce, A/Prof Lindsay John Groves, Dr Alex Potanin Workshop on Determinism and Correctness in Parallel Programming 2013
Sound and Complete Flow Typing with Unions, Intersections and Negations, In Proceedings of the Conference on Verification, Model Checking, and Abstract Interpretation Dr David James Pearce Lecture Notes in Computer Science 2013
OwnKit: Inferring Modularly Checkable Ownership Annotations for Java. Konstantin Alexandrovich Dymnikov, Dr David James Pearce, Dr Alex Potanin Proceedings of the Australian Software Engineering Conference (ASWEC) 2013
Profiling Object Initialization for Java, In Proceedings of the Conference on Runtime Verification Dr David James Pearce, Prof Robert James Noble Lecture Notes in Computer Science 2012
Patterns as Objects in Grace Michael William Homer, Prof Robert James Noble, Kim Bruce, Andrew P Black, Dr David James Pearce In Proceedings of the Dynamic Languages Symposium 2012
Implementing a language with Flow-Sensitive and Structural Typing on JVM Dr David James Pearce, Prof Robert James Noble Electronic Notes in Theoretical Computer Science 2011
Implementing a Language with Flow-Sensitive and Structural Typing on JVM Dr David James Pearce, Prof James Noble In Proceedings of the Workshop on Bytecode Semantics, Verification, Analysis and Transformation 2011
JPure: a Modular Purity System for Java Dr David James Pearce Compiler Construction - 20th International Conference (CC 2011) 2011

Next Next result Last Last result

Total results: 50

Key:
View in Digital Repository Download from the Victoria University digital repository