Publications

Research papers, conference proceedings, and academic publications in programming languages, type systems, and compiler design.

2024

  • Type System Design for Safe Concurrent Programming

    Your Name, Co-Author

    ACM SIGPLAN Conference on Programming Language Design and Implementation, 2024

    conference

    We present a novel type system that ensures memory safety in concurrent programs through static analysis...

    Citation

    @inproceedings{name2024,
  title={Type System Design for Safe Concurrent Programming},
  author={Your Name and Co-Author},
  booktitle={ACM SIGPLAN Conference on Programming Language Design and Implementation},
  year={2024}
}

2023

  • Formal Semantics for Modern Functional Languages

    Your Name

    Journal of Functional Programming, 2023

    journal

    This paper explores the formal semantics of modern functional programming languages...

    Citation

    @article{name2023,
  title={Formal Semantics for Modern Functional Languages},
  author={Your Name},
  journal={Journal of Functional Programming},
  year={2023}
}

  • Compiler Optimization Techniques for Type-Safe Languages

    Your Name, Co-Author 1, Co-Author 2

    Workshop on Compiler Construction, 2023

    workshop

    Citation

    @misc{name2023,
  title={Compiler Optimization Techniques for Type-Safe Languages},
  author={Your Name and Co-Author 1 and Co-Author 2},
  booktitle={Workshop on Compiler Construction},
  year={2023}
}

For a complete list, see my Google Scholar profile.