Thomas Wies

Cited by

	All	Since 2020
Citations	2537	850
h-index	29	15
i10-index	51	28

220

110

165

20052006200720082009201020112012201320142015201620172018201920202021202220232024202512 28 52 65 82 104 102 104 139 143 179 204 158 143 125 155 136 144 173 215 26

Public access

View all

26 articles

1 article

available

not available

Based on funding mandates

Co-authors

Damien ZuffereySenior Software Engineer, Machine Learning Safety, NVIDIAVerified email at nvidia.com
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
Siddharth KrishnaIndependent ResearcherVerified email at cs.nyu.edu
Viktor KunčakEPFLVerified email at epfl.ch
Dennis ShashaProfessor of Computer Science, New York University/ Associate Director, NYU WIRELESSVerified email at courant.nyu.edu
Martin SchaefAmazon Web ServicesVerified email at amazon.com
Ruzica PiskacProfessorVerified email at yale.edu
Thomas HenzingerIST AustriaVerified email at ist.ac.at
Lakshminarayanan SubramanianProfessor of Computer Science, Courant Institute, New York UniversityVerified email at cs.nyu.edu
Zvonimir PavlinovicPhD student, New York UniversityVerified email at cs.nyu.edu
Daniel Schwartz-NarbonneAutomated Reasoning Group, AWSVerified email at amazon.com
martin rinardMITVerified email at lcs.mit.edu
Prateek MittalProfessor, Princeton UniversityVerified email at princeton.edu
vasu singhVerified email at bmw.de
Tim KingAmazonVerified email at amazon.com
Anmol SinghBMW GroupVerified email at bmw.de
Michael WalfishProfessor of Computer Science, NYUVerified email at cs.nyu.edu
Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
Peter O'HearnUniversity College LondonVerified email at ucl.ac.uk
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk

Thomas Wies

New York University

Verified email at cs.nyu.edu - Homepage

Programming Languages Verification Static Analysis Automated Deduction Concurrency


Title Sort by citations Sort by year Sort by 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	305	2007
Automating separation logic using SMT R Piskac, T Wies, D Zufferey Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013	168	2013
Grasshopper: complete heap verification with mixed specifications R Piskac, T Wies, D Zufferey International Conference on Tools and Algorithms for the Construction and …, 2014	105	2014
Automating separation logic with trees and data R Piskac, T Wies, D Zufferey Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014	104	2014
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	101	2017
Boolean heaps A Podelski, T Wies Static Analysis: 12th International Symposium, SAS 2005, London, UK …, 2005	92	2005
Error invariants E Ermis, M Schäf, T Wies International Symposium on Formal Methods, 187-201, 2012	83	2012
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	69	2007
Finding minimum type error sources Z Pavlinovic, T King, T Wies ACM SIGPLAN Notices 49 (10), 525-542, 2014	66	2014
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	64	2010
Field constraint analysis T Wies, V Kuncak, P Lam, A Podelski, M Rinard Verification, Model Checking, and Abstract Interpretation: 7th International …, 2006	64	2006
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	62	2016
Flow-sensitive fault localization J Christ, E Ermis, M Schäf, T Wies International Workshop on Verification, Model Checking, and Abstract …, 2013	61	2013
Combining theories with shared set operations T Wies, R Piskac, V Kuncak International Symposium on Frontiers of Combining Systems, 366-382, 2009	57	2009
Forward analysis of depth-bounded processes T Wies, D Zufferey, TA Henzinger Foundations of Software Science and Computational Structures: 13th …, 2010	56	2010
Abstraction refinement for quantified array assertions MN Seghir, A Podelski, T Wies International Static Analysis Symposium, 3-18, 2009	55	2009
Learning invariants using decision trees S Krishna, C Puhrsch, T Wies arXiv preprint arXiv:1501.04725, 2015	42	2015
Symbolic shape analysis. T Wies, A Podelski University of Freiburg, 2009	41	2009
Vaccine: Using contextual integrity for data leakage detection Y Shvartzshnaider, Z Pavlinovic, A Balashankar, T Wies, L Subramanian, ... The World Wide Web Conference, 1702-1712, 2019	40	2019
An efficient decision procedure for imperative tree data structures T Wies, M Muniz, V Kuncak International Conference on Automated Deduction, 476-491, 2011	40	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors