DR
| Title | Published in | Access level | OA Policy | Year | Views | Downloads | |
|---|---|---|---|---|---|---|---|
| Functional Block Programming and Debugging | Conference’17 |  | 2020 | 255 | 7 | ||
| Featherweight Swift: A Core Calculus for Swift's Type System | Proceedings of the 13th ACM SIGPLAN International Conference on Software Language En- gineering (SLE '20) | | 2020 | 691 | 671 | ||
| A Formal Definition of Swift's Value Semantics | | 2020 | 336 | 827 | |||
| Implementing a language with explicit assignment semantics | Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, VMIL 2019 |  | 2019 | 300 | 0 | ||
| Revisiting memory assignment semantics in imperative programming languages | | 2019 | 794 | 1,884 | |||
| A practical type system for safe aliasing | Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2018 | | 2018 | 293 | 1 | ||
| Petri Sport: A Sport for Petri Netters | Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets and the 18th International Conference on Application of Concurrency to System Design ACSD | | 2018 | 245 | 235 | ||
| A Model Checker Collection for the Model Checking Contest Using Docker and Machine Learning | 39th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2018 | | 2018 | 339 | 334 |
