Michel KinsyAssistant Professor
Director, Adaptive and Secure Computing Systems Laboratory (ASCS Lab)
Department of Electrical and Computer Engineering
Boston University
8 Saint Mary’s Street
Boston, MA 02215
Email: mkinsy[at]bu.edu


Ph. D. in Electrical Engineering and Computer Science
Massachusetts Institute of Technology (MIT), 2013
Under the supervision of Professor Srinivas Devadas.

CV
Publications
Projects

RESEARCH INTERESTS

My research interests lie in the general area of computer architecture with particular emphasis on:

  • Self-aware, adaptive multicore architectures
  • Hardware and embedded systems security
  • Network-on-chip architectures and routing algorithms
  • Reconfigurable architectures for neural network acceleration
  • Cyber-physical systems processor architectures

LATEST ACTIVITIES

SELECTED PUBLICATIONS

[ C13 ] X. Wang, B. Williams, J. D. Leidel, A. Ehret, M. A. Kinsy and Y. Chen: “Remote Atomic Extension (RAE) for Scalable High Performance Computing”, In the 57th ACM/EDAC/IEEE Design Automation Conference (DAC), 2020.

[ C12 ] R. Agrawal, L. Bu, and M. A. Kinsy: “A Post-Quantum Secure Discrete Gaussian Noise Sampler”. In the IEEE International Symposium on Hardware Oriented Security and Trust (HOST), 2020.

[ C11 ] R. Agrawal, L. Bu, E. del Rosario and M. A. Kinsy: “Design-flow Methodology for Secure Group Anonymous Authentication”. In the Design, Automation and Test in Europe Conference (DATE), 2020.

[ C10 ] R. Agrawal, L. Bu, A. Ehret, and M. A. Kinsy: “Open-Source FPGA Implementation of Post-Quantum Cryptographic Hardware Primitives”. In the International conference on Field Programmable Logic and Applications (FPL), 2019.

[ J5 ] E. Taheri, M. Isakov, A. Patooghy, M. A. Kinsy: “Addressing a New Class of Reliability Threats in 3-Dimensional Network-on-Chips”. In the Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2019.

[ J4 ] T. Yang, Y. Wei, Z. Tu, H. Zeng, M. A. Kinsy, N. Zheng and P. Ren: “Design Space Exploration of Neural Network Activation Function Circuits”. In the Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), 2018.

[ C9 ] J. R. Doppa, R. G. Kim, M. Isakov, M. A. Kinsy, H. Kwon and T. Krishna: “Adaptive Manycore Architectures for Big Data Computing.” In the International Symposium on Networks-on-Chip (NOCS), October 2017.

[ C8 ] M. Kinsy, S. Khadka, M. Isakov and A. Farrukh: “Hermes: Secure Heterogeneous Multicore Architecture Design.” In the IEEE International Symposium on Hardware Oriented Security and Trust (HOST), May 2017.

[ J3 ] P. Ren, M. Kinsy, and N. Zheng: “Fault-Aware Load-Balancing Routing for 2D-Mesh and Torus On-Chip Network Topologies.” In the Transactions on Computers (TC), March 2016.

[ J2 ] P. Ren, X. Ren, S. Sane, M. Kinsy, and N. Zheng: “Deadlock-Free and Connectivity-Guaranteed Methodology for Achieving Fault-tolerance in On-chip Networks.” In the Transactions on Computers (TC), February 2016.

[ J1 ] M. Kinsy, M. H. Cho, T. Wen, M. Lis , G. E. Suh, M. Dijk, and S. Devadas: “Optimal and Heuristic Application-Aware Oblivious Routing.” In the Transactions on Computers (TC), January 2013.

[ C7 ] M. Kinsy, I. Celanovic, O. Khan, and S. Devadas: “MARTHA: Architecture for Control and Emulation of Power Electronics and Smart Grid Systems.” In IEEE International Conference on Design, Automation and Test in Europe (DATE), March, 2013.

[ C6 ] M. Kinsy, M. Pellauer, and S. Devadas: “Heracles: Fully Synthesizable Parameterized MIPS-Based Multicore System.” In Proceedings of the 21st International Conference on Field Programmable Logic and Applications (FPL), September 2011.

[ C5 ] M. Pellauer, M. Adler, M. Kinsy, A. Parashar, and J. Emer: “HAsim: FPGA-based high detail multicore simulation using time-division multiplexing.” In Proceedings of the 17th International Symposium on High Performance Computer Architecture (HPCA), February 2011.

[ C4 ] M. H. Cho, M. Lis, K. S. Shim, M. Kinsy, T. Wen, and S. Devadas: “Oblivious Routing in On-Chip Bandwidth-Adaptive Networks.” In Proceedings of the Parallel Architectures and Compilation Techniques (PACT), September 2009.

[ C3 ] M. Kinsy, M. H. Cho, T. Wen, G. E. Suh, M. Dijk, and S. Devadas: “Application-Aware Deadlock-Free Oblivious Routing.” In Proceedings of the International Symposium on Computer Architecture (ISCA), June 2009.

[ C2 ] K. S. Shim, M. H. Cho, M. Kinsy, T. Wen, M. Lis , G. E. Suh, and S. Devadas: “A Comparison of Static and Dynamic Virtual Channel Allocation in Oblivious Routing.” In Proceedings of the International Symposium on Networks-on-Chip (NOCS), May 2009.

[ C1 ] M. H. Cho, C-C. Cheng, M. Kinsy, G. E. Suh, and S. Devadas: “Diastolic Arrays: Throughput-Driven Reconfigurable Computing.” In Proceedings of the International Conference on Computer-Aided Design (ICCAD), November 2008.

Copyright © 2020 Michel Kinsy Downloadable documents are presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.