Abstract interpretation and low-level code optimization
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Computer-assisted microanalysis of programs
Communications of the ACM
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
Logics for probabilistic programming (Extended Abstract)
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
A decidable propositional probabilistic dynamic logic
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
Reasoning about probabilistic sequential programs
Theoretical Computer Science
Cost-driven autonomous mobility
Computer Languages, Systems and Structures
Quantifying information flow with beliefs
Journal of Computer Security - 18th IEEE Computer Security Foundations Symposium (CSF 18)
Reasoning About Imperative Quantum Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Reasoning about states of probabilistic sequential programs
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Multivariate amortized resource analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
| Hi-index | 0.02 |