PROPL 2024
| title | author | length |
|---|---|---|
| Setting the stage for AI for biodiversity | Drew Purves | 48m |
Global demand for finer, actionable biodiversity data drives use of scaled deep learning to collect (camera traps, eDNA, bioacoustics), integrate (GBIF >2… | ||
| Building Open Source Software for Climate Change Research — Lessons Learned fro... | Lisa Rennels | 42m |
Mimi.jl is an embedded DSL in Julia that modularizes integrated assessment models and is actively used to produce social cost estimates used in EPA analyses… | ||
| The programming challenges of climate data analysis | Ezequiel Cimadevilla | 12m |
[PROPL'24] The programming challenges of climate data analysis
Ezequiel Cimadevilla
The ongoing evolution of the climate system and assessment of climate… | ||
| Categorical Composition of Discrete Exterior Calculus Climate Models | Luke Morris, George Rauta, James Fairbanks | 22m |
A Julia DSL called Decapodes.jl encodes PDEs as Discrete Exterior Calculus objects, composes them via undirected wiring diagrams, and compiles the result into… | ||
| Formal Methods to Save the Earth | Hongyi Huang, JIALIN LI, Umang Mathur | 23m |
Computes a deductive program logic called Power Logic with small-step operational semantics that separate instantaneous vs lasting energy and model a footprint… | ||
| Kepler Watt Store: Kepler Software Watt Watcher Store | Parul Singh, Huamin Chen, Christophe Laprun | 27m |
Kepler Watt Store packages Kepler and Peaks into concrete tools: Kepler (eBPF → Prometheus) exports per-process/container/pod power using RAPL, NVML, ACPI… | ||
| Assessing the availability, reproducibility and reuseability of research softwa... | Vashti Galpin | 21m |
Compares the PL community’s ACM artifact badges workflow with FAIR-based assessment used in open science and climate work, cites CMIP model-comparison tooling… | ||
| Fluid: towards transparent, self-explanatory research outputs | Joe Bond, Cristina David, Minh Nguyen, Roly Perera | 19m |
Fluid implements a bidirectional dynamic dependency analysis in an untyped functional language runtime that emits a dynamic dependence graph alongside results… | ||
| Toward a Live, Rich, Composable, and Collaborative Planetary Compute Engine | Alexander Bandukwala, Andrew Blinn, Cyrus Omar | 22m |
Proposes building Planet Hazel, a live functional orchestration layer based on Hazel that embeds live lits (rich, editable domain GUIs) and splices (embedded… | ||
| Discussion on multidisciplinary PROPL-work | Patrick Ferris, Michael Dales | 32m |
Group discussion foregrounds concrete pain points and fixes: counterfactual deforestation analysis relies on spatial matching but fails when undocumented… | ||
| Scalable agent-based models for optimized policy design: applications to the ec... | Sharan Agrawal | 21m |
Built a transpiler called Salvo that compiles an agent‑based DSL into Jax tensors to run on GPUs/TPUs, reducing a complex ABM implementation from about 9,000… | ||
| Can computer science help climate policy making? | Nicola Botta, Patrik Jansson | 27m |
Argues that computer science contributes beyond engineering by formalizing concepts and producing verified decision tools: vulnerability as a function… | ||
| Discussion and brain storming: How can the CS/PL community help address the cur... | Dominic Orchard, Anil Madhavapeddy | 17m |
Discussion documents a plan to collect concrete actions in a shared Google Doc, run a summer school on programming for climate science, and coordinate… | ||
| nothing matches | ||