No photo of Thomas Wies

Thomas Wies

Professor of Computer Science

    20052024

    Research activity per year

    Search results

    • 2024

      Deciding Subtyping for Asynchronous Multiparty Sessions

      Li, E., Stutz, F. & Wies, T., 2024, Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Weirich, S. (ed.). Springer Science and Business Media Deutschland GmbH, p. 176-205 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14576 LNCS).

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

      Open Access
    • Verifying Lock-Free Search Structure Templates

      Patel, N., Shasha, D. & Wies, T., Sep 2024, 38th European Conference on Object-Oriented Programming, ECOOP 2024. Aldrich, J. & Salvaneschi, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 24. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 313).

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

    • 2023

      Beyond The Text: Analysis of Privacy Statements through Syntactic and Semantic Role Labeling

      Shvartzshnaider, Y., Wies, T., Balashankar, A. & Subramanian, L., 2023, NLLP 2023 - Natural Legal Language Processing Workshop 2023, Proceedings of the Workshop. Preotiuc-Pietro, D., Goanta, C., Chalkidis, I., Barrett, L., Spanakis, G. & Aletras, N. (eds.). Association for Computational Linguistics (ACL), p. 85-98 14 p. (NLLP 2023 - Natural Legal Language Processing Workshop 2023, Proceedings of the Workshop).

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

    • Complete Multiparty Session Type Projection with Automata

      Li, E., Stutz, F., Wies, T. & Zufferey, D., 2023, Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 350-373 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13966 LNCS).

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

      Open Access
    • Open Access
    • Embedding Hindsight Reasoning in Separation Logic

      Meyer, R., Wies, T. & Wolff, S., Jun 6 2023, In: Proceedings of the ACM on Programming Languages. 7, 182.

      Research output: Contribution to journalArticlepeer-review

      Open Access
    • Less is more: Refinement proofs for probabilistic proofs

      Jiang, K., Chait-Roth, D., Destefano, Z., Walfish, M. & Wies, T., 2023, Proceedings - 44th IEEE Symposium on Security and Privacy, SP 2023. Institute of Electrical and Electronics Engineers Inc., p. 1112-1129 18 p. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2023-May).

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

    • Make Flows Small Again: Revisiting the Flow Framework

      Meyer, R., Wies, T. & Wolff, S., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 628-646 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13993 LNCS).

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

      Open Access
    • nekton: A Linearizability Proof Checker

      Meyer, R., Opaterny, A., Wies, T. & Wolff, S., 2023, Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 170-183 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13964 LNCS).

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

      Open Access
    • Preface

      Wies, T., 2023, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 13990 LNCS, p. v-viii

      Research output: Contribution to journalEditorialpeer-review

    • Preface

      Mohaisen, D. & Wies, T., 2023, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 14067 LNCS, p. v

      Research output: Contribution to journalEditorialpeer-review

    • 2022

      A concurrent program logic with a future and history

      Meyer, R., Wies, T. & Wolff, S., Oct 31 2022, In: Proceedings of the ACM on Programming Languages. 6, OOPSLA2, 174.

      Research output: Contribution to journalArticlepeer-review

      Open Access
    • Preface

      Finkbeiner, B., Wies, T. & Santolucito, M., 2022, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 13182 LNCS, p. v-vi

      Research output: Contribution to journalEditorialpeer-review

    • 2021

      Automated repair for timed systems

      Kölbl, M., Leue, S. & Wies, T., Dec 2021, In: Formal Methods in System Design. 59, 1-3, p. 136-169 34 p.

      Research output: Contribution to journalArticlepeer-review

      Open Access
    • Data flow refinement type inference

      Pavlinovic, Z., Su, Y. & Wies, T., Jan 2021, In: Proceedings of the ACM on Programming Languages. 5, POPL, 19.

      Research output: Contribution to journalArticlepeer-review

      Open Access
    • Inverse-Weighted Survival Games

      Han, X., Goldstein, M., Puli, A., Wies, T., Perotte, A. J. & Ranganath, R., 2021, Advances in Neural Information Processing Systems 34 - 35th Conference on Neural Information Processing Systems, NeurIPS 2021. Ranzato, M., Beygelzimer, A., Dauphin, Y., Liang, P. S. & Wortman Vaughan, J. (eds.). Neural information processing systems foundation, p. 2160-2172 13 p. (Advances in Neural Information Processing Systems; vol. 3).

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

    • Verifying concurrent multicopy search structures

      Patel, N., Krishna, S., Shasha, D. & Wies, T., Oct 2021, In: Proceedings of the ACM on Programming Languages. 5, OOPSLA, 113.

      Research output: Contribution to journalArticlepeer-review

      Open Access
    • 2020

      Automated Verification of Concurrent Search Structures

      Krishna, S., Patel, N., Shasha, D. & Wies, T., Jun 1 2020, Synthesis Lectures on Computer Science: Lecture #13. 1 ed. Morgan and Claypool Publishers, p. 1-188 188 p. (Synthesis Lectures on Computer Science; vol. 9, no. 1).

      Research output: Chapter in Book/Report/Conference proceedingChapter

    • Local Reasoning for Global Graph Properties

      Krishna, S., Summers, A. J. & Wies, T., 2020, Programming Languages and Systems- 29th European Symposium on Programming, ESOP 2020 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Müller, P. (ed.). Springer, p. 308-335 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12075 LNCS).

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

      Open Access
    • TarTar: A Timed Automata Repair Tool

      Kölbl, M., Leue, S. & Wies, T., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 529-540 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12224 LNCS).

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

      Open Access
    • Verifying concurrent search structure templates

      Krishna, S., Patel, N., Shasha, D. & Wies, T., Jun 11 2020, PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Donaldson, A. F. & Torlak, E. (eds.). Association for Computing Machinery, p. 181-196 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

    • 2019

      Charting a Course Through Uncertain Environments: SEA Uses Past Problems to Avoid Future Failures

      Moore, P., Cappos, J., Frankl, P. & Wies, T., Oct 2019, Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering, ISSRE 2019. Wolter, K., Schieferdecker, I., Gallina, B., Cukier, M., Natella, R., Ivaki, N. & Laranjeiro, N. (eds.). IEEE Computer Society, p. 1-12 12 p. 8987577. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2019-October).

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

    • Clock Bound Repair for Timed Systems

      Kölbl, M., Leue, S. & Wies, T., 2019, Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings. Dillig, I. & Tasiran, S. (eds.). Springer Verlag, p. 79-96 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11561 LNCS).

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

      Open Access
    • 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

    • 2018

      Go with the flow: Compositional abstractions for concurrent data structures

      Krishna, S., Shasha, D. & Wies, T., Jan 2018, In: Proceedings of the ACM on Programming Languages. 2, POPL, 37.

      Research output: Contribution to journalArticlepeer-review

      Open Access
    • RECIPE: Applying Open Domain Question Answering to Privacy Policies

      Shvartzshnaider, Y., Balashankar, A., Wies, T. & Subramanian, L., 2018, ACL 2018 - Machine Reading for Question Answering, Proceedings of the Workshop. Association for Computational Linguistics (ACL), p. 71-77 7 p. (Proceedings of the Annual Meeting of the Association for Computational Linguistics).

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

    • 2017

      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, p. 2071-2086 16 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

      Open Access
    • 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. Bouajjani, A. & Monniaux, D. (eds.). Springer Verlag, 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

    • Preface

      Paskevich, A. & Wies, T., 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 journalEditorialpeer-review

    • 2016

      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. Aichernig, B. K. & Furia, C. A. (eds.). Springer Verlag, 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

    • Complete Instantiation-Based Interpolation

      Totla, N. & Wies, T., Jun 1 2016, In: Journal of Automated Reasoning. 57, 1, p. 37-65 29 p.

      Research output: Contribution to journalArticlepeer-review

    • Error invariants for concurrent traces

      Holzer, A., Schwartz-Narbonne, D., Befrouei, M. T., Weissenbacher, G. & Wies, T., 2016, FM 2016: Formal Methods - 21st International Symposium, Proceedings. Heitmeyer, C., Philippou, A., Gnesi, S. & Fitzgerald, J. (eds.). Springer Verlag, p. 370-387 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9995 LNCS).

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

    • Learning Privacy Expectations by Crowdsourcing Contextual Informational Norms

      Shvartzshnaider, Y., Tong, S., Wies, T., Kift, P., Nissenbaum, H., Subramanian, L. & Mittal, P., Nov 3 2016, Proceedings of the 4th AAAI Conference on Human Computation and Crowdsourcing, HCOMP 2016. Ghosh, A. & Lease, M. (eds.). AAAI press, p. 209-218 10 p. (Proceedings of the 4th AAAI Conference on Human Computation and Crowdsourcing, HCOMP 2016).

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

    • 2015

      Conflict-directed graph coverage

      Schwartz-Narbonne, D., Schäf, M., Jovanović, D., Rümmer, P. & Wies, T., 2015, NASA Formal Methods - 7th International Symposium, NFM 2015, Proceedings. Havelund, K., Holzmann, G. & Joshi, R. (eds.). Springer Verlag, p. 327-342 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9058).

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

    • Context-directed graph coverage

      Schwartz-Narbonne, D., Schaf, M., Jovanovic, D., Rummer, P. & Wies, T., Apr 2015, 7th NASA Formal Methods Symposium: NFM '15. Pasadena, CA

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

    • Deciding local theory extensions via E-matching

      Bansal, K., Reynolds, A., King, T., Barrett, C. & Wies, T., 2015, Computer Aided Verification - 27th International Conference, CAV 2015, Proceedings. Păsăreanu, C. S. & Kroening, D. (eds.). Springer Verlag, p. 87-105 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9207).

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

    • Finding Minimum Type Error Sources

      Pavlinovic, Z., King, T. & Wies, T., 2015, Software Engineering and Management 2015: Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW. Assmann, U., Demuth, B., Spitta, T., Puschel, G. & Kaiser, R. (eds.). Gesellschaft fur Informatik (GI), p. 43-44 2 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. P-239).

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

    • Practical SMT-based type error localization

      Pavlinovic, Z., King, T. & Wies, T., Aug 2015, 20th ACM SIGPLAN International Conference on Functional Programming: ICFP '15. Vancouver, British Columbia, Canada

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

    • Practical SMT-based type error localization

      Pavlinovic, Z., King, T. & Wies, T., Sep 2015, In: ACM SIGPLAN Notices. 50, 9, p. 412-423 12 p.

      Research output: Contribution to journalArticlepeer-review

      Open Access
    • VERMEER: A Tool for Tracing and Explaining Faulty C Programs

      Schwartz-Narbonne, D., Oh, C., Schaf, M. & Wies, T., Aug 12 2015, Proceedings - 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, ICSE 2015. IEEE Computer Society, p. 737-740 4 p. 7203056. (Proceedings - International Conference on Software Engineering; vol. 2).

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

    • 2014

      Automating separation logic with trees and data

      Piskac, R., Wies, T. & Zufferey, D., 2014, Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. Springer Verlag, p. 711-728 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8559 LNCS).

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

    • Cascade 2.0

      Wang, W., Barrett, C. & Wies, T., 2014, Verification, Model Checking, and Abstract Interpretation - 15th International Conference, VMCAI 2014, Proceedings. Springer Verlag, p. 142-160 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8318 LNCS).

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

    • Concolic fault localization

      Oh, C., Schaf, M., Schwartz-Narbonne, D. & Wies, T., Dec 4 2014, Proceedings - 2014 14th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2014. Institute of Electrical and Electronics Engineers Inc., p. 135-144 10 p. 6975647. (Proceedings - 2014 14th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2014).

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

    • Dynamic package interfaces

      Esmaeilsabzali, S., Majumdar, R., Wies, T. & Zufferey, D., 2014, Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Proceedings. Springer Verlag, p. 261-275 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8411 LNCS).

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

    • Finding minimum type error sources

      Pavlinovic, Z., King, T. & Wies, T., Oct 15 2014, Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA. Association for Computing Machinery, p. 525-542 18 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

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

      Open Access
    • GRASShopper: Complete heap verification with mixed specifications

      Piskac, R., Wies, T. & Zufferey, D., 2014, Tools and Algorithms for the Construction and Analysis of Systems - 20th Int. Conf., TACAS 2014, Held as Part of the European Joint Conf. on Theory and Practice of Software, ETAPS 2014, Proc.. Springer Verlag, p. 124-139 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8413 LNCS).

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

    • Preface - Invariant generation

      Grov, G. & Wies, T., 2014, In: Science of Computer Programming. 93, PART B, p. 87-88 2 p.

      Research output: Contribution to journalEditorialpeer-review

    • 2013

      Automating separation logic using SMT

      Piskac, R., Wies, T. & Zufferey, D., 2013, Computer Aided Verification - 25th International Conference, CAV 2013, Proceedings. p. 773-789 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8044 LNCS).

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

    • Complete instantiation-based interpolation

      Totla, N. & Wies, T., 2013, POPL 2013 - Proceedings of 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 537-548 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

    • Complete instantiation-based interpolation

      Totla, N. & Wies, T., Jan 2013, In: ACM SIGPLAN Notices. 48, 1, p. 537-548 12 p.

      Research output: Contribution to journalArticlepeer-review

    Your message has successfully been sent.
    Your message was not sent due to an error.