CryoLauncher Resources#

CryoLauncher Resources

A launchpad for the CryoLauncher documentation, supported models, execution environments, containers, datasets, source code, and support.

Documentation#

Guide

Getting Started

Configure and run your first ice-sheet simulation, then inspect the structured results.

Open Getting Started →
Reference

User Manual

The full operational guide: Basic, Advanced, and Auto-config · Beta, My Workspace, datasets, Remote and Cloud execution, runs, results, visualization, and downloads.

Open User Manual →
Platform

CryoStack Documentation

How CryoLauncher fits into the wider CryoStack platform.

Open Documentation →

Supported models#

Ice-Sheet Model

ISSM Supported

The Ice-sheet and Sea-level System Model — Remote and Cloud, with solver-aware Basic configuration, structured results, and Solution / Field / Timestep visualization. Needs a MATLAB license.

Ice-Sheet Model

Icepack Supported

A Python library built on Firedrake — Remote and Cloud, with Basic-mode ice temperature and timestep count, structured results, and field maps of the final state. No MATLAB license needed.

Examples#

Application Examples

ISSM examples

CryoLauncher discovers the examples installed with ISSM. Application examples are read-only; SquareIceShelf is the recommended first run. Clone any example into My Workspace to edit it.

How examples work →
Model Suite

ISSM example suite

The upstream ISSM tutorials and example models that the installed examples are drawn from.

ISSM tutorials →

Execution environments#

Execution Mode

Remote Supported

Run on a Linux server or HPC cluster you have access to, through the CryoStack Connector (recommended) or direct SSH, with Slurm settings for scheduler-managed systems.

Execution guide →
Access

Configure HPC access

Connect with your own HPC username, allocation, remote directory, and a CryoStack-generated SSH key scoped to your identity. Trust model, Connector setup, key registration, VPN/MFA, and troubleshooting.

Access guide →
Download

CryoStack Connector

The desktop app that carries CryoStack's SSH through your workstation's network access. Available platforms are those listed in the download manifest.

Connector setup → All downloads →
Execution Mode

Cloud Supported

AWS Batch on your own AWS account. ISSM and Icepack are validated on Fargate (default) and EC2 On-Demand (single node, CPU); EC2 Spot and custom networking are available but not yet validated; GPU and multi-node are guarded.

Cloud guide → Platform Cloud Run Guide →
Scheduler

Slurm

Reference for the account, partition, node, task, memory, and wall-time settings CryoLauncher exposes for scheduler-managed resources.

Slurm documentation →
Georgia Tech HPC

PACE

Georgia Tech research computing and HPC services.

Visit PACE →

Reproducible software environments#

Containers

Tested container images

CryoLauncher's Docker / OCI path uses a curated tested image whose full software stack is validated and pinned by verified digest, so a run's environment is reproducible.

ICESEE-Containers →
Package Management

ICESEE-Spack

Spack-managed software environments for the ICESEE-Spack execution backend, with a first-time onboarding check and prepare workflow.

ICESEE-Spack →
Containers

Apptainer

Container technology commonly used on institutional HPC systems.

Visit Apptainer →
Finite Elements

Firedrake

The automated finite-element system that Icepack is built on.

Visit Firedrake →

Data and results#

My Workspace

Datasets

Upload reusable input files to your personal dataset area, reference them from user examples, and let CryoLauncher stage them with the run.

Dataset guide →
Results

Structured result format

What a completed ISSM run produces: metadata.json, mesh, per-field data, the final model, and figures — discovered rather than assumed.

Result format →
Visualization

Solution / Field / Timestep

How the field-visualization panel discovers solutions and fields, handles transient timesteps, and renders nodal, elemental, and scalar results deterministically.

Visualization guide →

Source code and project#

Source Code

CryoStack repository

The gateway, application layer, connector, and deployment source.

View repository →
Organization

ICESEE project

The umbrella organization for ICESEE, CryoStack, containers, and Spack environments.

View organization →
Data Assimilation

ICESEE

Ensemble state estimation and parameter inference with supported ice-sheet models.

Open ICESEE →
Citation

Citing CryoStack

How to cite CryoStack together with the models, datasets, and publications used in your work.

Citation guidance →

Video tutorials#

Follow complete CryoLauncher workflows from model configuration through execution and results.

AWS Cloud

Icepack · Cloud

Configure and run an Icepack workflow on AWS Cloud, including preparation of the CryoStack AWS environment.

Watch tutorial →
AWS Cloud

ISSM · Cloud

Configure and run ISSM using a prepared CryoStack AWS environment. New to CryoStack Cloud? Start with the Icepack · Cloud tutorial to see how the AWS environment is prepared.

Watch tutorial →
Remote Computing

ISSM · Remote

Configure and run ISSM using an existing Remote computing resource through CryoLauncher.

Watch tutorial →

For the step-by-step reference behind each workflow, see the Getting Started guide and the User Manual.

Support#

Use the CryoStack issue tracker for application bugs, connector and remote-execution problems, documentation issues, and feature requests.

Questions about ISSM, Icepack, Firedrake, or PETSc themselves should go to that project’s own documentation and support channels.