Reference author: Sebastian Fischmeister

First name
Sebastian
Last name
Fischmeister
Oliveira, A., Petkovich, J.-C., Reidemeister, T., & Fischmeister, S. (2013). DataMill: Rigorous Performance Evaluation Made Easy Proc. Of the 4th ACM SPEC International Conference on Performance Engineering (ICPE), 137-149. Prague, Czech Republic. (Original work published 2025)
Berkovich, S., Bonakdarpour, B., & Fischmeister, S. (2013). GPU-based Runtime Verification Presented at the IEEE International Parallel & Distributed Processing Symposium (IPDPS) conference. (Original work published 2025)
Newsham, Z., Lindsay, W., Ganesh, V., Liang, J. H., Fischmeister, S., & Czarnecki, K. (2015). SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers Presented at the International Conference on Theory and Applications of Satisfiability Testing (SAT) conference. Austin, USA: Springer. https://doi.org/10.1007/978-3-319-24318-4_6 (Original work published)
Oliveira, A., Fischmeister, S., Diwan, A., Hauswirth, M., & Sweeney, P. (2013). Why You Should Care About Quantile Regression Presented at the Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) conference. Houston, USA. (Original work published 2025)
Newsham, Z., Ganesh, V., & Fischmeister, S. (2015). Predicting SAT Solver Performance on Heterogeneous Hardware Presented at the Proceedings of the Workshop on the Pragmatics of SAT at the International Conference on Theory and Applications of Satisfiability Testing (SAT) conference. Austin, USA.