Geert Janssen

According to our database, Geert Janssen authored at least 13 papers between 1994 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Project CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks.

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

CoRR, 2021

CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks.

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

Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks 1, 2021

2019

Large Data Flow Graphs in Limited GPU Memory.

Geert Janssen, Vladimir Zolotov, Tung D. Le

Proceedings of the 2019 IEEE International Conference on Big Data (IEEE BigData), 2019

2016

Asset health management using predictive and prescriptive analytics for the electric power grid.

Aanchal Goyal, Ernauli C. Aprilia, Geert Janssen, Younghun Kim, Tarun Kumar, Richard Mueller, Dzung Phan, Abhishek Raman, Jeroen D. Schuddebeurs, Jinjun Xiong, Rui Zhang

IBM J. Res. Dev., 2016

2013

IBM Blue Gene/Q memory subsystem with speculative execution and transactional memory.

Martin Ohmacht, Amy Wang, Thomas Gooding, Ben J. Nathanson, Indira Nair, Geert Janssen, Marcel Schaal, Burkhard D. Steinmacher-Burow

IBM J. Res. Dev., 2013

2009

Multicore power management: Ensuring robustness via early-stage formal verification.

Anita Lungu, Pradip Bose, Daniel J. Sorin, Steven German, Geert Janssen

Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

2008

Exploring power management in multi-core systems.

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

Proceedings of the 13th Asia South Pacific Design Automation Conference, 2008

2007

Performance modeling for early analysis of multi-core systems.

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

Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, 2007

2006

Scalable Sequential Equivalence Checking across Arbitrary Design Transformations .

Jason Baumgartner, Hari Mony, Viresh Paruthi, Robert Kanzelman, Geert Janssen

Proceedings of the 24th International Conference on Computer Design (ICCD 2006), 2006

2003

First CADathlon Programming Contest held at 2002 ICCAD.

Soha Hassoun, Geert Janssen

IEEE Des. Test Comput., 2003

A Consumer Report on BDD Packages.

Geert Janssen

Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design, 2003

1998

A Performance Study of BDD-Based Model Checking.

Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan, Fabio Somenzi

Proceedings of the Formal Methods in Computer-Aided Design, 1998

1994

Exploiting Structural Similarities in a BDD-Based Verification Method.

C. A. J. van Eijk, Geert Janssen

Proceedings of the Theorem Provers in Circuit Design, 1994