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 2024)
Berkovich, S. ., Bonakdarpour, B. ., & Fischmeister, S. . (2013). GPU-based Runtime Verification. IEEE International Parallel & Distributed Processing Symposium (IPDPS). Presented at the. (Original work published 2024)
Newsham, Z. ., Lindsay, W. ., Ganesh, V. ., Liang, J. H., Fischmeister, S. ., & Czarnecki, K. . (2015). SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. International Conference on Theory and Applications of Satisfiability Testing (SAT). Presented at the. 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. Proceedings of the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS). Presented at the. Houston, USA. (Original work published 2024)
Newsham, Z. ., Ganesh, V. ., & Fischmeister, S. . (2015). Predicting SAT Solver Performance on Heterogeneous Hardware. Proceedings of the Workshop on the Pragmatics of SAT at the International Conference on Theory and Applications of Satisfiability Testing (SAT). Presented at the. Austin, USA.