Christian Jacobi

ORCID

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 10

Top Venues

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

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) (2023)
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)
Christian Jacobi, Charles F. Webb
History of IBM Z Mainframe Processors. IEEE Micro 40 (6) (2020)
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) (2020)
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)
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) (2019)
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)
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) (2018)
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) (2018)
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) (2018)
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)
C. Kevin Shum, Fadi Busaba, Christian Jacobi
IBM zEC12: The Third-Generation High-Frequency Mainframe Microprocessor. IEEE Micro 33 (2) (2013)
Christian Jacobi, Timothy J. Slegel, Dan F. Greiner
Transactional Memory Architecture and Implementation for IBM System Z. MICRO (2012)
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) (2012)
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)
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) (2007)
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)
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) (2006)
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) (2006)
Viresh Paruthi, Christian Jacobi, Kai Weber
Efficient Symbolic Simulation via Dynamic Scheduling, Don't Caring, and Case Splitting. CHARME (2005)
Christian Jacobi, Kai Weber, Viresh Paruthi, Jason Baumgartner
Automatic Formal Verification of Fused-Multiply-Add FPUs. DATE (2005)
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)
Christian Jacobi, Christoph Berg
Formal Verification of the VAMP Floating Point Unit. Formal Methods Syst. Des. 26 (3) (2005)
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)
Michael Backes, Christian Jacobi
Cryptographically Sound and Machine-Assisted Verification of Security Protocols. STACS (2003)
Christian Jacobi
Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving. CAV (2002)
Michael Backes, Christian Jacobi, Birgit Pfitzmann
Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. FME (2002)
Christoph Berg, Christian Jacobi
Formal Verification of the VAMP Floating Point Unit. CHARME (2001)
Christian Jacobi, Daniel Kroening
Proving the Correctness of a Complete Microprocessor. GI Jahrestagung (2000)
Christian Jacobi, Cédric Lichtenau
Highly Concurrent Locking in Shared Memory Database Systems. Euro-Par (1999)

Christian Jacobi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christian Jacobi