1 citations · 1 across the 4 of their papers we have counts for
4 papers
Comparison of Syntactic and Semantic Representations of Programs in Neural Embeddings
Austin P. Wright, Herbert Wiklicky
Neural approaches to program synthesis and understanding have proliferated widely in the last few years; at the same time graph based neural networks have become a promising new to…
Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems
Alessandro Aldini, Herbert Wiklicky
This EPTCS volume contains the proceedings of the 16th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2019) held in Prague, Czech Republic, on Sunday 7…
Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems
Mirco Tribastone, Herbert Wiklicky
This volume contains the post-proceedings of the 14th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL), held as a satellite workshop of ET…
Program Synthesis and Linear Operator Semantics
Herbert Wiklicky
For deterministic and probabilistic programs we investigate the problem of program synthesis and program optimisation (with respect to non-functional properties) in the general set…