• Home
  • Publications

Page not found

Perhaps you were looking for one of these?

Latest

  • Projects
  • Jimy
  • Publications
  • Improving Dependency Management via Formal Semantics
  • Repyro
  • npm-follower: A Complete Dataset Tracking the NPM Ecosystem
  • A Large Scale Analysis of Semantic Versioning in NPM
  • MaxNPM
  • Flexible and Optimal Dependency Management via Max-SMT
  • MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation

© 2025 Donald Pinckney.