Satrajit Chatterjee

41 papers A* 6A 9B 1C 1Misc 1Journal 18Unranked 5

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	IA-TIGRIS: An Incremental and Adaptive Sampling-Based Planner for Online Informative Path Planning. IEEE Trans. Robotics Brady G. Moon, Nayana Suvarna, Andrew Jong, Satrajit Chatterjee, Junbin Yuan, Muqing Cao, Sebastian A. Scherer
2025	J	`jnl`	IA-TIGRIS: An Incremental and Adaptive Sampling-Based Planner for Online Informative Path Planning. CoRR Brady G. Moon, Nayana Suvarna, Andrew Jong, Satrajit Chatterjee, Junbin Yuan, Sebastian A. Scherer
2025	Misc	`conf`	Symmetry-Based Synthesis for Interpretable Boolean Evaluation. VLSID Andrea Costamagna, Alan Mishchenko, Satrajit Chatterjee, Giovanni De Micheli
2024	C	`conf`	An Enhanced Resubstitution Algorithm for Area-Oriented Logic Optimization. ISCAS Andrea Costamagna, Alan Mishchenko, Satrajit Chatterjee, Giovanni De Micheli
2024	J	`jnl`	Runtime Monitoring of ML-Based Scheduling Algorithms Toward Robust Domain-Specific SoCs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. A. Alper Goksoy, Alish Kanani, Satrajit Chatterjee, Ümit Y. Ogras
2023	J	`jnl`	Enabling Binary Neural Network Training on the Edge. ACM Trans. Embed. Comput. Syst. Erwei Wang, James J. Davis, Daniele Moro, Piotr Zielinski, Jia Jie Lim, Claudionor Coelho, Satrajit Chatterjee, Peter Y. K. Cheung, George A. Constantinides
2022	J	`jnl`	A Closer Look at Hardware-Friendly Weight Quantization. CoRR Sungmin Bae, Piotr Zielinski, Satrajit Chatterjee
2022	J	`jnl`	On the Generalization Mystery in Deep Learning. CoRR Satrajit Chatterjee, Piotr Zielinski
2022	A	`conf`	TIGRIS: An Informed Sampling-based Algorithm for Informative Path Planning. IROS Brady G. Moon, Satrajit Chatterjee, Sebastian A. Scherer
2022	J	`jnl`	TIGRIS: An Informed Sampling-based Algorithm for Informative Path Planning. CoRR Brady G. Moon, Satrajit Chatterjee, Sebastian A. Scherer
2021	J	`jnl`	Apollo: Transferable Architecture Exploration. CoRR Amir Yazdanbakhsh, Christof Angermüller, Berkin Akin, Yanqi Zhou, Albin Jones, Milad Hashemi, Kevin Swersky, Satrajit Chatterjee, Ravi Narayanaswami, James Laudon
2021	—	`conf`	Enabling Binary Neural Network Training on the Edge. EMDL@MobiSys Erwei Wang, James J. Davis, Daniele Moro, Piotr Zielinski, Jia Jie Lim, Claudionor Coelho, Satrajit Chatterjee, Peter Y. K. Cheung, George A. Constantinides
2021	J	`jnl`	Enabling Binary Neural Network Training on the Edge. CoRR Erwei Wang, James J. Davis, Daniele Moro, Piotr Zielinski, Claudionor Coelho, Satrajit Chatterjee, Peter Y. K. Cheung, George A. Constantinides
2021	A	`conf`	Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization. DATE 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, Jônata 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
2020	A*	`conf`	Circuit-Based Intrinsic Methods to Detect Overfitting. ICML Satrajit Chatterjee, Alan Mishchenko
2020	A*	`conf`	Coherent Gradients: An Approach to Understanding Generalization in Gradient Descent-based Optimization. ICLR Satrajit Chatterjee
2020	J	`jnl`	Coherent Gradients: An Approach to Understanding Generalization in Gradient Descent-based Optimization. CoRR Satrajit Chatterjee
2020	J	`jnl`	Explaining Memorization and Generalization: A Large-Scale Study with Coherent Gradients. CoRR Piotr Zielinski, Shankar Krishnan, Satrajit Chatterjee
2020	J	`jnl`	Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization. CoRR 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 Jr., 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, Jônata 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
2020	J	`jnl`	Making Coherence Out of Nothing At All: Measuring the Evolution of Gradient Alignment. CoRR Satrajit Chatterjee, Piotr Zielinski
2019	J	`jnl`	Circuit-Based Intrinsic Methods to Detect Overfitting. CoRR Satrajit Chatterjee, Alan Mishchenko
2018	—	`conf`	Learning and Memorization. ICLR (Workshop) Satrajit Chatterjee
2018	A*	`conf`	Learning and Memorization. ICML Satrajit Chatterjee
2012	J	`jnl`	Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics. Formal Methods Syst. Des. Satrajit Chatterjee, Michael Kishinevsky
2012	J	`jnl`	xMAS: Quick Formal Modeling of Communication Fabrics to Enable Verification. IEEE Des. Test Comput. Satrajit Chatterjee, Michael Kishinevsky, Ümit Y. Ogras
2011	—	`conf`	System interconnect design exploration for embedded MPSoCs. SLIP Chen-Ling Chou, Radu Marculescu, Ümit Y. Ogras, Satrajit Chatterjee, Michael Kishinevsky, Dmitrii Loukianov
2011	B	`conf`	Verifying Deadlock-Freedom of Communication Fabrics. VMCAI Alexander Gotmanov, Satrajit Chatterjee, Michael Kishinevsky
2010	A*	`conf`	Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics. CAV Satrajit Chatterjee, Michael Kishinevsky
2010	—	`conf`	Physical-Aware Link Allocation and Route Assignment for Chip Multiprocessing. NOCS Nikita Nikitin, Satrajit Chatterjee, Jordi Cortadella, Michael Kishinevsky, Ümit Y. Ogras
2010	—	`conf`	Quick formal modeling of communication fabrics to enable verification. HLDVT Satrajit Chatterjee, Michael Kishinevsky, Ümit Y. Ogras
2008	A	`conf`	Boolean factoring and decomposition of logic networks. ICCAD Alan Mishchenko, Robert K. Brayton, Satrajit Chatterjee
2007	A	`conf`	Combinational and sequential mapping with priority cuts. ICCAD Alan Mishchenko, Sungmin Cho, Satrajit Chatterjee, Robert K. Brayton
2007	J	`jnl`	Improvements to Technology Mapping for LUT-Based FPGAs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton
2007	A*	`conf`	On Resolution Proofs for Combinational Equivalence. DAC Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Andreas Kuehlmann
2006	A*	`conf`	DAG-aware AIG rewriting a fresh look at combinational logic synthesis. DAC Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton
2006	A	`conf`	Factor cuts. ICCAD Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton
2006	A	`conf`	Improvements to combinational equivalence checking. ICCAD Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton, Niklas Eén
2006	A	`conf`	Improvements to technology mapping for LUT-based FPGAs. FPGA Alan Mishchenko, Satrajit Chatterjee, Robert K. Brayton
2006	J	`jnl`	Reducing Structural Bias in Technology Mapping. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Xinning Wang, Timothy Kam
2005	A	`conf`	Reducing structural bias in technology mapping. ICCAD Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Xinning Wang, Timothy Kam
2004	A	`conf`	A new incremental placement algorithm and its application to congestion-aware divisor extraction. ICCAD Satrajit Chatterjee, Robert K. Brayton