Search for persons
X
?
Fourteenth ACM Conference on Recommender Systems ,
1
Demonstrating Principled Uncertainty Modeling for Recommend..:
, In:
?
Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation ,
2
A certifying compiler for Java:
, In:
?
Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation ,
3
Automatically closing open reactive programs:
, In:
?
Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages ,
4
Trace-based program analysis:
, In:
?
Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation ,
5
Analyzing the communication topology of concurrent programs:
, In:
?
?
2023 IEEE 36th International Vacuum Nanoelectronics Conference (IVNC) ,
10