Christian Jacobi

33 papers A* 4A 3C 1Journal 15Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Robust Power Management: A Key Aspect of Silent Data Corruption-Free Systems. IEEE Micro Pradip Bose, Ramon Bertran, Alper Buyuktosunoglu, Hans M. Jacobson, Karthik Swaminathan, Matthias Pflanz, Charles F. Webb, Tobias Webel, Christian Jacobi
2023	J	`jnl`	Enterprise-Class Multilevel Cache Design: Low Latency, Huge Capacity, and High Reliability. IEEE Micro Deanna Postles Dunn Berger, Christian Jacobi, Craig R. Walters, Robert J. Sonnelitter, Mike Cadigan, Matthias Klein
2022	A*	`conf`	AI accelerator on IBM telum processor: industrial product. ISCA Cédric Lichtenau, Alper Buyuktosunoglu, Ramon Bertran, Peter Figuli, Christian Jacobi, Nikolaos Papandreou, Haris Pozidis, Anthony Saporito, Andrew Sica, Elpida Tzortzatos
2021	—	`conf`	Real-time AI for Enterprise Workloads: the IBM Telum Processor. HCS Christian Jacobi
2020	A*	`conf`	Data Compression Accelerator on IBM POWER9 and z15 Processors : Industrial Product. ISCA 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
2020	J	`jnl`	Design of the IBM z15 microprocessor. IBM J. Res. Dev. 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
2020	J	`jnl`	History of IBM Z Mainframe Processors. IEEE Micro Christian Jacobi, Charles F. Webb
2019	J	`jnl`	IBM z14: Processor Characterization and Power Management for High-Reliability Mainframe Systems. IEEE J. Solid State Circuits 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
2018	J	`jnl`	Design of the IBM z14 microprocessor. IBM J. Res. Dev. 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
2018	—	`conf`	IBM z14™: 14nm microprocessor for the next-generation mainframe. ISSCC 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
2018	J	`jnl`	New database compression assists in the IBM z14 processor. IBM J. Res. Dev. Christian G. Zoellin, Oliver Draese, Jonathan D. Bradbury, Christian Jacobi, Aditya Puranik, Peter Sutton, Robert Tokumaru
2018	J	`jnl`	Performance innovations in the IBM z14 platform. IBM J. Res. Dev. Craig R. Walters, David S. Hutton, Edward W. Chencinski, Christine Axnix, Ralf Winkelmann, Michael F. Fee, Anthony Saporito, Christian Jacobi
2015	J	`jnl`	The IBM z13 multithreaded microprocessor. IBM J. Res. Dev. Brian W. Curran, Christian Jacobi, J. J. Bonanno, D. A. Schroter, K. J. Alexander, A. Puranik, Markus M. Helms
2013	J	`jnl`	IBM zEC12: The Third-Generation High-Frequency Mainframe Microprocessor. IEEE Micro C. Kevin Shum, Fadi Busaba, Christian Jacobi
2012	J	`jnl`	IBM zEnterprise 196 microprocessor and cache subsystem. IBM J. Res. Dev. Fadi Busaba, Michael A. Blake, Brian W. Curran, Michael F. Fee, Christian Jacobi, Pak-kin Mak, Brian R. Prasky, Craig R. Walters
2012	A*	`conf`	Transactional Memory Architecture and Implementation for IBM System Z. MICRO Christian Jacobi, Timothy J. Slegel, Dan F. Greiner
2008	—	`conf`	Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof. ASP-DAC Udo Krautz, Markus Wedler, Wolfgang Kunz, Kai Weber, Christian Jacobi, Matthias Pflanz
2007	J	`jnl`	IBM POWER6 accelerators: VMX and DFU. IBM J. Res. Dev. 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
2006	J	`jnl`	A fully pipelined single-precision floating-point unit in the synergistic processor element of a CELL processor. IEEE J. Solid State Circuits 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
2006	A	`conf`	Evaluating coverage of error detection logic for soft errors using formal methods. DATE Udo Krautz, Matthias Pflanz, Christian Jacobi, Hans-Werner Tast, Kai Weber, Heinrich Theodor Vierhaus
2006	J	`jnl`	Putting it all together - Formal verification of the VAMP. Int. J. Softw. Tools Technol. Transf. Sven Beyer, Christian Jacobi, Daniel Kröning, Dirk Leinenbach, Wolfgang J. Paul
2005	A	`conf`	Automatic Formal Verification of Fused-Multiply-Add FPUs. DATE Christian Jacobi, Kai Weber, Viresh Paruthi, Jason Baumgartner
2005	—	`conf`	Efficient Symbolic Simulation via Dynamic Scheduling, Don't Caring, and Case Splitting. CHARME Viresh Paruthi, Christian Jacobi, Kai Weber
2005	J	`jnl`	Formal Verification of the VAMP Floating Point Unit. Formal Methods Syst. Des. Christian Jacobi, Christoph Berg
2005	C	`conf`	The Vector Floating-Point Unit in a Synergistic Processor Element of a CELL Processor. IEEE Symposium on Computer Arithmetic 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
2003	A	`conf`	Cryptographically Sound and Machine-Assisted Verification of Security Protocols. STACS Michael Backes, Christian Jacobi
2003	—	`conf`	Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. CHARME Sven Beyer, Christian Jacobi, Daniel Kroening, Dirk Leinenbach, Wolfgang J. Paul
2002	—	`conf`	Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. FME Michael Backes, Christian Jacobi, Birgit Pfitzmann
2002	A*	`conf`	Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving. CAV Christian Jacobi
2002	—	`—`	Formal verification of a fully IEEE compliant floating point unit. Christian Jacobi
2001	—	`conf`	Formal Verification of the VAMP Floating Point Unit. CHARME Christoph Berg, Christian Jacobi
2000	—	`conf`	Proving the Correctness of a Complete Microprocessor. GI Jahrestagung Christian Jacobi, Daniel Kroening
1999	—	`conf`	Highly Concurrent Locking in Shared Memory Database Systems. Euro-Par Christian Jacobi, Cédric Lichtenau