Search for persons
X
?
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation ,
1
The Genesis of Mix: Early Days of Self-Applicable Partial E..:
, In:
?
Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling ,
3
Co-designing DSL quality assurance measures for and with no..:
, In:
?
Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Modeling ,
5
Programming Language Specification and Implementation:
, In:
?
Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming ,
6
Quad Ropes: immutable, declarative arrays with parallelizab..:
, In:
?
Proceedings of the 37th International Conference on Software Engineering - Volume 2 ,
7
2nd international workshop on software engineering methods ..:
, In:
?
Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing ,
8
Pension reserve computations on GPUs:
, In:
?
Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs ,
10
Modular verification of linked lists with views via separat..:
, In:
?
Proceedings of the 4th international workshop on End-user software engineering ,
12
Implementing function spreadsheets:
, In:
?
Proceedings of the 6th international conference on Generative programming and component engineering ,
15