Follow
Matthias Schlaipfer
Matthias Schlaipfer
Amazon Web Services
Verified email at amazon.at - Homepage
Title
Cited by
Cited by
Year
Optimizing big-data queries using program synthesis
M Schlaipfer, K Rajan, A Lal, M Samak
Proceedings of the 26th Symposium on Operating Systems Principles, 631-646, 2017
212017
Generalized reactivity (1) synthesis without a monolithic strategy
M Schlaipfer, G Hofferek, R Bloem
Haifa Verification Conference, 20-34, 2011
112011
Labelled interpolation systems for hyper-resolution, clausal, and local proofs
M Schlaipfer, G Weissenbacher
Journal of Automated Reasoning 57, 3-36, 2016
72016
Reduction of resolution refutations and interpolants via subsumption
R Bloem, S Malik, M Schlaipfer, G Weissenbacher
Hardware and Software: Verification and Testing: 10th International Haifa …, 2014
72014
Program synthesis for query optimization
K Rajan, A Lal, M Schlaipfer
US Patent 11,016,974, 2021
32021
Multi-linear strategy extraction for QBF expansion proofs via local soundness
M Schlaipfer, F Slivovsky, G Weissenbacher, F Zuleger
International Conference on Theory and Applications of Satisfiability …, 2020
32020
Efficient translation of sequent calculus proofs into natural deduction proofs
G Ebner, M Schlaipfer
PAAR 2018, 17-33, 2018
12018
Retaining Dafny specifications
T Xiang, S McLaughlin, M Rapoport, N Rungta, M Schlaipfer, F Rabe
US Patent 11,921,616, 2024
2024
Transitioning legacy software to be provably correct
S McLaughlin, T Xiang, M Schlaipfer, N Rungta, S Tasiran, JB Cook, ...
US Patent 11,797,317, 2023
2023
Resource state validation of access management policies
UR Pugalia, S McLaughlin, N Rungta, AJ Gacek, M Schlaipfer, JM Renner, ...
US Patent 11,777,995, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–10