Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChristian Jacobi 0002
Person information
- affiliation: IBM Germany
- affiliation (PhD 2002): Saarland University, Saarbrücken, Germany
Other persons with the same name
- Christian Jacobi — disambiguation page
- Christian Jacobi 0001 (aka: Christian P. Jacobi) — Swiss Federal Institute of Technology, Zürich, Switzerland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2002
[b1]Christian Jacobi:
Formal verification of a fully IEEE compliant floating point unit. Saarland University, Saarbrücken, Germany, 2002, pp. 1-147
Journal Articles
- 2023
- [j14]Deanna Postles Dunn Berger, Christian Jacobi
, Craig R. Walters, Robert J. Sonnelitter, Mike Cadigan, Matthias Klein:
Enterprise-Class Multilevel Cache Design: Low Latency, Huge Capacity, and High Reliability. IEEE Micro 43(1): 58-66 (2023) - 2020
- [j13]Anthony Saporito, Martin Recktenwald, Christian Jacobi, Gerrit Koch, Deanna Postles Dunn Berger, Robert J. Sonnelitter, Craig R. Walters, Jang-Soo Lee, Cédric Lichtenau, Ulrich Mayer, Eduard Herkel, Stefan Payer, Silvia M. Müller, Vesselina K. Papazova, Ekaterina M. Ambroladze, Timothy C. Bronson:
Design of the IBM z15 microprocessor. IBM J. Res. Dev. 64(5/6): 7:1-7:18 (2020) - [j12]Christian Jacobi, Charles F. Webb:
History of IBM Z Mainframe Processors. IEEE Micro 40(6): 50-58 (2020) - 2019
- [j11]Christopher J. Berry, David Wolpert, Christos Vezyrtzis, Richard F. Rizzolo, Sean M. Carey, Yaniv Maroz, Hunter F. Shi, Dureseti Chidambarrao, Christian Jacobi, Anthony Saporito, Thomas Strach, Alper Buyuktosunoglu, Preetham Lobo, Pierce Chuang, Pawel Owczarczyk, Ramon Bertran, Tobias Webel, Phillip J. Restle:
IBM z14: Processor Characterization and Power Management for High-Reliability Mainframe Systems. IEEE J. Solid State Circuits 54(1): 121-132 (2019) - 2018
- [j10]Craig R. Walters, David S. Hutton, Edward W. Chencinski, Christine Axnix, Ralf Winkelmann, Michael F. Fee, Anthony Saporito, Christian Jacobi:
Performance innovations in the IBM z14 platform. IBM J. Res. Dev. 62(2/3): 7:1-7:11 (2018) - [j9]Christian Jacobi, Anthony Saporito, Martin Recktenwald, Aaron Tsai, Ulrich Mayer, Markus M. Helms, Adam Collura, Pak-kin Mak, Robert J. Sonnelitter, Michael A. Blake, Tim Bronson, Arthur O'neill, Vesselina K. Papazova:
Design of the IBM z14 microprocessor. IBM J. Res. Dev. 62(2/3): 8:1-8:11 (2018) - [j8]Christian G. Zoellin, Oliver Draese, Jonathan D. Bradbury, Christian Jacobi, Aditya Puranik, Peter Sutton, Robert Tokumaru:
New database compression assists in the IBM z14 processor. IBM J. Res. Dev. 62(2/3): 12:1-12:11 (2018) - 2015
- [j7]Brian W. Curran, Christian Jacobi, J. J. Bonanno, D. A. Schroter, K. J. Alexander, A. Puranik, Markus M. Helms:
The IBM z13 multithreaded microprocessor. IBM J. Res. Dev. 59(4/5) (2015) - 2013
- [j6]C. Kevin Shum, Fadi Busaba, Christian Jacobi:
IBM zEC12: The Third-Generation High-Frequency Mainframe Microprocessor. IEEE Micro 33(2): 38-47 (2013) - 2012
- [j5]Fadi Busaba, Michael A. Blake, Brian W. Curran, Michael F. Fee, Christian Jacobi, Pak-kin Mak, Brian R. Prasky, Craig R. Walters:
IBM zEnterprise 196 microprocessor and cache subsystem. IBM J. Res. Dev. 56(1): 1 (2012) - 2007
- [j4]Lee Eisen, John Wesley Ward III, Hans-Werner Tast, Nicolas Mäding, Jens Leenstra, Silvia M. Müller, Christian Jacobi, Jochen Preiss, Eric M. Schwarz, Steven R. Carlough:
IBM POWER6 accelerators: VMX and DFU. IBM J. Res. Dev. 51(6): 663-684 (2007) - 2006
- [j3]Hwa-Joon Oh, Silvia M. Müller, Christian Jacobi, Kevin D. Tran, Scott R. Cottier, Brad W. Michael, Hiroo Nishikawa, Yonetaro Totsuka, Tatsuya Namatame, Naoka Yano, Takashi Machida, Sang H. Dhong:
A fully pipelined single-precision floating-point unit in the synergistic processor element of a CELL processor. IEEE J. Solid State Circuits 41(4): 759-771 (2006) - [j2]Sven Beyer, Christian Jacobi, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul:
Putting it all together - Formal verification of the VAMP. Int. J. Softw. Tools Technol. Transf. 8(4-5): 411-430 (2006) - 2005
- [j1]Christian Jacobi, Christoph Berg:
Formal Verification of the VAMP Floating Point Unit. Formal Methods Syst. Des. 26(3): 227-266 (2005)
Conference and Workshop Papers
- 2022
- [c17]Cédric Lichtenau, Alper Buyuktosunoglu, Ramon Bertran, Peter Figuli, Christian Jacobi, Nikolaos Papandreou, Haris Pozidis, Anthony Saporito, Andrew Sica, Elpida Tzortzatos:
AI accelerator on IBM telum processor: industrial product. ISCA 2022: 1012-1028 - 2021
- [c16]Christian Jacobi:
Real-time AI for Enterprise Workloads: the IBM Telum Processor. HCS 2021: 1-22 - 2020
- [c15]Bülent Abali, Bart Blaner, John J. Reilly, Matthias Klein, Ashutosh Mishra, Craig B. Agricola, Bedri Sendir, Alper Buyuktosunoglu, Christian Jacobi, William J. Starke, Haren Myneni, Charlie Wang:
Data Compression Accelerator on IBM POWER9 and z15 Processors : Industrial Product. ISCA 2020: 1-14 - 2018
- [c14]Christopher J. Berry, James D. Warnock, John Isakson, John Badar, Brian Bell, Frank Malgioglio, Guenter Mayer, Dina Hamid, Jesse Surprise, David Wolpert, Ofer Geva, Bill Huott, Leon J. Sigal, Sean M. Carey, Richard F. Rizzolo, Ricardo Nigaglioni, Mark Cichanowski, Dureseti Chidambarrao, Christian Jacobi, Anthony Saporito, Arthur O'neill, Robert J. Sonnelitter, Christian G. Zoellin, Michael H. Wood, José Neves:
IBM z14™: 14nm microprocessor for the next-generation mainframe. ISSCC 2018: 36-38 - 2012
- [c13]Christian Jacobi, Timothy J. Slegel, Dan F. Greiner:
Transactional Memory Architecture and Implementation for IBM System Z. MICRO 2012: 25-36 - 2008
- [c12]Udo Krautz, Markus Wedler, Wolfgang Kunz, Kai Weber, Christian Jacobi, Matthias Pflanz:
Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof. ASP-DAC 2008: 398-403 - 2006
- [c11]Udo Krautz, Matthias Pflanz, Christian Jacobi, Hans-Werner Tast, Kai Weber, Heinrich Theodor Vierhaus:
Evaluating coverage of error detection logic for soft errors using formal methods. DATE 2006: 176-181 - 2005
- [c10]Silvia M. Müller, Christian Jacobi, Hwa-Joon Oh, Kevin D. Tran, Scott R. Cottier, Brad W. Michael, Hiroo Nishikawa, Yonetaro Totsuka, Tatsuya Namatame, Naoka Yano, Takashi Machida, Sang H. Dhong:
The Vector Floating-Point Unit in a Synergistic Processor Element of a CELL Processor. IEEE Symposium on Computer Arithmetic 2005: 59-67 - [c9]Viresh Paruthi, Christian Jacobi, Kai Weber:
Efficient Symbolic Simulation via Dynamic Scheduling, Don't Caring, and Case Splitting. CHARME 2005: 114-128 - [c8]Christian Jacobi, Kai Weber, Viresh Paruthi, Jason Baumgartner:
Automatic Formal Verification of Fused-Multiply-Add FPUs. DATE 2005: 1298-1303 - 2003
- [c7]Sven Beyer, Christian Jacobi, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul:
Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. CHARME 2003: 51-65 - [c6]Michael Backes, Christian Jacobi:
Cryptographically Sound and Machine-Assisted Verification of Security Protocols. STACS 2003: 675-686 - 2002
- [c5]Christian Jacobi:
Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving. CAV 2002: 309-323 - [c4]Michael Backes, Christian Jacobi, Birgit Pfitzmann:
Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. FME 2002: 310-329 - 2001
- [c3]Christoph Berg, Christian Jacobi:
Formal Verification of the VAMP Floating Point Unit. CHARME 2001: 325-339 - 2000
- [c2]Christian Jacobi, Daniel Kroening:
Proving the Correctness of a Complete Microprocessor. GI Jahrestagung 2000: 293-303 - 1999
- [c1]Christian Jacobi, Cédric Lichtenau:
Highly Concurrent Locking in Shared Memory Database Systems. Euro-Par 1999: 477-481
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-05-02 23:46 CEST 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:
