Geert Janssen - RankMe

14 papers B 1C 2Misc 1Journal 5Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Automated Customization of LLMs for Enterprise Code Repositories Using Semantic Scopes. CoRR Ulrich Finkler, Irene Manotas, Wei Zhang, Geert Janssen, Octavian Popescu, Shyam Ramji
2021	—	`conf`	CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks. NeurIPS Datasets and Benchmarks 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
2021	J	`jnl`	Project CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks. CoRR 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
2019	—	`conf`	Large Data Flow Graphs in Limited GPU Memory. IEEE BigData Geert Janssen, Vladimir Zolotov, Tung D. Le
2016	J	`jnl`	Asset health management using predictive and prescriptive analytics for the electric power grid. IBM J. Res. Dev. Aanchal Goyal, Ernauli C. Aprilia, Geert Janssen, Younghun Kim, Tarun Kumar, Richard Mueller, Dzung Phan, Abhishek Raman, Jeroen D. Schuddebeurs, Jinjun Xiong, Rui Zhang
2013	J	`jnl`	IBM Blue Gene/Q memory subsystem with speculative execution and transactional memory. IBM J. Res. Dev. Martin Ohmacht, Amy Wang, Thomas Gooding, Ben J. Nathanson, Indira Nair, Geert Janssen, Marcel Schaal, Burkhard D. Steinmacher-Burow
2009	C	`conf`	Multicore power management: Ensuring robustness via early-stage formal verification. MEMOCODE Anita Lungu, Pradip Bose, Daniel J. Sorin, Steven German, Geert Janssen
2008	—	`conf`	Exploring power management in multi-core systems. ASP-DAC 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
2007	Misc	`conf`	Performance modeling for early analysis of multi-core systems. CODES+ISSS 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
2006	C	`conf`	Scalable Sequential Equivalence Checking across Arbitrary Design Transformations . ICCD Jason Baumgartner, Hari Mony, Viresh Paruthi, Robert Kanzelman, Geert Janssen
2003	—	`conf`	A Consumer Report on BDD Packages. SBCCI Geert Janssen
2003	J	`jnl`	First CADathlon Programming Contest held at 2002 ICCAD. IEEE Des. Test Comput. Soha Hassoun, Geert Janssen
1998	B	`conf`	A Performance Study of BDD-Based Model Checking. FMCAD Bwolen Yang, Randal E. Bryant, David R. O'Hallaron, Armin Biere, Olivier Coudert, Geert Janssen, Rajeev K. Ranjan, Fabio Somenzi
1994	—	`conf`	Exploiting Structural Similarities in a BDD-Based Verification Method. TPCD C. A. J. van Eijk, Geert Janssen