CodePod: A Language-Agnostic Hierarchical Scoping System for Interactive Development
Hebi Li, Forrest Sheng Bao, Qi Xiao, Jin Tian

TL;DR
CodePod extends Jupyter Notebooks with a hierarchical, language-agnostic scoping system that improves scalability and project management for large software development within interactive environments.
Contribution
It introduces a formal, source-level hierarchical scoping model and a runtime system that enables scalable, language-agnostic incremental evaluation in notebooks.
Findings
Significant scalability improvements over Jupyter
Reduces navigation effort in large projects
Effective on projects with thousands of lines of code
Abstract
Interactive development environments like Jupyter Notebooks enable incremental coding through cells with immediate feedback, but their linear structure and global namespace limit scalability for large software projects. We present CodePod, a hierarchical extension of Jupyter that introduces a novel scoped execution model with formal semantics. Our key contribution is a language-agnostic runtime system that performs source-level transformations to implement hierarchical scoping rules, enabling true incremental evaluation across nested modules without requiring language-specific kernel modifications. We formalize the scoping semantics as a mathematical framework with precise visibility relations and prove key properties including uniqueness of symbol resolution and correctness of the resolution algorithm. A qualitative user study with seven senior developers demonstrates that CodePod…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsSoftware Engineering Research · Software Engineering Techniques and Practices · Advanced Malware Detection Techniques
