====== Ongoing and Future Projects ======
<accordion>
<panel type="default" title="Algebraic With-Loop-Folding [AWLF]">
{{page>projects:awlf&inline}}
</panel>

<panel type="default" title="Algebraic With-Loop-Folding of non-WL[AWLF]">
{{page>projects:awlfnwl&inline}}
</panel>

<panel type="default" title="An Eclipse plug-in for SaC">
{{page>projects:eclipse&inline}}
</panel>

<panel type="default" title="MT CUDA Integration">
{{page>projects:mtcuda&inline}}
</panel>

<panel type="default" title="N-bit Integer Support for Improved Concurrency">
{{page>projects:nbitinteger&inline}}
</panel>

<panel type="default" title="Optimising the optimisation cycle">
{{page>projects:optimise&inline}}
</panel>

<panel type="default" title="User-Defined Hybrid Type Systems with Subtyping on Data-Indexed Type Families">
{{page>projects:subtyping&inline}}
</panel>

<panel type="default" title="Visualising Array Programming by Spreadsheets">
{{page>projects:visualiser&inline}}
</panel>


====== Completed Projects ======

<panel type="default" title="Alternative Storage Layouts for Improved Vectorisation">
{{page>projects:layouts&inline}}
</panel>

<panel type="default" title="A Universal Benchmarking Tool">
{{page>projects:unibench&inline}}
</panel>

<panel type="default" title="Concurrent Dynamic Compilation Based on Statistical Data">
{{page>projects:dynspec&inline}}
</panel>

<panel type="default" title="High-Performance Distributed Computing on Graphics Processors Using Nvidia's CUDA">
{{page>projects:cuda&inline}}
</panel>

<panel type="default" title="Introducing Controlled Forms of Non-Determinism -- Side-Effects within With-Loops">
{{page>projects:nondeterminism&inline}}
</panel>

<panel type="default" title="MT for LPEL">
{{page>projects:mtlpel&inline}}
</panel>


</accordion>