Nikos Nikoleris

25 papers A* 6A 2B 7C 1Journal 5Unranked 3

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Puss in Boots: Formalizing Arm's Virtual Memory System Architecture. IEEE Micro Jade Alglave, Richard Grisenthwaite, Artem Khyzha, Luc Maranget, Nikos Nikoleris
2024	A*	`conf`	RTL2MμPATH: Multi-μPATH Synthesis with Applications to Hardware Security Verification. MICRO Yao Hsiao, Nikos Nikoleris, Artem Khyzha, Dominic P. Mulligan, Gustavo Petri, Christopher W. Fletcher, Caroline Trippel
2024	J	`jnl`	RTL2MμPATH: Multi-μPATH Synthesis with Applications to Hardware Security Verification. CoRR Yao Hsiao, Nikos Nikoleris, Artem Khyzha, Dominic P. Mulligan, Gustavo Petri, Christopher W. Fletcher, Caroline Trippel
2023	J	`jnl`	Pragmatic Memory-System Support for Intermittent Computing Using Emerging Nonvolatile Memory. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Sivert T. Sliper, William Wang, Nikos Nikoleris, Alex S. Weddell, Anand Savanth, Pranay Prabhat, Geoff V. Merrett
2023	A	`conf`	Āpta: Fault-tolerant object-granular CXL disaggregated memory for accelerating FaaS. DSN Adarsh Patil, Vijay Nagarajan, Nikos Nikoleris, Nicolai Oswald
2021	J	`jnl`	Branch Predicting with Sparse Distributed Memories. CoRR Ilias Vougioukas, Andreas Sandberg, Nikos Nikoleris
2021	A*	`conf`	Execution Dependence Extension (EDE): ISA Support for Eliminating Fences. ISCA Thomas Shull, Ilias Vougioukas, Nikos Nikoleris, Wendy Elsasser, Josep Torrellas
2021	A*	`conf`	Synthesizing Formal Models of Hardware from RTL for Efficient Verification of Memory Model Implementations. MICRO Yao Hsiao, Dominic P. Mulligan, Nikos Nikoleris, Gustavo Petri, Caroline Trippel
2020	B	`conf`	Fused: Closed-Loop Performance and Energy Simulation of Embedded Systems. ISPASS Sivert T. Sliper, William Wang, Nikos Nikoleris, Alex S. Weddell, Geoff V. Merrett
2020	J	`jnl`	The gem5 Simulator: Version 20.0+. CoRR Jason Lowe-Power, Abdul Mutaal Ahmad, Ayaz Akram, Mohammad Alian, Rico Amslinger, Matteo Andreozzi, Adrià Armejach, Nils Asmussen, Srikant Bharadwaj, Gabe Black, Gedare Bloom, Bobby R. Bruce, Daniel Rodrigues Carvalho, Jerónimo Castrillón, Lizhong Chen, Nicolas Derumigny, Stephan Diestelhorst, Wendy Elsasser, Marjan Fariborz, Amin Farmahini Farahani, Pouya Fotouhi, Ryan Gambord, Jayneel Gandhi, Dibakar Gope, Thomas Grass, Bagus Hanindhito, Andreas Hansson, Swapnil Haria, Austin Harris, Timothy Hayes, Adrian Herrera, Matthew Horsnell, Syed Ali Raza Jafri, Radhika Jagtap, Hanhwi Jang, Reiley Jeyapaul, Timothy M. Jones, Matthias Jung, Subash Kannoth, Hamidreza Khaleghzadeh, Yuetsu Kodama, Tushar Krishna, Tommaso Marinelli, Christian Menard, Andrea Mondelli, Tiago Mück, Omar Naji, Krishnendra Nathella, Hoa Nguyen, Nikos Nikoleris, Lena E. Olson, Marc S. Orr, Binh Pham, Pablo Prieto, Trivikram Reddy, Alec Roelke, Mahyar Samani, Andreas Sandberg, Javier Setoain, Boris Shingarov, Matthew D. Sinclair, Tuan Ta, Rahul Thakur, Giacomo Travaglini, Michael Upton, Nilay Vaish, Ilias Vougioukas, Zhengrong Wang, Norbert Wehn, Christian Weis, David A. Wood, Hongil Yoon, Éder F. Zulian
2019	A*	`conf`	BRB: Mitigating Branch Predictor Side-Channels. HPCA Ilias Vougioukas, Nikos Nikoleris, Andreas Sandberg, Stephan Diestelhorst, Bashir M. Al-Hashimi, Geoff V. Merrett
2019	A*	`conf`	Directed Statistical Warming through Time Traveling. MICRO Nikos Nikoleris, Lieven Eeckhout, Erik Hagersten, Trevor E. Carlson
2019	—	`—`	Efficient Memory Modeling During Simulation and Native Execution. Nikos Nikoleris
2019	A*	`conf`	Efficient State Retention through Paged Memory Management for Reactive Transient Computing. DAC Sivert T. Sliper, Domenico Balsamo, Nikos Nikoleris, William Wang, Alex S. Weddell, Geoff V. Merrett
2017	C	`conf`	Addressing Energy Challenges in Filter Caches. SBAC-PAD Ricardo Alves, Nikos Nikoleris, Stefanos Kaxiras, David Black-Schaffer
2016	B	`conf`	CoolSim: Eliminating traditional cache warming with fast, virtualized profiling. ISPASS Nikos Nikoleris, Andreas Sandberg, Erik Hagersten, Trevor E. Carlson
2016	—	`conf`	CoolSim: Statistical techniques to replace cache warming with efficient, virtualized profiling. SAMOS Nikos Nikoleris, Andreas Sandberg, Erik Hagersten, Trevor E. Carlson
2015	—	`conf`	Full Speed Ahead: Detailed Architectural Simulation at Near-Native Speed. IISWC Andreas Sandberg, Nikos Nikoleris, Trevor E. Carlson, Erik Hagersten, Stefanos Kaxiras, David Black-Schaffer
2014	B	`conf`	A software based profiling method for obtaining speedup stacks on commodity multi-cores. ISPASS David Eklov, Nikos Nikoleris, Erik Hagersten
2014	B	`conf`	Extending statistical cache models to support detailed pipeline simulators. ISPASS Nikos Nikoleris, David Eklov, Erik Hagersten
2013	A	`conf`	Bandwidth Bandit: Quantitative characterization of memory contention. CGO David Eklov, Nikos Nikoleris, David Black-Schaffer, Erik Hagersten
2012	B	`conf`	Bandwidth bandit: Understanding memory contention. ISPASS David Eklov, Nikos Nikoleris, David Black-Schaffer, Erik Hagersten
2012	B	`conf`	Bandwidth bandit: quantitative characterization of memory contention. PACT David Eklov, Nikos Nikoleris, David Black-Schaffer, Erik Hagersten
2011	—	`conf`	A Smart HPC Interconnect for Clusters of Virtual Machines. Euro-Par Workshops (2) Anastassios Nanos, Nikos Nikoleris, Stratos Psomadakis, Elisavet Kozyri, Nectarios Koziris
2011	B	`conf`	Cache Pirating: Measuring the Curse of the Shared Cache. ICPP David Eklov, Nikos Nikoleris, David Black-Schaffer, Erik Hagersten