Dave Cunningham

Learn More
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about programs. We formalise Universe Types for a core subset of Java in two steps: We first define a Topological Type System that structures the object store hierarchically into an(More)
We will demonstrate the maturity of the X10 programming language by implementing such a real-time ray tracer using a pile of low spec GPGPU laptops and a Gigabit Ethernet switch. Ray tracing is a rendering technique that can better simulate complex lighting situations such as reflections and refractions. It is typically too computationally expensive for(More)
  • 1