Joshua Sunshine

Papers

Total Citations

H-Index

About

Joshua Sunshine is a researcher whose work centers on the intersection of programming languages, domain-specific languages (DSLs), and cyber-physical systems. His major contributions include advancing the empirical understanding of how DSLs improve communication with domain experts, a topic explored in his highly cited 2018 experience report. This work addresses a critical gap in the literature by providing evidence for the expected benefits of DSLs over general-purpose languages, offering a framework for evaluating their impact. Sunshine also co-developed the Integration Property Language (IPL), a tool for specifying and verifying properties in multi-model cyber-physical systems, which has garnered attention for its practical applications in safety-critical domains. With over 4 citations for his DSL work and 3 for IPL, his research is recognized for bridging theory and practice. Sunshine’s achievements include fostering interdisciplinary collaboration and producing actionable insights for developers and engineers. His work is essential for students and researchers interested in evidence-based language design and the verification of complex systems.