Research Research groups Reliable systems (PSY) Completed Master’s theses 2017 A Comparison of Secure Messaging Protocols and Implementations MSC 2017 BPMN process modeling using DCR graph Process Modeling Based on Smart Home System Using JBoss Rust types from JSON examples Secure Programming with Intel SGX and Novel Applications Testing Security for Internet of Things: A Survey on Vulnerabilities in IP Cameras
Rust types from JSON samples. Approximating type providers with procedural macros in Rust
When programmers access external data in a statically typed programming language, they often face a dilemma between convenient and type-safe access to the data.
In the programming language F#, a concept called type providers has been proposed as a solution to this problem by having compiler support for libraries with the capability to generate types at compile time.
This thesis presents jsontypegen, a project which aims to show the feasibility of similar solutions in the RUSTprogramming language. The project uses compile-time meta-programming along with alternative interfaces to the same code generation implementation to achieve convenient, type-safe access in the JSON data format. While JSON is chosen as a format for the presented library, the approach also applies to other data formats and sources
| supervisors | Volker Stolz, Martin Steffen |
| IFI links | abstract, thesis, presentation |
| github | pvec-rc repository |