I agree that this site is using cookies. You can find further informations here.
X
Hadarean, Liana
8  results:
Search for persons X
?
1

Proceedings of the 12th ACM SIGPLAN International Workshop ..:

Ferrara, Pietro ; Hadarean, Liana , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

Compositional Taint Analysis for Enforcing Security Policie..:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Banerjee, Subarno ; Cui, Siwei ; Emmi, Michael... - p. 1985-1996 , 2023
Link: https://dl.acm.org/doi/1..
 
?
3

RAPID: checking API usage for the cloud in the cloud:

, In: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Emmi, Michael ; Hadarean, Liana ; Jhala, Ranjit... - p. 1416-1426 , 2021
Link: https://dl.acm.org/doi/1..
 
?
4

Block public access: trust safety verification of access co..:

, In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Bouchet, Malik ; Cook, Byron ; Cutler, Bryant... - p. 281-291 , 2020
Link: https://dl.acm.org/doi/1..
 
?
5

One-click formal methods:

, In: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST),
Hadarean, Liana - p. 1-1 , 2020
Link: https://doi.org/10.1109/..
 
?
6

Lazy proofs for DPLL(T)-based SMT solvers:

, In: Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design,
Katz, Guy ; Barrett, Clark ; Tinelli, Cesare.. - p. 93-100 , 2016
Link: https://dl.acm.org/doi/1..
 
?
7

SMT proof checking using a logical framework:

Stump, Aaron ; Oe, Duckki ; Reynolds, Andrew..
Formal Methods in System Design.  42 (2012)  1 - p. 91-118 , 2012
Link: https://doi.org/10.1007/..
 
?
8

A Concurrency Problem with Exponential DPLL(T) Proofs:

Hadarean, Liana ; Horn, Alex ; King, Tim
http://arxiv.org/abs/1506.01602.  , 2015
Link: http://arxiv.org/abs/150..
 
1-8