Synthesis of synchronous assertions with guarded atomic actions. - Michael Pellauer; Mieszko Lis; Don Baltus; Rishiyur S. Nikhil (MEMOCODE, 2005)

Oblivious Routing in On-Chip Bandwidth-Adaptive Networks. - Myong Hyon Cho; Mieszko Lis; Keun Sup Shim; Michel A. Kinsy; Tina Wen; Srinivas Devadas (PACT, 2009)

Path-based, randomized, oblivious, minimal routing. - Myong Hyon Cho; Mieszko Lis; Keun Sup Shim; Michel A. Kinsy; Srinivas Devadas (NoCArc@MICRO, 2009)

Static virtual channel allocation in oblivious routing. - Keun Sup Shim; Myong Hyon Cho; Michel A. Kinsy; Tina Wen; Mieszko Lis; G. Edward Suh; Srinivas Devadas (NOCS, 2009)

Efficient stochastic simulation of reaction-diffusion processes via direct compilation. - Mieszko Lis; Maxim N. Artyomov; Srinivas Devadas; Arup K. Chakraborty (Bioinform., 2009)

ARCc: A case for an architecturally redundant cache-coherence architecture for large multicores. - Omer Khan; Henry Hoffmann; Mieszko Lis; Farrukh Hijaz; Anant Agarwal; Srinivas Devadas (ICCD, 2011)

Memory coherence in the age of multicores. - Mieszko Lis; Keun Sup Shim; Myong Hyon Cho; Srinivas Devadas (ICCD, 2011)

Scalable, accurate multicore simulation in the 1000-core era. - Mieszko Lis; Pengju Ren; Myong Hyon Cho; Keun Sup Shim; Christopher W. Fletcher; Omer Khan; Srinivas Devadas (ISPASS, 2011)

Deadlock-free fine-grained thread migration. - Myong Hyon Cho; Keun Sup Shim; Mieszko Lis; Omer Khan; Srinivas Devadas (NOCS, 2011)

Brief announcement: distributed shared memory based on computation migration. - Mieszko Lis; Keun Sup Shim; Myong Hyon Cho; Christopher W. Fletcher; Michel A. Kinsy; Ilia A. Lebedev; Omer Khan; Srinivas Devadas (SPAA, 2011)

A method for probing the mutational landscape of amyloid structure. - Charles W. O'Donnell; Jérôme Waldispühl; Mieszko Lis; Randal Halfmann; Srinivas Devadas; Susan Lindquist; Bonnie Berger (Bioinform., 2011)

DCC: A Dependable Cache Coherence Multicore Architecture. - Omer Khan; Mieszko Lis; Yildiz Sinangil; Srinivas Devadas (IEEE Comput. Archit. Lett., 2011)

HORNET: A Cycle-Level Multicore Simulator. - Pengju Ren; Mieszko Lis; Myong Hyon Cho; Keun Sup Shim; Christopher W. Fletcher; Omer Khan; Nanning Zheng 001; Srinivas Devadas (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012)

Hardware-level thread migration in a 110-core shared-memory multiprocessor. - Mieszko Lis; Keun Sup Shim; Brandon Cho; Ilia A. Lebedev; Srinivas Devadas (Hot Chips Symposium, 2013)

Design tradeoffs for simplicity and efficient verification in the Execution Migration Machine. - Keun Sup Shim; Mieszko Lis; Myong Hyon Cho; Ilia A. Lebedev; Srinivas Devadas (ICCD, 2013)

Optimal and Heuristic Application-Aware Oblivious Routing. - Michel A. Kinsy; Myong Hyon Cho; Keun Sup Shim; Mieszko Lis; G. Edward Suh; Srinivas Devadas (IEEE Trans. Computers, 2013)

Thread Migration Prediction for Distributed Shared Caches. - Keun Sup Shim; Mieszko Lis; Omer Khan; Srinivas Devadas (IEEE Comput. Archit. Lett., 2014)

Hardware-level fine-grained thread migration. - Mieszko Lis (2014)

