Članci s nalozima za javni pristup - Ton Chanh LeSaznajte više
Dostupno negdje: 5
SLING: using dynamic analysis to infer program invariants in separation logic
TC Le, G Zheng, TV Nguyen
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
Nalozi: US Department of Defense
DynamiTe: dynamic termination and non-termination proofs
TC Le, T Antonopoulos, P Fathololumi, E Koskinen, TV Nguyen
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
Nalozi: US National Science Foundation, US Department of Defense
An algebra of alignment for relational verification
T Antonopoulos, E Koskinen, TC Le, R Nagasamudram, DA Naumann, ...
Proceedings of the ACM on Programming Languages 7 (POPL), 573-603, 2023
Nalozi: US National Science Foundation, US Department of Defense
Proving LTL properties of bitvector programs and decompiled binaries
YC Liu, C Pang, D Dietsch, E Koskinen, TC Le, G Portokalidis, J Xu
Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago …, 2021
Nalozi: US Department of Defense
Specification and inference of trace refinement relations
T Antonopoulos, E Koskinen, TC Le
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019
Nalozi: US Department of Defense
Publikacije i informacije o financiranju automatski određuje računalni program