Satrajit Chatterjee
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
12
Active years
2004–2025
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | VLSID | Symmetry-Based Synthesis for Interpretable Boolean Evaluation. | Andrea Costamagna, Alan Mishchenko, Satrajit Chatterjee, Giovanni De Micheli |
| 2024 | ISCAS | An Enhanced Resubstitution Algorithm for Area-Oriented Logic Optimization. | Andrea Costamagna, Alan Mishchenko, Satrajit Chatterjee, Giovanni De Micheli |
| 2022 | IROS | TIGRIS: An Informed Sampling-based Algorithm for Informative Path Planning. | Brady G. Moon, Satrajit Chatterjee, Sebastian A. Scherer |
| 2021 | DATE | Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization. | Shubham Rai, Walter Lau Neto, Yukio Miyasaka, Xinpei Zhang, Mingfei Yu, Qingyang Yi, Masahiro Fujita, Guilherme B. Manske, Matheus F. Pontes, Leomar S. da Rosa, Marilton S. de Aguiar, Paulo F. Butzen, Po-Chun Chien, Yu-Shan Huang, Hoa-Ren Wang, Jie-Hong R. Jiang, Jiaqi Gu, Zheng Zhao, Zixuan Jiang, David Z. Pan, Brunno A. Abreu, Isac de Souza Campos, Augusto Andre Souza Berndt, Cristina Meinhardt, Jnata Tyska Carvalho, Mateus Grellert, Sergio Bampi, Aditya Lohana, Akash Kumar, Wei Zeng, Azadeh Davoodi, Rasit Onur Topaloglu, Yuan Zhou, Jordan Dotzel, Yichi Zhang, Hanyu Wang, Zhiru Zhang, Valerio Tenace, Pierre-Emmanuel Gaillardon, Alan Mishchenko, Satrajit Chatterjee |
| 2021 | Mobisys | Enabling Binary Neural Network Training on the Edge. | Erwei Wang, James J. Davis, Daniele Moro, Piotr Zielinski, Jia Jie Lim, Claudionor Coelho, Satrajit Chatterjee, Peter Y. K. Cheung, George A. Constantinides |
| 2020 | ICLR | Coherent Gradients: An Approach to Understanding Generalization in Gradient Descent-based Optimization. | Satrajit Chatterjee |
| 2020 | ICML | Circuit-Based Intrinsic Methods to Detect Overfitting. | Satrajit Chatterjee, Alan Mishchenko |
| 2018 | ICLR | Learning and Memorization. | Satrajit Chatterjee |
| 2018 | ICML | Learning and Memorization. | Satrajit Chatterjee |
| 2011 | VMCAI | Verifying Deadlock-Freedom of Communication Fabrics. | Alexander Gotmanov, Satrajit Chatterjee, Michael Kishinevsky |
| 2010 | CAV | Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics. | Satrajit Chatterjee, Michael Kishinevsky |
| 2008 | ICCAD | Boolean factoring and decomposition of logic networks. | Alan Mishchenko, Robert K. Brayton, Satrajit Chatterjee |
| 2007 | DAC | On Resolution Proofs for Combinational Equivalence. | Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Andreas Kuehlmann |
| 2007 | ICCAD | Combinational and sequential mapping with priority cuts. | Alan Mishchenko, Sungmin Cho, Satrajit Chatterjee, Robert K. Brayton |
| 2006 | DAC | DAG-aware AIG rewriting a fresh look at combinational logic synthesis. | Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton |
| 2006 | FPGA | Improvements to technology mapping for LUT-based FPGAs. | Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton |
| 2006 | ICCAD | Factor cuts. | Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton |
| 2006 | ICCAD | Improvements to combinational equivalence checking. | Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton, Niklas En |
| 2005 | ICCAD | Reducing structural bias in technology mapping. | Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Xinning Wang, Timothy Kam |
| 2004 | ICCAD | A new incremental placement algorithm and its application to congestion-aware divisor extraction. | Satrajit Chatterjee, Robert K. Brayton |