Research Collaboration
Research is one of our core pillars at Hylo. We collaborate with universities and individuals around the world to push the frontiers of PL research, library design and developer tooling. If you are interested in collaborating with us either as a student, professor or independent contributor, please reach out via Slack or GitHub, so we can help you get started.
Open Research Topics
Section titled “Open Research Topics”We collected some interesting research topics that are seeking contributors. Whether you want to take on the whole topic for your research or you just have some ideas or resources to add, please join the respective GitHub Discussions.
Language Design & Standard Library
Section titled “Language Design & Standard Library”- Design alternatives for a map data structure for the standard library
- Custom allocators in Hylo
- Large vs Small Arrays - 32-bit vs 64-bit indices
High-fidelity Cross-language Interoperability
Section titled “High-fidelity Cross-language Interoperability”- C Interop
- C++ Interop - TODO collect and link resources
Tooling
Section titled “Tooling”- Alignment Markers in Code for Local Code Formatting Rules
- Debuggers for New Languages (& Hylo)
- A Principled Diagnostic Reporting & Fixing System for Hylo
- Breaking change detection and automatic/assisted migration systems
If you have ideas for more research topics, please suggest them in a new GitHub Discussion topic, ideally with some background information or preliminary research.
Past Research
Section titled “Past Research”We are proud of and grateful for all the research conducted on Hylo so far. We hope to see your name on this list soon :)
| Who Owns the Contents of a Doubly-Linked List? | Dimi Racordon | 2025-09 | |
| High-Fidelity C Interoperability in Hylo | Ambrus Tóth | 2025-06 | |
| Debugging Hylo | Tudor-Stefan Magirescu | 2025-06 | |
| On the State of Coherence in the Land of Type Classes | Dimi Racordon, Eugene Flessele, Cao Nguyen Pham | 2025-02 | |
| Type Checking with Rewriting Rules | Dimi Racordon | 2024-10 | |
| Use Site Checking Considered Harmful | Dimi Racordon, Benjamin Chung | 2024-10 | |
| Method Bundles | Dimi Racordon, Dave Abrahams | 2024-10 | |
| Borrow checking Hylo | Dimi Racordon, Dave Abrahams | 2023-10 | |
| Existentialize Your Generics | Dimi Racordon, Matt Bovel, Hamza Remmal | 2022-06 | |
| Implementation Strategies for Mutable Value Semantics | Dimi Racordon, Denys Shabalin, Daniel Zheng, Dave Abrahams, Brennan Saeta | 2022 | |
| Toward a Lingua Franca for Memory Safety | Dimi Racordon, Aurélien Coet, Didier Buchs | 2022 | |
| Native Implementation of Mutable Value Semantics | Dimi Racordon, Denys Shabalin, Daniel Zheng, Dave Abrahams, Brennan Saeta | 2021-06 | |
| A Formal Definition of Swift's Value Semantics | Dimi Racordon | 2020-11 |