The Execution Migration Machine: Directoryless Shared-Memory Architecture. - Keun Sup Shim; Mieszko Lis; Omer Khan; Srinivas Devadas (Computer, 2015)

Gaussian mixture error estimation for approximate circuits. - Amin Ghasemazar; Mieszko Lis (DATE, 2017)

Efficient Sequential Consistency in GPUs via Relativistic Cache Coherence. - Xiaowei Ren; Mieszko Lis (HPCA, 2017)

High-Performance GPU Transactional Memory via Eager Conflict Detection. - Xiaowei Ren; Mieszko Lis (HPCA, 2018)

DropBack: Continuous Pruning During Training. - Maximilian Golub; Guy Lemieux; Mieszko Lis (CoRR, 2018)

A unifying abstraction for data structure splicing. - Louis Ye; Mieszko Lis; Alexandra Fedorova (MEMSYS, 2019)

Full Deep Neural Network Training On A Pruned Weight Budget. - Maximilian Golub; Guy Lemieux; Mieszko Lis (SysML, 2019)

Thesaurus: Efficient Cache Compression via Dynamic Clustering. - Amin Ghasemazar; Prashant J. Nair; Mieszko Lis (ASPLOS, 2020)

2DCC: Cache Compression in Two Dimensions. - Amin Ghasemazar; Mohammad Ewais; Prashant J. Nair; Mieszko Lis (DATE, 2020)

A Turbo Maximum-a-Posteriori Equalizer for Faster-than-Nyquist Applications. - Mohamed Omran Matar; Mrinmoy Jana; Jeebak Mitra; Lutz Lampe; Mieszko Lis (FCCM, 2020)

Procrustes: a Dataflow and Accelerator for Sparse Deep Neural Network Training. - Dingqing Yang; Amin Ghasemazar; Xiaowei Ren; Maximilian Golub; Guy Lemieux; Mieszko Lis (MICRO, 2020)

A Case for Emerging Memories in DNN Accelerators. - Avilash Mukherjee; Kumar Saurav; Prashant J. Nair; Sudip Shekhar; Mieszko Lis (DATE, 2021)

CHOPIN: Scalable Graphics Rendering in Multi-GPU Systems via Parallel Image Composition. - Xiaowei Ren; Mieszko Lis (HPCA, 2021)

Accelerating DNNs inference with predictive layer fusion. - MohammadHossein Olyaiy; Christopher Ng; Mieszko Lis (ICS, 2021)

Mandoline: Dynamic Slicing of Android Applications with Trace-Based Alias Analysis. - Khaled Ahmed 004; Mieszko Lis; Julia Rubin (ICST, 2021)

Slicer4J: a dynamic slicer for Java. - Khaled Ahmed 004; Mieszko Lis; Julia Rubin (ESEC/SIGSOFT FSE, 2021)

HuffDuff: Stealing Pruned DNNs from Sparse Accelerators. - Dingqing Yang; Prashant J. Nair; Mieszko Lis (ASPLOS (2), 2023)

Sunstone: A Scalable and Versatile Scheduler for Mapping Tensor Algebra on Spatial Accelerators. - MohammadHossein Olyaiy; Christopher Ng; Alexandra (Sasha) Fedorova; Mieszko Lis (ISPASS, 2023)

ViaLin: Path-Aware Dynamic Taint Analysis for Android. - Khaled Ahmed 004; Yingying Wang; Mieszko Lis; Julia Rubin (ESEC/SIGSOFT FSE, 2023)

Magellan: A High-Performance Loop-Guided Prefetcher for Indirect Memory Access. - Gelin Fu; Tian Xia 008; Mingzhuo Yin; Prashant J. Nair; Mieszko Lis; Pengju Ren (ISCA, 2025)

Roadmap on Neuromorphic Photonics. - Daniel Brunner; Bhavin J. Shastri; Mohammed Al-Qadasi; Hitesh Ballani; Sylvain Barbay; Stefano Biasi; Peter Bienstman; Simon Bilodeau; Wim Bogaerts; Fabian Böhm; Grace Brennan; Sonia M. Buckley; et al. (CoRR, 2025)