Program termination analysis in polynomial time
ACM Transactions on Programming Languages and Systems (TOPLAS)
CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
A combination framework for tracking partition sizes
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Mechanical inference of invariants for FOR-loops
Journal of Symbolic Computation
Safe to the last instruction: automated verification of a type-safe operating system
Communications of the ACM
Data-driven equivalence checking
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Hi-index | 0.02 |