• Home
• Products
• Projects
• Service
• Misc

Projects

AAM Visualizer - Web view of an AAM code analysis

• Web App
• Code
• Abstract - ICFP'19 SRC Submission
• Draft - Scheme'19 Submission

TraitLang - Constraining a type-level langauge in Rust

• Slides - IFL'18 Talk
• Draft - IFL'18 Talk Submission
• Poster - ICFP'18 Presentation
• Extended Abstract - ICFP'18 SRC Submission
• TraitLang DSL - early example

Fungi Language - Typed language for incremental computation

• Paper - Arxiv draft under development
• Rust implementation

IODyn Language - DSL for incremental computation

• Rust project
• Checkpoint Poster - POPL'18 SRC Presentation
• Checkpoint Abstract - POPL'18 SRC Submission

Type-Level Rust

• Experimental project - playing with different ideas
• Untyped lambda calcules - complex use of type functions
• early trials - copy some demos

Other Rust projects with types

• Inheritance demonstration - Traits augmenting value-level code
• Functor translations - Implementation of OCaml manual section on functiors
• HKT example - use traits as type functions

Giraz Collection - Sequence data structure using Adapton

• Rust project
• Cargo crate - rust language package
• Poster - PLDI'17 SRC presentation
• Slides - PLDI'17 SRC talk (10 min)
• Slides - IC'17 talk (25 min)
• Extended Abstract - PLDI'17 SRC Submission

Incremental Sorting - Memory-efficient incremental sort

• Rust project - Initial progress

RAZ - Random Access Zipper for functional sequence editing

• Paper - TFP'16
• Raz in OCaml
• Poster - PLDI'16 SRC presentation
• Slides - PLDI'16 SRC talk (10 min)
• Slides - TFP'16 talk (20 min)
• Paper Draft - TFP'16 talk
• Extended Abstract - PLDI'16 SRC Submission

IC_Edit - Incremental text editor programmed in rust

• PRY - Unsubmitted Paper
• Talk Abstract - OBT'16 Submission
• Rust project
• Semantics - early version
• Demos
• Slides
• Adapton in rust

Sparse Adapton - Uses fewer memo points for efficiency

• SRC Abstract - ICFP'15 Submission
• Poster
• Presentation
• Slides

Nominal Adapton - Exposes names for memo table rewriting

• Paper - OOPSLA'15
• Ocaml project
• VM artifact large file
• Artifact documentation: guide and supplement

Graphmovie - A viewer for dynamic graphs

• On-line
• JavaScript project - with samples

WebGL - some experiments with graphics

• Globe of Life - drag and zoom
• Dynamic Color - image creation