Christian Jacobi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
12
Active years
1989–2022
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ISCA | AI accelerator on IBM telum processor: industrial product. | Cdric Lichtenau, Alper Buyuktosunoglu, Ramon Bertran, Peter Figuli, Christian Jacobi, Nikolaos Papandreou, Haris Pozidis, Anthony Saporito, Andrew Sica, Elpida Tzortzatos |
| 2020 | ISCA | Data Compression Accelerator on IBM POWER9 and z15 Processors : Industrial Product. | Blent 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 |
| 2012 | MICRO | Transactional Memory Architecture and Implementation for IBM System Z. | Christian Jacobi, Timothy J. Slegel, Dan F. Greiner |
| 2008 | ASPDAC | Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof. | Udo Krautz, Markus Wedler, Wolfgang Kunz, Kai Weber, Christian Jacobi, Matthias Pflanz |
| 2006 | DATE | Evaluating coverage of error detection logic for soft errors using formal methods. | Udo Krautz, Matthias Pflanz, Christian Jacobi, Hans-Werner Tast, Kai Weber, Heinrich Theodor Vierhaus |
| 2005 | ARITH | The Vector Floating-Point Unit in a Synergistic Processor Element of a CELL Processor. | Silvia M. Mller, 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 |
| 2005 | DATE | Automatic Formal Verification of Fused-Multiply-Add FPUs. | Christian Jacobi, Kai Weber, Viresh Paruthi, Jason Baumgartner |
| 2003 | STACS | Cryptographically Sound and Machine-Assisted Verification of Security Protocols. | Michael Backes, Christian Jacobi |
| 2002 | CAV | Formal Verification of Complex Out-of-Order Pipelines by Combining Model-Checking and Theorem-Proving. | Christian Jacobi |
| 2002 | FM | Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation. | Michael Backes, Christian Jacobi, Birgit Pfitzmann |
| 2000 | GI | Proving the Correctness of a Complete Microprocessor. | Christian Jacobi, Daniel Kroening |
| 1999 | EuroPar | Highly Concurrent Locking in Shared Memory Database Systems. | Christian Jacobi, Cdric Lichtenau |
| 1993 | SOSP | Using Threads in Interactive Systems: A Case Study. | Carl Hauser, Christian Jacobi, Marvin Theimer, Brent B. Welch, Mark D. Weiser |
| 1989 | PLDI | Experiences Creating a Portable Cedar. | Russell R. Atkinson, Alan J. Demers, Carl Hauser, Christian Jacobi, Peter Kessler, Mark D. Weiser |