Christoph M. Wintersteiger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
25
Venues
14
Active years
2007–2025
Best venue rank
A*
Where they publish
Papers
25 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ARITH | Formal Verification of the IEEE P3109 Standard for Binary Floating-Point Formats for Machine Learning. | Christoph M. Wintersteiger |
| 2022 | NSDI | IA-CCF: Individual Accountability for Permissioned Ledgers. | Alex Shamis, Peter R. Pietzuch, Burcu Canakci, Miguel Castro, Cdric Fournet, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich |
| 2020 | SP | EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. | Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cdric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Bguelin |
| 2018 | CADE | Exploring Approximations for Floating-Point Arithmetic Using UppSAT. | Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rmmer |
| 2018 | CP | The Effect of Structural Measures and Merges on SAT Solver Performance. | Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh |
| 2018 | CP | Learning-Sensitive Backdoors with Restarts. | Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh |
| 2018 | SYNASC | Compositional Taylor Model Based Validated Integration. | Kristjan Liiva, Paul B. Jackson, Grant O. Passmore, Christoph M. Wintersteiger |
| 2016 | CADE | Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis. | Peter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn |
| 2016 | CADE | On Intervals and Bounds in Bit-vector Arithmetic. | Mikols Janota, Christoph M. Wintersteiger |
| 2016 | SAT | Deciding Bit-Vector Formulas with mcSAT. | Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rmmer |
| 2015 | AAAI | Stochastic Local Search for Satisfiability Modulo Theories. | Andreas Frhlich, Armin Biere, Christoph M. Wintersteiger, Youssef Hamadi |
| 2014 | CADE | Approximations for Model Construction. | Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rmmer |
| 2014 | CAV | Analyzing and Synthesizing Genomic Logic Functions. | Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler |
| 2013 | DNA | Functional Analysis of Large-Scale DNA Strand Displacement Circuits. | Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler |
| 2013 | LPAR | Resourceful Reachability as HORN-LA. | Josh Berdine, Nikolaj S. Bjrner, Samin Ishtiaq, Jael E. Kriener, Christoph M. Wintersteiger |
| 2012 | AAAI | Seven Challenges in Parallel SAT Solving. | Youssef Hamadi, Christoph M. Wintersteiger |
| 2012 | CAV | Diagnosing Abstraction Failure for Separation Logic-Based Analyses. | Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger |
| 2011 | TACAS | Loop Summarization and Termination Analysis. | Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening |
| 2010 | CADE | Loopfrog - loop summarization for static analysis. | Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger |
| 2010 | CAV | Termination Analysis with Compositional Transition Invariants. | Daniel Kroening, Natasha Sharygina, Aliaksei Tsitovich, Christoph M. Wintersteiger |
| 2010 | FMCAD | Efficiently solving quantified bit-vector formulas. | Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendona de Moura |
| 2010 | TACAS | Ranking Function Synthesis for Bit-Vector Relations. | Byron Cook, Daniel Kroening, Philipp Rmmer, Christoph M. Wintersteiger |
| 2009 | CAV | A Concurrent Portfolio Approach to SMT Solving. | Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendona de Moura |
| 2008 | ATVA | Loop Summarization Using Abstract Transformers. | Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger |
| 2007 | SAT | A First Step Towards a Unified Proof Checker for QBF. | Toni Jussila, Armin Biere, Carsten Sinz, Daniel Krning, Christoph M. Wintersteiger |