default search action
Christoph M. Wintersteiger
Person information
- affiliation: Microsoft Research, Cambridge, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j12]Matthew A. Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Christoph M. Wintersteiger, Sylvan Clebsch, John Starks, Manuel Costa:
Confidential Container Groups. Commun. ACM 67(10): 40-49 (2024) - [j11]Matthew A. Johnson
, Stavros Volos, Ken Gordon, Sean T. Allen, Christoph M. Wintersteiger, Sylvan Clebsch, John Starks, Manuel Costa:
Confidential Container Groups: Implementing confidential computing on Azure container instances. ACM Queue 22(2) (2024) - 2023
- [j10]Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Himanshu Arora, Hillel Kugler
The Reasoning Engine: A Satisfiability Modulo Theories-Based Framework for Reasoning About Discrete Biological Models. J. Comput. Biol. 30(9): 1046-1058 (2023) - [j9]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:
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. Proc. VLDB Endow. 17(2): 225-240 (2023) - [i5]Matthew A. Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Christoph M. Wintersteiger, Sylvan Clebsch, John Starks, Manuel Costa:
COCOAEXPO: Confidential Containers via Attested Execution Policies. CoRR abs/2302.03976 (2023) - [i4]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:
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. CoRR abs/2310.11559 (2023) - 2022
- [c32]Boyan Yordanov, Sara-Jane Dunn, Colin Gravill, Hillel Kugler
An SMT-Based Framework for Reasoning About Discrete Biological Models. ISBRA 2022: 114-125 - [c31]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:
IA-CCF: Individual Accountability for Permissioned Ledgers. NSDI 2022: 467-491 - 2021
- [j8]Annalisa Occhipinti
Discovering Essential Multiple Gene Effects Through Large Scale Optimization: An Application to Human Cancer Metabolism. IEEE ACM Trans. Comput. Biol. Bioinform. 18(6): 2339-2352 (2021) - 2020
- [c30]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
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. SP 2020: 983-1002
2010 – 2019
- 2019
- [c29]Paul Liétar, Theodore Butler, Sylvan Clebsch, Sophia Drossopoulou, Juliana Franco, Matthew J. Parkinson, Alex Shamis
snmalloc: a message passing allocator. ISMM 2019: 122-135 - [i3]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:
EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider. IACR Cryptol. ePrint Arch. 2019: 757 (2019) - 2018
- [j7]Steven Woodhouse, Nir Piterman, Christoph M. Wintersteiger
SCNS: a graphical tool for reconstructing executable regulatory networks from single-cell genomic data. BMC Syst. Biol. 12(1): 59:1-59:7 (2018) - [c28]Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger
Exploring Approximations for Floating-Point Arithmetic Using UppSAT. IJCAR 2018: 246-262 - [c27]Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger
The Effect of Structural Measures and Merges on SAT Solver Performance. CP 2018: 436-452 - [c26]Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger
Learning-Sensitive Backdoors with Restarts. CP 2018: 453-469 - [c25]Nikolaj S. Bjørner, Leonardo de Moura, Lev Nachmanson, Christoph M. Wintersteiger
Programming Z3. SETSS 2018: 148-201 - [c24]Kristjan Liiva, Paul B. Jackson
Compositional Taylor Model Based Validated Integration. SYNASC 2018: 45-52 - [p1]Antti E. J. Hyvärinen, Christoph M. Wintersteiger
Parallel Satisfiability Modulo Theories. Handbook of Parallel Constraint Reasoning 2018: 141-178 - [e3]Olaf Beyersdorff, Christoph M. Wintersteiger
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. Lecture Notes in Computer Science 10929, Springer 2018, ISBN 978-3-319-94143-1 [contents] - [d1]Youssef Hamadi, Claudio Angione, Hillel Kugler, Christoph M. Wintersteiger, Boyan Yordanov:
Large-scale Genetic Exploration of Genome-wide Models: an Application to Human Cancer Metabolism. IEEE DataPort, 2018 - 2017
- [j6]Aleksandar Zeljic
An Approximation Framework for Solvers and Decision Procedures. J. Autom. Reason. 58(1): 127-147 (2017) - [i2]Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki, Vijay Ganesh:
Relating Complexity-theoretic Parameters with SAT Solver Performance. CoRR abs/1706.08611 (2017) - [i1]Aleksandar Zeljic, Peter Backeman, Christoph M. Wintersteiger, Philipp Rümmer:
Exploring Approximations for Floating-Point Arithmetic using UppSAT. CoRR abs/1711.08859 (2017) - 2016
- [j5]Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger
Automated Synthesis and Analysis of Switching Gene Regulatory Networks. Biosyst. 146: 26-34 (2016) - [c23]Peter Backeman, Christoph M. Wintersteiger, Boyan Yordanov, Sara-Jane Dunn:
Algebraic Polynomial-based Synthesis for Abstract Boolean Network Analysis. SMT@IJCAR 2016: 41-50 - [c22]Mikolás Janota, Christoph M. Wintersteiger:
On Intervals and Bounds in Bit-vector Arithmetic. SMT@IJCAR 2016: 81-84 - [c21]Aleksandar Zeljic, Christoph M. Wintersteiger
Deciding Bit-Vector Formulas with mcSAT. SAT 2016: 249-266 - [e2]Omer Tripp, Christoph M. Wintersteiger:
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. CEUR Workshop Proceedings 1639, CEUR-WS.org 2016 [contents] - 2015
- [c20]Andreas Fröhlich, Armin Biere, Christoph M. Wintersteiger, Youssef Hamadi:
Stochastic Local Search for Satisfiability Modulo Theories. AAAI 2015: 1136-1143 - [c19]Yoli Shavit, Boyan Yordanov, Sara-Jane Dunn, Christoph M. Wintersteiger
Switching Gene Regulatory Networks. IPCAT 2015: 131-144 - 2014
- [c18]Aleksandar Zeljic, Christoph M. Wintersteiger
Approximations for Model Construction. IJCAR 2014: 344-359 - [c17]Nicola Paoletti
Analyzing and Synthesizing Genomic Logic Functions. CAV 2014: 343-357 - [c16]Markus N. Rabe, Christoph M. Wintersteiger
Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains. QEST 2014: 388-403 - [e1]Philipp Rümmer, Christoph M. Wintersteiger:
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. CEUR Workshop Proceedings 1163, CEUR-WS.org 2014 [contents] - 2013
- [j4]Youssef Hamadi, Christoph M. Wintersteiger
Seven Challenges in Parallel SAT Solving. AI Mag. 34(2): 99-106 (2013) - [j3]Christoph M. Wintersteiger
Efficiently solving quantified bit-vector formulas. Formal Methods Syst. Des. 42(1): 3-23 (2013) - [j2]Daniel Kroening
Loop summarization using state and transition invariants. Formal Methods Syst. Des. 42(3): 221-261 (2013) - [j1]Byron Cook, Daniel Kroening
Ranking function synthesis for bit-vector relations. Formal Methods Syst. Des. 43(1): 93-120 (2013) - [c15]Boyan Yordanov, Christoph M. Wintersteiger
Functional Analysis of Large-Scale DNA Strand Displacement Circuits. DNA 2013: 189-203 - [c14]Josh Berdine, Nikolaj S. Bjørner, Samin Ishtiaq, Jael E. Kriener, Christoph M. Wintersteiger
Resourceful Reachability as HORN-LA. LPAR 2013: 137-146 - [c13]Boyan Yordanov, Christoph M. Wintersteiger
SMT-Based Analysis of Biological Computation. NASA Formal Methods 2013: 78-92 - 2012
- [c12]Youssef Hamadi, Christoph M. Wintersteiger:
Seven Challenges in Parallel SAT Solving. AAAI 2012: 2120-2125 - [c11]Josh Berdine, Arlen Cox, Samin Ishtiaq, Christoph M. Wintersteiger
Diagnosing Abstraction Failure for Separation Logic-Based Analyses. CAV 2012: 155-173 - 2011
- [b1]Christoph M. Wintersteiger:
Termination Analysis for Bit-Vector Programs. ETH Zurich, Zürich, Switzerland, 2011 - [c10]Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger
Loop Summarization and Termination Analysis. TACAS 2011: 81-95 - [c9]Youssef Hamadi, João Marques-Silva, Christoph M. Wintersteiger
Lazy Decomposition for Distributed Decision Procedures. PDMC 2011: 43-54 - 2010
- [c8]Daniel Kroening, Natasha Sharygina
Loopfrog - loop summarization for static analysis. WING@ETAPS/IJCAR 2010: 130-131 - [c7]Daniel Kroening
Termination Analysis with Compositional Transition Invariants. CAV 2010: 89-103 - [c6]Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura:
Efficiently solving quantified bit-vector formulas. FMCAD 2010: 239-246 - [c5]Byron Cook, Daniel Kroening
Ranking Function Synthesis for Bit-Vector Relations. TACAS 2010: 236-250
2000 – 2009
- 2009
- [c4]Christoph M. Wintersteiger
A Concurrent Portfolio Approach to SMT Solving. CAV 2009: 715-720 - [c3]Daniel Kroening
Loopfrog: A Static Analyzer for ANSI-C Programs. ASE 2009: 668-670 - 2008
- [c2]Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger
Loop Summarization Using Abstract Transformers. ATVA 2008: 111-125 - 2007
- [c1]Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kröning, Christoph M. Wintersteiger
A First Step Towards a Unified Proof Checker for QBF. SAT 2007: 201-214
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-19 22:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: