Follow
Thomas Wies
Title
Cited by
Cited by
Year
Shape analysis for composite data structures
J Berdine, C Calcagno, B Cook, D Distefano, PW O’hearn, T Wies, ...
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007
3052007
Automating separation logic using SMT
R Piskac, T Wies, D Zufferey
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
1682013
Grasshopper: complete heap verification with mixed specifications
R Piskac, T Wies, D Zufferey
International Conference on Tools and Algorithms for the Construction and …, 2014
1032014
Automating separation logic with trees and data
R Piskac, T Wies, D Zufferey
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
1012014
Full accounting for verifiable outsourcing
RS Wahby, Y Ji, AJ Blumberg, A Shelat, J Thaler, M Walfish, T Wies
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications …, 2017
962017
Boolean heaps
A Podelski, T Wies
Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005
922005
Error invariants
E Ermis, M Schäf, T Wies
International Symposium on Formal Methods, 187-201, 2012
832012
Using first-order theorem provers in the Jahob data structure verification system
C Bouillaguet, V Kuncak, T Wies, K Zee, M Rinard
Verification, Model Checking, and Abstract Interpretation: 8th International …, 2007
692007
Finding minimum type error sources
Z Pavlinovic, T King, T Wies
ACM SIGPLAN Notices 49 (10), 525-542, 2014
642014
FlexPRICE: Flexible provisioning of resources in a cloud environment
TA Henzinger, AV Singh, V Singh, T Wies, D Zufferey
2010 IEEE 3rd International Conference on Cloud Computing, 83-90, 2010
642010
Field constraint analysis
T Wies, V Kuncak, P Lam, A Podelski, M Rinard
Verification, Model Checking, and Abstract Interpretation: 7th International …, 2006
642006
Flow-sensitive fault localization
J Christ, E Ermis, M Schäf, T Wies
International Workshop on Verification, Model Checking, and Abstract …, 2013
612013
Learning privacy expectations by crowdsourcing contextual informational norms
Y Shvartzshnaider, S Tong, T Wies, P Kift, H Nissenbaum, L Subramanian, ...
Proceedings of the AAAI Conference on Human Computation and Crowdsourcing 4 …, 2016
582016
Forward analysis of depth-bounded processes
T Wies, D Zufferey, TA Henzinger
Foundations of Software Science and Computational Structures: 13th …, 2010
562010
Combining theories with shared set operations
T Wies, R Piskac, V Kuncak
International Symposium on Frontiers of Combining Systems, 366-382, 2009
562009
Abstraction refinement for quantified array assertions
MN Seghir, A Podelski, T Wies
International Static Analysis Symposium, 3-18, 2009
542009
Learning invariants using decision trees
S Krishna, C Puhrsch, T Wies
arXiv preprint arXiv:1501.04725, 2015
412015
Symbolic shape analysis.
T Wies, A Podelski
University of Freiburg, 2009
412009
An efficient decision procedure for imperative tree data structures
T Wies, M Muniz, V Kuncak
International Conference on Automated Deduction, 476-491, 2011
402011
Counterexample-guided focus
A Podelski, T Wies
Acm Sigplan Notices 45 (1), 249-260, 2010
392010
The system can't perform the operation now. Try again later.
Articles 1–20