Thomas Wies

Associate Professor of Computer Science

20052019
If you made any changes in Pure, your changes will be visible here soon.

Fingerprint Dive into the research topics where Thomas Wies is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles
Data structures Engineering & Materials Science
Data Structures Mathematics
Heap Mathematics
Decision Procedures Mathematics
Separation Logic Mathematics
Assertion Mathematics
Interpolation Engineering & Materials Science
Logic Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2005 2019

  • 42 Conference contribution
  • 5 Article
  • 1 Other report
  • 1 Editorial

Vaccine: Using contextual integrity for data leakage detection

Shvartzshnaider, Y., Wies, T., Pavlinovic, Z., Lakshminarayanan, Mittal, P., Balashankar, A. & Nissenbaum, H., May 13 2019, The Web Conference 2019 - Proceedings of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, Inc, p. 1702-1712 11 p. (The Web Conference 2019 - Proceedings of the World Wide Web Conference, WWW 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Vaccines
Electronic mail
Syntactics
Ion exchange
Semantics

Full accounting for verifiable outsourcing

Wahby, R. S., Ji, Y., Blumberg, A. J., Shelat, A., Thaler, J., Walfish, M. & Wies, T., Oct 30 2017, CCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, Vol. Part F131467. p. 2071-2086 16 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Outsourcing
Costs
Application specific integrated circuits
Hardware

Partitioned memory models for program analysis

Wang, W., Barrett, C. & Wies, T., 2017, Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Proceedings. Springer Verlag, Vol. 10145 LNCS. p. 539-558 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10145 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Program Analysis
Memory Model
Data storage equipment
Data Structures
Scalability

Preface

Paskevich, A. & Wies, T., Jan 1 2017, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10712 LNCS, p. V

Research output: Contribution to journalEditorial

Classifying bugs with interpolants

Podelski, A., Schäf, M. & Wies, T., 2016, Tests and Proofs - 10th International Conference, TAP 2016 Held as Part of STAF 2016, Proceedings. Springer Verlag, Vol. 9762. p. 151-168 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9762).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Interpolants
Signature
Java
Interpolation
Interpolate