معرفی
Daniel Patterson is a researcher affiliated with Northeastern University, specializing in programming languages, language interoperability, type systems, and compilers. His work focuses on semantic soundness, secure compilation, and cross-language integration.
Research interests include:
- Language Interoperability
- Type Systems
- Compiler Correctness
- Secure Compilation
Recent publications highlight advancements in semantic typing, foreign function interfaces, and multi-language program verification. His contributions span conferences like ICFP, PLDI, and POPL.
۰مقاله منتشرشده
