Satrajit Chatterjee

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 19

Top Topics

Neural Network Training

Trading Systems

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

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