Volgen
Matthias Schlaipfer
Matthias Schlaipfer
Amazon Web Services
Geverifieerd e-mailadres voor amazon.at - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
242017
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
82016
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
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
42020
Program synthesis for query optimization
K Rajan, A Lal, M Schlaipfer
US Patent 11,016,974, 2021
32021
Efficient Translation of Sequent Calculus Proofs Into Natural Deduction Proofs.
G Ebner, M Schlaipfer
PAAR@ FLoC, 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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–10