Patrick Maier

J. Funct. Program., 2016

JIT-Based Cost Analysis for Dynamic Program Transformations.

[BibT_eX]

[DOI]

John Magnus Morton

Proceedings of the Resource Aware Computing, 2016

HPC-GAP: engineering a 21st-century high-performance computer algebra system.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2016

JIT costing adaptive skeletons for performance portability.

[BibT_eX]

[DOI]

John Magnus Morton

Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016

Why So Many?: A Brief Tour of Haskell DSLs for Parallel Programming.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Real World Domain Specific Languages, 2016

2014

Reliable scalable symbolic computation: The design of SymGridPar2.

[BibT_eX]

[DOI]

Philip W. Trinder

Comput. Lang. Syst. Struct., 2014

The HdpH DSLs for scalable reliable computation.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, 2014

High-Performance Computer Algebra: A Hecke Algebra Case Study.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2014 Parallel Processing, 2014

2012

Supervised Workpools for Reliable Massively Parallel Computing.

[BibT_eX]

[DOI]

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

2011

Implementing a High-Level Distributed-Memory Parallel Haskell in Haskell.

[BibT_eX]

[DOI]

Philip W. Trinder

Proceedings of the Implementation and Application of Functional Languages, 2011

2010

Seq no more: better strategies for parallel Haskell.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, 2010

2009

Deciding Extensions of the Theories of Vectors and Bags.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2009

Inductive Reasoning for Shape Invariants.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on First-Order Theorem Proving, 2009

2007

Monitoring External Resources in Java MIDP.

[BibT_eX]

[DOI]

David Aspinall

Ian Stark

Proceedings of the First International Workshop on Run Time Enforcement for Mobile and Distributed Systems, 2007

Safety Guarantees from Explicit Resource Management.

[BibT_eX]

[DOI]

David Aspinall

Ian Stark

Proceedings of the Formal Methods for Components and Objects, 6th International Symposium, 2007

2005

Description Logics for Shape Analysis.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Model-Checking of Specifications Integrating Processes, Data and Time.

[BibT_eX]

[DOI]

Jochen Hoenicke

Proceedings of the FM 2005: Formal Methods, 2005

Towards Using Description Logics for Symbolic Shape Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

Bounded Model Checking of Pointer Programs.

[BibT_eX]

[DOI]

Witold Charatonik

Proceedings of the Computer Science Logic, 19th International Workshop, 2005

2004

Intuitionistic LTL and a New Characterization of Safety and Liveness.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003

A lattice-theoretic framework for circular assume-guarantee reasoning.

[BibT_eX]

[DOI]

PhD thesis, 2003

Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2003

2001

A Set-Theoretic Framework for Assume-Guarantee Reasoning.

[BibT_eX]

[DOI]