Peter Thiemann

University of Freiburg — Germany

Computer Science · Physical Sciences

26h-index2.8kcitations293works0.72yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(185), Formal Methods in Verification(94), Parallel Computing and Optimization Techniques(56), Software Engineering Research(48), Security and Verification in Computing(43)

Publications293 total

Borrowing from Session Types
Proceedings of the ACM on Programming Languages·2025Open Access
Partial Orders for Precise and Efficient Dynamic Deadlock Prediction
arXiv (Cornell University)·2025Open Access
A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution
Lecture notes in computer science·2024· 1 cited
Law and Order for Typestate with Borrowing
Proceedings of the ACM on Programming Languages·2024· 1 citedOpen Access
Intrinsically Typed Syntax, a Logical Relation, and the Scourge of the Transfer Lemma
2024Open Access
Law and Order for Typestate with Borrowing
arXiv (Cornell University)·2024· 2 citedOpen Access
Polymorphic Typestate for Session Types
2023· 1 cited
Intrinsically Typed Sessions with Callbacks (Functional Pearl)
Proceedings of the ACM on Programming Languages·2023Open Access
Cross-thread critical sections and efficient dynamic race prediction methods
arXiv (Cornell University)·2023Open Access
Parameterized Algebraic Protocols
Proceedings of the ACM on Programming Languages·2023· 3 citedOpen Access
Discrete State-Space Current Control of PWM Converters: Robust Tracking Control with Additional Dynamics
2023Open Access
Sensorless Field Oriented Control of Synchronous Machines for Low and High Speeds with Space Vector Modulation-Based Direct Flux Control Measurement Sequence
Electronics·2023· 4 citedOpen Access
Intrinsically Typed Sessions With Callbacks
arXiv (Cornell University)·2023Open Access
Polymorphic Typestate for Session Types
arXiv (Cornell University)·2022· 2 citedOpen Access
Ultra-Low Losses SiC-Based Active Damper for Industrial Power Systems: Mitigating Harmonic Distortion and Maximizing Harmonic Power Recovery
IEEE Transactions on Energy Conversion·2022· 5 cited
Relating Functional and Imperative Session Types
Logical Methods in Computer Science·2022· 3 citedOpen Access
Polymorphic lambda calculus with context-free session types
Information and Computation·2022· 17 citedOpen Access
Global Type Inference for Featherweight Generic Java
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2022· 2 citedOpen Access
Label dependent lambda calculus and gradual typing
Proceedings of the ACM on Programming Languages·2021Open Access
Generation of TypeScript declaration files from JavaScript code
2021· 1 citedOpen Access
page 1 of 15Next →

Frequent Co-authors

Matthias Neubauer(5), Michael Sperber(5), Stefan Wehr(5), Vasco T. Vasconcelos(4), Luminous Fennell(4), Phillip Heidegger(4), Philip Wadler(3), Simon Holm Jensen(2), Anders Møller(2), Ralf Lämmel(2), Martin Gasbichler(2), Annette Bieniusa(2), Suresh Jagannathan(1), Stephen Weeks(1), Andrew K. Wright(1), John Hatcliff(1), Torben Æ. Mogensen(1), Jeremy G. Siek(1), Julia L. Lawall(1), Faisal Aslam(1)