Thomas Wies

Associate Professor of Computer Science

    20052021

    Research activity per year

    If you made any changes in Pure these will be visible here soon.

    Fingerprint

    Weighted list of dominant concepts in the person's research.
    • 1 Similar Profiles

    Network

    Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
    • 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
    • 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

      Open Access