Christoph M. Wintersteiger

58 papers A* 9A 9B 4C 2Misc 2Journal 19Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic. CoRR Hongyu Lin, Samer Abdallah, Makar Valentinov, Paul Brennan, Elijah Kagan, Christoph M. Wintersteiger, Denis Ignatovich, Grant Olney Passmore
2025	C	`conf`	Formal Verification of the IEEE P3109 Standard for Binary Floating-Point Formats for Machine Learning. ARITH Christoph M. Wintersteiger
2025	A*	`conf`	Transparent Attested DNS for Confidential Computing Services. USENIX Security Symposium Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Manuel Costa, Sylvan Clebsch, Christoph M. Wintersteiger
2025	J	`jnl`	Transparent Attested DNS for Confidential Computing Services. CoRR Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Manuel Costa, Sylvan Clebsch, Christoph M. Wintersteiger
2024	J	`jnl`	Confidential Container Groups. Commun. ACM Matthew A. Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Christoph M. Wintersteiger, Sylvan Clebsch, John Starks, Manuel Costa
2024	J	`jnl`	Confidential Container Groups: Implementing confidential computing on Azure container instances. ACM Queue Matthew A. Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Christoph M. Wintersteiger, Sylvan Clebsch, John Starks, Manuel Costa
2023	J	`jnl`	COCOAEXPO: Confidential Containers via Attested Execution Policies. CoRR Matthew A. Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Christoph M. Wintersteiger, Sylvan Clebsch, John Starks, Manuel Costa
2023	J	`jnl`	Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. CoRR Heidi Howard, Fritz Alder, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus A. Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
2023	J	`jnl`	Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. Proc. VLDB Endow. Heidi Howard, Fritz Alder, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus A. Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
2023	J	`jnl`	The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models. J. Comput. Biol. Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Himanshu Arora, Hillel Kugler, Christoph M. Wintersteiger
2022	—	`conf`	An SMT-Based Framework for Reasoning About Discrete Biological Models. ISBRA Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Hillel Kugler, Christoph M. Wintersteiger
2022	Misc	`conf`	IA-CCF: Individual Accountability for Permissioned Ledgers. NSDI Alex Shamis, Peter R. Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich
2021	J	`jnl`	Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism. IEEE ACM Trans. Comput. Biol. Bioinform. Annalisa Occhipinti, Youssef Hamadi, Hillel Kugler, Christoph M. Wintersteiger, Boyan Yordanov, Claudio Angione
2020	A*	`conf`	EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. SP Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
2019	J	`jnl`	EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. IACR Cryptol. ePrint Arch. Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Béguelin
2019	C	`conf`	snmalloc: a message passing allocator. ISMM Paul Liétar, Theodore Butler, Sylvan Clebsch, Sophia Drossopoulou, Juliana Franco, Matthew J. Parkinson, Alex Shamis, Christoph M. Wintersteiger, David Chisnall
2018	Misc	`conf`	Compositional Taylor Model Based Validated Integration. SYNASC Kristjan Liiva, Paul B. Jackson, Grant O. Passmore, Christoph M. Wintersteiger
2018	A	`conf`	Exploring Approximations for Floating-Point Arithmetic Using UppSAT. IJCAR Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer
2018	A	`conf`	Learning-Sensitive Backdoors with Restarts. CP Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh
2018	—	`ch.`	Parallel Satisfiability Modulo Theories. Handbook of Parallel Constraint Reasoning Antti E. J. Hyvärinen, Christoph M. Wintersteiger
2018	—	`conf`	Programming Z3. SETSS Nikolaj S. Bjørner, Leonardo de Moura, Lev Nachmanson, Christoph M. Wintersteiger
2018	J	`jnl`	SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data. BMC Syst. Biol. Steven Woodhouse, Nir Piterman, Christoph M. Wintersteiger, Berthold Göttgens, Jasmin Fisher
2018	A	`conf`	The Effect of Structural Measures and Merges on SAT Solver Performance. CP Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh
2018	A	`ed.`	Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings SAT Olaf Beyersdorff, Christoph M. Wintersteiger
2017	J	`jnl`	An Approximation Framework for Solvers and Decision Procedures. J. Autom. Reason. Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer
2017	J	`jnl`	Exploring Approximations for Floating-Point Arithmetic using UppSAT. CoRR Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer
2017	J	`jnl`	Relating Complexity-theoretic Parameters with SAT Solver Performance. CoRR Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki, Vijay Ganesh
2016	—	`conf`	Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis. SMT@IJCAR Peter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn
2016	J	`jnl`	Automated Synthesis and Analysis of Switching Gene Regulatory Networks. Biosyst. Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Tomoki Otani, Youssef Hamadi, Frederick J. Livesey, Hillel Kugler
2016	A	`conf`	Deciding Bit-Vector Formulas with mcSAT. SAT Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer
2016	—	`conf`	On Intervals and Bounds in Bit-vector Arithmetic. SMT@IJCAR Mikolás Janota, Christoph M. Wintersteiger
2016	—	`ed.`	Proceedings of the 7th Workshop on Constraint Solvers in Testing, Verification, and Analysis co-located with The International Symposium on Software Testing and Analysis (ISSTA 2016), Saarbrücken, Germany, July 17th, 2016. CSTVA@ISSTA Omer Tripp, Christoph M. Wintersteiger
2015	A*	`conf`	Stochastic Local Search for Satisfiability Modulo Theories. AAAI Andreas Fröhlich, Armin Biere, Christoph M. Wintersteiger, Youssef Hamadi
2015	—	`conf`	Switching Gene Regulatory Networks. IPCAT Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler
2014	A*	`conf`	Analyzing and Synthesizing Genomic Logic Functions. CAV Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler
2014	A	`conf`	Approximations for Model Construction. IJCAR Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rümmer
2014	—	`ed.`	Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, affiliated with the 26th International Conference on Computer Aided Verification (CAV 2014), the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), and the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014), Vienna, Austria, July 17-18, 2014. SMT Philipp Rümmer, Christoph M. Wintersteiger
2014	—	`conf`	Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. QEST Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov, Youssef Hamadi
2013	J	`jnl`	Efficiently solving quantified bit-vector formulas. Formal Methods Syst. Des. Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura
2013	B	`conf`	Functional Analysis of Large-Scale DNA Strand Displacement Circuits. DNA Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Andrew Phillips, Hillel Kugler
2013	J	`jnl`	Loop summarization using state and transition invariants. Formal Methods Syst. Des. Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
2013	J	`jnl`	Ranking function synthesis for bit-vector relations. Formal Methods Syst. Des. Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger
2013	B	`conf`	Resourceful Reachability as HORN-LA. LPAR Josh Berdine, Nikolaj S. Bjørner, Samin Ishtiaq, Jael E. Kriener, Christoph M. Wintersteiger
2013	—	`conf`	SMT-Based Analysis of Biological Computation. NASA Formal Methods Boyan Yordanov, Christoph M. Wintersteiger, Youssef Hamadi, Hillel Kugler
2013	J	`jnl`	Seven Challenges in Parallel SAT Solving. AI Mag. Youssef Hamadi, Christoph M. Wintersteiger
2012	A*	`conf`	Diagnosing Abstraction Failure for Separation Logic-Based Analyses. CAV Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger
2012	A*	`conf`	Seven Challenges in Parallel SAT Solving. AAAI Youssef Hamadi, Christoph M. Wintersteiger
2011	—	`conf`	Lazy Decomposition for Distributed Decision Procedures PDMC Youssef Hamadi, João Marques-Silva, Christoph M. Wintersteiger
2011	A	`conf`	Loop Summarization and Termination Analysis. TACAS Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, Daniel Kroening
2011	—	`—`	Termination Analysis for Bit-Vector Programs. Christoph M. Wintersteiger
2010	B	`conf`	Efficiently solving quantified bit-vector formulas. FMCAD Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura
2010	—	`conf`	Loopfrog - loop summarization for static analysis. WING@ETAPS/IJCAR Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
2010	A	`conf`	Ranking Function Synthesis for Bit-Vector Relations. TACAS Byron Cook, Daniel Kroening, Philipp Rümmer, Christoph M. Wintersteiger
2010	A*	`conf`	Termination Analysis with Compositional Transition Invariants. CAV Daniel Kroening, Natasha Sharygina, Aliaksei Tsitovich, Christoph M. Wintersteiger
2009	A*	`conf`	A Concurrent Portfolio Approach to SMT Solving. CAV Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura
2009	A*	`conf`	Loopfrog: A Static Analyzer for ANSI-C Programs. ASE Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
2008	B	`conf`	Loop Summarization Using Abstract Transformers. ATVA Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
2007	A	`conf`	A First Step Towards a Unified Proof Checker for QBF. SAT Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kröning, Christoph M. Wintersteiger