Michel A. Kinsy

115 papers A* 4A 11B 7C 6Misc 1Journal 45Unranked 40

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	A Safety-Centric Analysis and Benchmarks of Modern Open-Source Homomorphic Encryption Libraries. SECRYPT Nges Brian Njungle, Milan Stojkov, Michel A. Kinsy
2025	C	`conf`	AQUILA: A Flexible Architecture Guideline for Building Custom Distributed Systems Testbeds. EUC Luigi Mastromauro, Edwin Kayang, Mishel Jyothis Paul, Eric Jahns, Muslum Ozgur Ozmen, Michel A. Kinsy
2025	—	`conf`	Activate Me!: Designing Efficient Activation Functions for Privacy-Preserving Machine Learning with Fully Homomorphic Encryption. AFRICACRYPT Nges Brian Njungle, Michel A. Kinsy
2025	J	`jnl`	Activate Me!: Designing Efficient Activation Functions for Privacy-Preserving Machine Learning with Fully Homomorphic Encryption. CoRR Nges Brian Njungle, Michel A. Kinsy
2025	J	`jnl`	Discretized Quadratic Integrate-and-Fire Neuron Model for Deep Spiking Neural Networks. CoRR Eric Jahns, Davi Moreno, Milan Stojkov, Michel A. Kinsy
2025	J	`jnl`	FHEON: A Configurable Framework for Developing Privacy-Preserving Neural Networks Using Homomorphic Encryption. CoRR Nges Brian Njungle, Eric Jahns, Michel A. Kinsy
2025	A	`conf`	Gotta Hash 'Em All! Accelerating Hash Functions for Zero-Knowledge Proof Applications. ICCAD Nojan Sheybani, Tengkai Gong, Anees Ahmed, Nges Brian Njungle, Michel A. Kinsy, Farinaz Koushanfar
2025	J	`jnl`	Gotta Hash 'Em All! Speeding Up Hash Functions for Zero-Knowledge Proof Applications. CoRR Nojan Sheybani, Tengkai Gong, Anees Ahmed, Nges Brian Njungle, Michel A. Kinsy, Farinaz Koushanfar
2025	J	`jnl`	GuardianML: Anatomy of Privacy-Preserving Machine Learning Techniques and Frameworks. IEEE Access Nges Brian Njungle, Eric Jahns, Zhenqi Wu, Luigi Mastromauro, Milan Stojkov, Michel A. Kinsy
2025	J	`jnl`	Learning Neuron Dynamics within Deep Spiking Neural Networks. CoRR Eric Jahns, Davi Moreno, Michel A. Kinsy
2025	J	`jnl`	Prismo: A Decision Support System for Privacy-Preserving ML Framework Selection. CoRR Nges Brian Njungle, Eric Jahns, Luigi Mastromauro, Edwin Kayang, Milan Stojkov, Michel A. Kinsy
2025	J	`jnl`	PrivSpike: Employing Homomorphic Encryption for Private Inference of Deep Spiking Neural Networks. CoRR Nges Brian Njungle, Eric Jahns, Milan Stojkov, Michel A. Kinsy
2025	J	`jnl`	Privacy-Preserving Deep Learning: A Survey on Theoretical Foundations, Software Frameworks, and Hardware Accelerators. IEEE Access Eric Jahns, Milan Stojkov, Michel A. Kinsy
2025	B	`conf`	R-Visor: An Extensible Dynamic Binary Instrumentation and Analysis Framework for Open Instruction Set Architectures. LCTES Edwin Kayang, Mishel Jyothis Paul, Eric Jahns, Muslum Ozgur Ozmen, Milan Stojkov, Kevin Rudd, Michel A. Kinsy
2025	J	`jnl`	Survey of Attacks and Defenses on Consensus Algorithms for Secure Data Replication in Distributed Systems. IEEE Access Luigi Mastromauro, Dhiego Souto Andrade, Muslum Ozgur Ozmen, Michel A. Kinsy
2025	J	`jnl`	Zero-Knowledge Proof Frameworks: A Systematic Survey. CoRR Nojan Sheybani, Anees Ahmed, Michel A. Kinsy, Farinaz Koushanfar
2024	A	`conf`	AMAZE: Accelerated MiMC Hardware Architecture for Zero-Knowledge Applications on the Edge. ICCAD Anees Ahmed, Nojan Sheybani, Davi Moreno, Nges Brian Njungle, Tengkai Gong, Michel A. Kinsy, Farinaz Koushanfar
2024	J	`jnl`	AMAZE: Accelerated MiMC Hardware Architecture for Zero-Knowledge Applications on the Edge. CoRR Anees Ahmed, Nojan Sheybani, Davi Moreno, Nges Brian Njungle, Tengkai Gong, Michel A. Kinsy, Farinaz Koushanfar
2023	—	`conf`	Hardware Root-of-Trust Support for Operational Technology Cybersecurity in Critical Infrastructures. HPEC Alan Ehret, Peter Moore, Milan Stojkov, Michel A. Kinsy
2022	—	`conf`	A Compiler for Transparent Namespace-Based Access Control for the Zeno Architecture. SEED Jacob Abraham, Alan Ehret, Michel A. Kinsy
2022	A	`conf`	A Taxonomy of Error Sources in HPC I/O Machine Learning Models. SC Mihailo Isakov, Mikaela Currier, Eliakin Del Rosario, Sandeep Madireddy, Prasanna Balaprakash, Philip H. Carns, Robert B. Ross, Glenn K. Lockwood, Michel A. Kinsy
2022	J	`jnl`	A Taxonomy of Error Sources in HPC I/O Machine Learning Models. CoRR Mihailo Isakov, Mikaela Currier, Eliakin Del Rosario, Sandeep Madireddy, Prasanna Balaprakash, Philip H. Carns, Robert B. Ross, Glenn K. Lockwood, Michel A. Kinsy
2022	C	`conf`	NeuroFabric: Hardware and ML Model Co-Design for A Priori Sparse Neural Network Training. ICCD Mihailo Isakov, Michel A. Kinsy
2022	J	`jnl`	Zeno: A Scalable Capability-Based Secure Architecture. CoRR Alan Ehret, Jacob Abraham, Mihailo Isakov, Michel A. Kinsy
2021	J	`jnl`	Adaptive caches as a defense mechanism against cache side-channel attacks. J. Cryptogr. Eng. Sahan Bandara, Michel A. Kinsy
2021	A*	`conf`	Distributed Memory Guard: Enabling Secure Enclave Computing in NoC-based Architectures. DAC Ghada Dessouky, Mihailo Isakov, Michel A. Kinsy, Pouya Mahmoody, Miguel Mark, Ahmad-Reza Sadeghi, Emmanuel Stapf, Shaza Zeitouni
2021	—	`conf`	Reconfigurable Hardware Root-of-Trust for Secure Edge Processing. HPEC Alan Ehret, Eliakin Del Rosario, Carsten Schwicking, Karen Gettings, Michel A. Kinsy
2021	J	`jnl`	Security Threat Analyses and Attack Models for Approximate Computing Systems: From Hardware and Micro-architecture Perspectives. ACM Trans. Design Autom. Electr. Syst. Pruthvy Yellu, Landon Buell, Miguel Mark, Michel A. Kinsy, Dongpeng Xu, Qiaoyan Yu
2021	A	`conf`	xBGAS: A Global Address Space Extension on RISC-V for High Performance Computing. IPDPS Xi Wang, John D. Leidel, Brody Williams, Alan Ehret, Miguel Mark, Michel A. Kinsy, Yong Chen
2020	—	`conf`	A Hardware Root-of-Trust Design for Low-Power SoC Edge Devices. HPEC Alan Ehret, Eliakin Del Rosario, Karen Gettings, Michel A. Kinsy
2020	—	`conf`	A Post-Quantum Secure Discrete Gaussian Noise Sampler. HOST Rashmi S. Agrawal, Lake Bu, Michel A. Kinsy
2020	J	`jnl`	Addressing a New Class of Reliability Threats in 3-D Network-on-Chips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Ebadollah Taheri, Mihailo Isakov, Ahmad Patooghy, Michel A. Kinsy
2020	A	`conf`	Design-flow Methodology for Secure Group Anonymous Authentication. DATE Rashmi S. Agrawal, Lake Bu, Eliakin Del Rosario, Michel A. Kinsy
2020	Misc	`conf`	Fast Arithmetic Hardware Library For RLWE-Based Homomorphic Encryption. FCCM Rashmi S. Agrawal, Lake Bu, Michel A. Kinsy
2020	J	`jnl`	Fast Arithmetic Hardware Library For RLWE-Based Homomorphic Encryption. CoRR Rashmi S. Agrawal, Lake Bu, Alan Ehret, Michel A. Kinsy
2020	—	`conf`	Gauge: An Interactive Data-Driven Visualization Tool for HPC Application I/O Performance Analysis. PDSW@SC Eliakin Del Rosario, Mikaela Currier, Mihailo Isakov, Sandeep Madireddy, Prasanna Balaprakash, Philip H. Carns, Robert B. Ross, Kevin Harms, Shane Snyder, Michel A. Kinsy
2020	A	`conf`	HPC I/O throughput bottleneck analysis with explainable local models. SC Mihailo Isakov, Eliakin Del Rosario, Sandeep Madireddy, Prasanna Balaprakash, Philip H. Carns, Robert B. Ross, Michel A. Kinsy
2020	—	`conf`	Homomorphic Encryption Based Secure Sensor Data Processing. HPEC Vijay Gadepally, Mihailo Isakov, Rashmi S. Agrawal, Jeremy Kepner, Karen Gettings, Michel A. Kinsy
2020	J	`jnl`	NeuroFabric: Identifying Ideal Topologies for Training A Priori Sparse Networks. CoRR Mihailo Isakov, Michel A. Kinsy
2020	C	`conf`	Quantum-Proof Lightweight McEliece Cryptosystem Co-processor Design. ICCD Rashmi S. Agrawal, Lake Bu, Michel A. Kinsy
2020	A*	`conf`	Remote Atomic Extension (RAE) for Scalable High Performance Computing. DAC Xi Wang, Brody Williams, John D. Leidel, Alan Ehret, Michel A. Kinsy, Yong Chen
2020	—	`conf`	Toward Generalizable Models of I/O Throughput. ROSS@SC Mihailo Isakov, Eliakin Del Rosario, Sandeep Madireddy, Prasanna Balaprakash, Philip H. Carns, Robert B. Ross, Michel A. Kinsy
2020	—	`conf`	Towards Programmable All-Digital True Random Number Generator. ACM Great Lakes Symposium on VLSI Rashmi S. Agrawal, Lake Bu, Eliakin Del Rosario, Michel A. Kinsy
2019	J	`jnl`	A Lightweight McEliece Cryptosystem Co-processor Design. CoRR Lake Bu, Rashmi S. Agrawal, Hai Cheng, Michel A. Kinsy
2019	J	`jnl`	A Secure and Robust Scheme for Sharing Confidential Information in IoT Systems. CoRR Lake Bu, Mihailo Isakov, Michel A. Kinsy
2019	—	`conf`	A Survey on Hardware Security Techniques Targeting Low-Power SoC Designs. HPEC Alan Ehret, Karen Gettings, Bruce R. Jordan, Michel A. Kinsy
2019	J	`jnl`	A secure and robust scheme for sharing confidential information in IoT systems. Ad Hoc Networks Lake Bu, Mihailo Isakov, Michel A. Kinsy
2019	—	`conf`	Adaptive Caches as a Defense Mechanism Against Cache Side-Channel Attacks. ASHES@CCS Sahan Bandara, Michel A. Kinsy
2019	A	`conf`	BRISC-V: An Open-Source Architecture Design Space Exploration Toolbox. FPGA Sahan Bandara, Alan Ehret, Donato Kava, Michel A. Kinsy
2019	J	`jnl`	BRISC-V: An Open-Source Architecture Design Space Exploration Toolbox. CoRR Sahan Bandara, Alan Ehret, Donato Kava, Michel A. Kinsy
2019	J	`jnl`	Bulwark: Securing implantable medical devices communication channels. Comput. Secur. Lake Bu, Mark G. Karpovsky, Michel A. Kinsy
2019	J	`jnl`	CodeTrolley: Hardware-Assisted Control Flow Obfuscation. CoRR Novak Boskov, Mihailo Isakov, Michel A. Kinsy
2019	J	`jnl`	Design Space Exploration of Neural Network Activation Function Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Tao Yang, Yadong Wei, Zhijun Tu, Haolun Zeng, Michel A. Kinsy, Nanning Zheng, Pengju Ren
2019	J	`jnl`	Design of reliable storage and compute systems with lightweight group testing based non-binary error correction codes. IET Comput. Digit. Tech. Lake Bu, Mark G. Karpovsky, Michel A. Kinsy
2019	J	`jnl`	Drndalo: Lightweight Control Flow Obfuscation Through Minimal Processor/Compiler Co-Design. CoRR Novak Boskov, Mihailo Isakov, Michel A. Kinsy
2019	B	`conf`	Open-Source FPGA Implementation of Post-Quantum Cryptographic Hardware Primitives. FPL Rashmi S. Agrawal, Lake Bu, Alan Ehret, Michel A. Kinsy
2019	J	`jnl`	Post-Quantum Cryptographic Hardware Primitives. CoRR Lake Bu, Rashmi S. Agrawal, Hai Cheng, Michel A. Kinsy
2019	J	`jnl`	RASSS: a hijack-resistant confidential information management scheme for distributed systems. IET Comput. Digit. Tech. Lake Bu, Mihailo Isakov, Michel A. Kinsy
2019	J	`jnl`	SRASA: a Generalized Theoretical Framework for Security and Reliability Analysis in Computing Systems. J. Hardw. Syst. Secur. Lake Bu, Jaya Dofe, Qiaoyan Yu, Michel A. Kinsy
2019	—	`conf`	Secure Computing Systems Design Through Formal Micro-Contracts. ACM Great Lakes Symposium on VLSI Michel A. Kinsy, Novak Boskov
2019	—	`conf`	Security Threats in Approximate Computing Systems. ACM Great Lakes Symposium on VLSI Pruthvy Yellu, Novak Boskov, Michel A. Kinsy, Qiaoyan Yu
2019	—	`conf`	Survey of Attacks and Defenses on Edge-Deployed Neural Networks. HPEC Mihailo Isakov, Vijay Gadepally, Karen M. Gettings, Michel A. Kinsy
2019	J	`jnl`	Survey of Attacks and Defenses on Edge-Deployed Neural Networks. CoRR Mihailo Isakov, Vijay Gadepally, Karen M. Gettings, Michel A. Kinsy
2019	—	`conf`	The BRISC-V Platform: A Practical Teaching Approach for Computer Architecture. WCAE@ISCA Rashmi S. Agrawal, Sahan Bandara, Alan Ehret, Mihailo Isakov, Miguel Mark, Michel A. Kinsy
2018	—	`conf`	A Short Survey at the Intersection of Reliability and Security in Processor Architecture Designs. ISVLSI Lake Bu, Miguel Mark, Michel A. Kinsy
2018	—	`conf`	Adaptive and Dynamic Device Authentication Using Lorenz Chaotic Systems. MWSCAS Lake Bu, Hai Cheng, Michel A. Kinsy
2018	—	`conf`	Application Specific Networks-on-Chip Synthesis: An Energy Efficient Approach. ISVLSI Somayeh Kashi, Ahmad Patooghy, Dara Rahmatiy, Mahdi Fazeli, Michel A. Kinsy
2018	J	`jnl`	BRISC-V Emulator: A Standalone, Installation-Free, Browser-Based Teaching Tool. CoRR Mihailo Isakov, Michel A. Kinsy
2018	—	`conf`	Chameleon: A Generalized Reconfigurable Open-Source Architecture for Deep Neural Network Training. HPEC Mihailo Isakov, Alan Ehret, Michel A. Kinsy
2018	J	`jnl`	Circuit enclaves susceptible to hardware Trojans insertion at gate-level designs. IET Comput. Digit. Tech. Seyed Mohammad Sebt, Ahmad Patooghy, Hakem Beitollahi, Michel A. Kinsy
2018	B	`conf`	ClosNets: Batchless DNN Training with On-Chip a Priori Sparse Neural Topologies. FPL Mihailo Isakov, Alan Ehret, Michel A. Kinsy
2018	J	`jnl`	ClosNets: a Priori Sparse Topologies for Faster DNN Training. CoRR Mihailo Isakov, Michel A. Kinsy
2018	J	`jnl`	Design Space Exploration of Neural Network Activation Function Circuits. CoRR Tao Yang, Yadong Wei, Zhijun Tu, Haolun Zeng, Michel A. Kinsy, Nanning Zheng, Pengju Ren
2018	J	`jnl`	Designing Secure Heterogeneous Multicore Systems from Untrusted Components. Cryptogr. Michel A. Kinsy, Lake Bu, Mihailo Isakov, Miguel Mark
2018	—	`conf`	Fast Dynamic Device Authentication Based on Lorenz Chaotic Systems. DFT Lake Bu, Hai Cheng, Michel A. Kinsy
2018	—	`conf`	Hardening AES Hardware Implementations Against Fault and Error Inject Attacks. ACM Great Lakes Symposium on VLSI Lake Bu, Michel A. Kinsy
2018	—	`conf`	Mystic: Mystifying IP Cores Using an Always-ON FSM Obfuscation Method. ISVLSI Ahmad Patooghy, Ehsan Aerabi, Hamidreza Rezaei, Miguel Mark, Mahdi Fazeli, Michel A. Kinsy
2018	—	`conf`	NoSync: Particle Swarm Inspired Distributed DNN Training. ICANN (2) Mihailo Isakov, Michel A. Kinsy
2018	—	`conf`	Preventing Neural Network Model Exfiltration in Machine Learning Hardware Accelerators. AsianHOST Mihailo Isakov, Lake Bu, Hai Cheng, Michel A. Kinsy
2018	J	`jnl`	SAPA: Self-Aware Polymorphic Architecture. CoRR Michel A. Kinsy, Mihailo Isakov, Alan Ehret, Donato Kava
2018	—	`conf`	Scalable Open-Source Reconfigurable Architecture for Bacterial Quorum Sensing Simulations. HEART Alan Ehret, Peter Jamieson, Michel A. Kinsy
2018	J	`jnl`	Sphinx: A Secure Architecture Based on Binary Code Diversification and Execution Obfuscation. CoRR Michel A. Kinsy, Donato Kava, Alan Ehret, Miguel Mark
2018	—	`conf`	Towards a Generalized Reconfigurable Agent-Based Architecture: Stock Market Simulation Acceleration. ReConFig Alan Ehret, Mihailo Isakov, Michel A. Kinsy
2018	B	`conf`	Weighted Group Decision Making Using Multi-identity Physical Unclonable Functions. FPL Lake Bu, Michel A. Kinsy
2017	—	`conf`	Adaptive Manycore Architectures for Big Data Computing. NOCS Janardhan Rao Doppa, Ryan Gary Kim, Mihailo Isakov, Michel A. Kinsy, Hyoukjun Kwon, Tushar Krishna
2017	—	`conf`	Advertiser elevator: A fault tolerant routing algorithm for partially connected 3D Network-on-Chips. MWSCAS Ebadollah Taheri, Mihailo Isakov, Ahmad Patooghy, Michel A. Kinsy
2017	C	`conf`	Crosstalk Free Coding Systems to Protect NoC Channels against Crosstalk Faults. ICCD Kimia Soleimani, Ahmad Patooghy, Nasim Soltani, Lake Bu, Michel A. Kinsy
2017	J	`jnl`	FASHION: Fault-Aware Self-Healing Intelligent On-chip Network. CoRR Pengju Ren, Michel A. Kinsy, Mengjiao Zhu, Shreeya Khadka, Mihailo Isakov, Aniruddh Ramrakhyani, Tushar Krishna, Nanning Zheng
2017	J	`jnl`	Fast Processing of Large Graph Applications Using Asynchronous Architecture. CoRR Michel A. Kinsy, Rashmi S. Agrawal, Hien D. Nguyen
2017	—	`conf`	Hermes: Secure heterogeneous multicore architecture design. HOST Michel A. Kinsy, Shreeya Khadka, Mihailo Isakov, Anam Farrukh
2017	J	`jnl`	Janus: An Uncertain Cache Architecture to Cope with Side Channel Attacks. CoRR Hossein Hosseinzadeh, Mihailo Isakov, Mostafa Darabi, Ahmad Patooghy, Michel A. Kinsy
2017	—	`conf`	Janus: An uncertain cache architecture to cope with side channel attacks. MWSCAS Hossein Hosseinzadeh, Mihailo Isakov, Mostafa Darabi, Ahmad Patooghy, Michel A. Kinsy
2017	—	`conf`	PreNoc: Neural Network based Predictive Routing for Network-on-Chip Architectures. ACM Great Lakes Symposium on VLSI Michel A. Kinsy, Shreeya Khadka, Mihailo Isakov
2017	—	`conf`	RASSS: A perfidy-aware protocol for designing trustworthy distributed systems. DFT Lake Bu, Hien D. Nguyen, Michel A. Kinsy
2016	J	`jnl`	A Deadlock-Free and Connectivity-Guaranteed Methodology for Achieving Fault-Tolerance in On-Chip Networks. IEEE Trans. Computers Pengju Ren, Xiaowei Ren, Sudhanshu Sane, Michel A. Kinsy, Nanning Zheng
2016	J	`jnl`	Fault-Aware Load-Balancing Routing for 2D-Mesh and Torus On-Chip Network Topologies. IEEE Trans. Computers Pengju Ren, Michel A. Kinsy, Nanning Zheng
2016	—	`conf`	Towards connectivity-guaranteed power-gating large-scale on-chip networks. IGSC Pengju Ren, Michel A. Kinsy, Mengjiao Zhu, Nanning Zheng
2014	—	`conf`	Algorithms for scheduling task-based applications onto heterogeneous many-core architectures. HPEC Michel A. Kinsy, Srinivas Devadas
2014	—	`conf`	Low-overhead hard real-time aware interconnect network router. HPEC Michel A. Kinsy, Srinivas Devadas
2013	A	`conf`	Heracles: a tool for fast RTL-based design space exploration of multicore processors. FPGA Michel A. Kinsy, Michael Pellauer, Srinivas Devadas
2013	A	`conf`	MARTHA: architecture for control and emulation of power electronics and smart grid systems. DATE Michel A. Kinsy, Ivan Celanovic, Omer Khan, Srinivas Devadas
2013	—	`—`	Many-core architectures with time predictable execution Support for hard real-time applications. Michel A. Kinsy
2013	J	`jnl`	Optimal and Heuristic Application-Aware Oblivious Routing. IEEE Trans. Computers Michel A. Kinsy, Myong Hyon Cho, Keun Sup Shim, Mieszko Lis, G. Edward Suh, Srinivas Devadas
2011	B	`conf`	Brief announcement: distributed shared memory based on computation migration. SPAA Mieszko Lis, Keun Sup Shim, Myong Hyon Cho, Christopher W. Fletcher, Michel A. Kinsy, Ilia A. Lebedev, Omer Khan, Srinivas Devadas
2011	A*	`conf`	HAsim: FPGA-based high-detail multicore simulation using time-division multiplexing. HPCA Michael Pellauer, Michael Adler, Michel A. Kinsy, Angshuman Parashar, Joel S. Emer
2011	B	`conf`	Heracles: Fully Synthesizable Parameterized MIPS-Based Multicore System. FPL Michel A. Kinsy, Michael Pellauer, Srinivas Devadas
2011	A	`conf`	Time-Predictable Computer Architecture for Cyber-Physical Systems: Digital Emulation of Power Electronics Systems. RTSS Michel A. Kinsy, Omer Khan, Ivan Celanovic, Dusan Majstorovic, Nikola L. Celanovic, Srinivas Devadas
2009	A*	`conf`	Application-aware deadlock-free oblivious routing. ISCA Michel A. Kinsy, Myong Hyon Cho, Tina Wen, G. Edward Suh, Marten van Dijk, Srinivas Devadas
2009	B	`conf`	Oblivious Routing in On-Chip Bandwidth-Adaptive Networks. PACT Myong Hyon Cho, Mieszko Lis, Keun Sup Shim, Michel A. Kinsy, Tina Wen, Srinivas Devadas
2009	—	`conf`	Path-based, randomized, oblivious, minimal routing. NoCArc@MICRO Myong Hyon Cho, Mieszko Lis, Keun Sup Shim, Michel A. Kinsy, Srinivas Devadas
2009	—	`conf`	Static virtual channel allocation in oblivious routing. NOCS Keun Sup Shim, Myong Hyon Cho, Michel A. Kinsy, Tina Wen, Mieszko Lis, G. Edward Suh, Srinivas Devadas
2008	A	`conf`	Diastolic arrays: throughput-driven reconfigurable computing. ICCAD Myong Hyon Cho, Chih-Chi Cheng, Michel A. Kinsy, G. Edward Suh, Srinivas Devadas
2007	—	`conf`	ProtocolDB: Storing Scientific Protocols with a Domain Ontology. WISE Workshops Michel A. Kinsy, Zoé Lacroix, Christophe Legendre, Piotr Wlodarczyk, Nadia Yacoubi Ayadi
2007	C	`conf`	Storing Efficiently Bioinformatics Workflows. BIBE Michel A. Kinsy, Zoé Lacroix
2007	—	`conf`	Storing and Discovering Critical Workflows from Log in Scientific Exploration. IEEE SCW Qihong Shao, Michel A. Kinsy, Yi Chen