Geert Janssen

Publication Activity (10 Years)

Years Active: 1994-2021
Publications (10 Years): 3

Top Topics

Graphics Processors

Ibm Zenterprise

Learning Systems

Top Venues

IBM J. Res. Dev.

NeurIPS Datasets and Benchmarks

Publications

Ruchir Puri, David S. Kung, Geert Janssen, Wei Zhang, Giacomo Domeniconi, Vladimir Zolotov, Julian Dolby, Jie Chen, Mihir R. Choudhury, Lindsey Decker, Veronika Thost, Luca Buratti, Saurabh Pujar, Shyam Ramji, Ulrich Finkler, Susan Malaika, Frederick Reiss
CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks. NeurIPS Datasets and Benchmarks (2021)
Ruchir Puri, David S. Kung, Geert Janssen, Wei Zhang, Giacomo Domeniconi, Vladimir Zolotov, Julian Dolby, Jie Chen, Mihir R. Choudhury, Lindsey Decker, Veronika Thost, Luca Buratti, Saurabh Pujar, Ulrich Finkler
Project CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks. CoRR (2021)
Geert Janssen, Vladimir Zolotov, Tung D. Le
Large Data Flow Graphs in Limited GPU Memory. IEEE BigData (2019)
Martin Ohmacht, Amy Wang, Thomas Gooding, Ben J. Nathanson, Indira Nair, Geert Janssen, Marcel Schaal, Burkhard D. Steinmacher-Burow
IBM Blue Gene/Q memory subsystem with speculative execution and transactional memory. IBM J. Res. Dev. 57 (1/2) (2013)
Anita Lungu, Pradip Bose, Daniel J. Sorin, Steven German, Geert Janssen
Multicore power management: Ensuring robustness via early-stage formal verification. MEMOCODE (2009)
Reinaldo A. Bergamaschi, Guoling Han, Alper Buyuktosunoglu, Hiren D. Patel, Indira Nair, Gero Dittmann, Geert Janssen, Nagu R. Dhanwada, Zhigang Hu, Pradip Bose, John A. Darringer
Exploring power management in multi-core systems. ASP-DAC (2008)
Reinaldo A. Bergamaschi, Indira Nair, Gero Dittmann, Hiren D. Patel, Geert Janssen, Nagu R. Dhanwada, Alper Buyuktosunoglu, Emrah Acar, Gi-Joon Nam, Dorothy Kucar, Pradip Bose, John A. Darringer, Guoling Han
Performance modeling for early analysis of multi-core systems. CODES+ISSS (2007)
Jason Baumgartner, Hari Mony, Viresh Paruthi, Robert Kanzelman, Geert Janssen
Scalable Sequential Equivalence Checking across Arbitrary Design Transformations . ICCD (2006)
Soha Hassoun, Geert Janssen
First CADathlon Programming Contest held at 2002 ICCAD. IEEE Des. Test Comput. 20 (3) (2003)
Geert Janssen
A Consumer Report on BDD Packages. SBCCI (2003)
Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan, Fabio Somenzi
A Performance Study of BDD-Based Model Checking. FMCAD (1998)
C. A. J. van Eijk, Geert Janssen
Exploiting Structural Similarities in a BDD-Based Verification Method. TPCD (1994)