Personensuche
X
?
Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2 ,
1
LazyBarrier: Reconstructing Android IO Stack for Barrier-En..:
, In:
?
Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems ,
2
Language-parametric compiler validation with application to..:
, In:
?
Computer Aided Verification; Lecture Notes in Computer Science ,
3
End-to-End Formal Verification of Ethereum 2.0 Deposit Smar..:
, In:
?
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
4
A complete formal semantics of x86-64 user-level instructio..:
, In:
?
Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice ,
5
A Language-Independent Approach to Smart Contract Verificat..:
, In:
?
Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ,
6
A formal verification tool for Ethereum VM bytecode:
, In:
?
Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science ,
7
Invariant Synthesis for Incomplete Verification Engines:
, In:
?
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications ,
8
Semantics-based program verifiers for all languages:
, In:
?
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation ,
9
KJS: a complete formal semantics of JavaScript:
, In:
?
Proceedings of the 12th ACM International Conference on Computing Frontiers ,
10
Removing duplicated writes at DB checkpointing with file sy..:
, In:
?
Proceedings of the 27th Conference on Image and Vision Computing New Zealand ,
11