Publications

  • 2025:
    1. AMuLeT: Automated Design-Time Testing of Secure Speculation Countermeasures. B. Fu, L. Tenenbaum, D. Adler, A. Klein, A. Gogia, A.R. Alameldeen, M. Guarnieri, M. Silberstein, O. Oleksenko and G. Saileshwar. In Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, ASPLOS 2025, Rotterdam, Netherlands, 30 March 2025 - 3 April 2025. ACM, pp. 32–47, 2025. [ link ]
    2. ALPHA-PIM: Analysis of Linear Algebraic Processing for High-Performance Graph Applications on a Real Processing-In-Memory System. M. Barkhordar, A. Tabatabaeian, M. Sadrosadati, C. Giannoula, J. Gómez-Luna, I. Hajj, O. Mutlu and A.R. Alameldeen. In IEEE International Symposium on Workload Characterization, IISWC 2025, Irvine, CA, USA, October 12-14, 2025. IEEE, pp. 257–271, 2025. [ link ]
  • 2024:
    1. Message from the MICRO 2024 Program Chairs. D.A. Jiménez and A.R. Alameldeen. In 57th IEEE⁄ACM International Symposium on Microarchitecture, MICRO 2024, Austin, TX, USA, November 2-6, 2024. IEEE, pp. xxvi–xxvii, 2024. [ link ]
    2. INTERFACE: An Indirect, Partitioned, Random, Fully-Associative Cache to Avoid Shared Last-Level Cache Attacks. Y. Kelemework and A.R. Alameldeen. In International Symposium on Secure and Private Execution Environment Design, SEED 2024, Orlando, FL, USA, May 16-17, 2024. IEEE, pp. 37–49, 2024. [ link ]
    3. Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata. A. Miltner, Z. Wang, S. Chaudhuri and I. Dillig. In Computer Aided Verification - 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III. Springer, Lecture Notes in Computer Science 14683, pp. 41–63, 2024. [ link ]
    4. Certifying Zero-Knowledge Circuits with Refinement Types. J. Liu, I. Kretz, H. Liu, B. Tan, J. Wang, Y. Sun, L. Pearson, A. Miltner, I. Dillig and Y. Feng. In IEEE Symposium on Security and Privacy, SP 2024, San Francisco, CA, USA, May 19-23, 2024. IEEE, pp. 1741–1759, 2024. [ link ]
    5. A Study of Vulnerability Repair in JavaScript Programs with Large Language Models. T. Le, S. Alimadadi and S.Y. Ko. In Companion Proceedings of the ACM on Web Conference 2024, WWW 2024, Singapore, Singapore, May 13-17, 2024. ACM, pp. 666–669, 2024. [ link ]
  • 2023:
    1. Saggitarius: A DSL for Specifying Grammatical Domains. A. Miltner, D. Loehr, A. Mong, K. Fisher and D. Walker. Proc. ACM Program. Lang., 7({OOPSLA2}):2023–2051, 2023. [ link ]
    2. Certifying Zero-Knowledge Circuits with Refinement Types. J. Liu, I. Kretz, H. Liu, B. Tan, J. Wang, Y. Sun, L. Pearson, A. Miltner, I. Dillig and Y. Feng. IACR Cryptol. ePrint Arch., 547, 2023. [ link ]
    3. Code Coverage Criteria for Asynchronous Programs. M. Ganji, S. Alimadadi and F. Tip. In Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC⁄FSE 2023, San Francisco, CA, USA, December 3-9, 2023. ACM, pp. 1307–1319, 2023. [ link ]
  • 2022:
    1. Guest Editors’ Introduction: Near-Memory and In-Memory Processing. H. Li, A.R. Alameldeen and O. Mutlu. IEEE Des. Test, 39(2):46–47, 2022. [ link ]
    2. Bottom-up synthesis of recursive functional programs using angelic execution. A. Miltner, A. Nuñez, A. Brendel, S. Chaudhuri and I. Dillig. Proc. ACM Program. Lang., 6({POPL}):1–29, 2022. [ link ]
    3. Stubbifier: debloating dynamic server-side JavaScript applications. A. Turcotte, E. Arteca, A. Mishra, S. Alimadadi and F. Tip. Empir. Softw. Eng., 27(7):161, 2022. [ link ]
  • 2021:
    1. Speculative interference attacks: breaking invisible speculation schemes. M. Behnia, P. Sahu, R. Paccagnella, J. Yu, Z. Zhao, X. Zou, T. Unterluggauer, J. Torrellas, C.V. Rozas, A. Morrison, F. McKeen, F. Liu, R. Gabor, C.W. Fletcher, A. Basak and A.R. Alameldeen. In ASPLOS ’21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Virtual Event, USA, April 19-23, 2021. ACM, pp. 1046–1060, 2021. [ link ]
    2. Improving Streaming Graph Processing Performance using Input Knowledge. A. Basak, Z. Qu, J. Lin, A.R. Alameldeen, Z. Chishti, Y. Ding and Y. Xie. In MICRO ’21: 54th Annual IEEE⁄ACM International Symposium on Microarchitecture, Virtual Event, Greece, October 18-22, 2021. ACM, pp. 1036–1050, 2021. [ link ]
  • 2020:
    1. Compact Leakage-Free Support for Integrity and Reliability. M. Taassori, R. Balasubramonian, S. Chhabra, A.R. Alameldeen, M. Peddireddy, R. Agarwal and R. Stutsman. In 47th ACM⁄IEEE Annual International Symposium on Computer Architecture, ISCA 2020, Virtual Event ⁄ Valencia, Spain, May 30 - June 3, 2020. IEEE, pp. 735–748, 2020. [ link ]
    2. SAGA-Bench: Software and Hardware Characterization of Streaming Graph Analytics Workloads. A. Basak, J. Lin, R. Lorica, X. Xie, Z. Chishti, A.R. Alameldeen and Y. Xie. In IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2020, Boston, MA, USA, August 23-25, 2020. IEEE, pp. 12–23, 2020. [ link ]
    3. Synthesizing Lenses. A. Miltner. PhD thesis, Princeton University, USA, 2020. [ link ]
    4. Data-driven inference of representation invariants. A. Miltner, S. Padhi, T.D. Millstein and D. Walker. In Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020. ACM, pp. 1–15, 2020. [ link ]
  • 2019:
    1. A Case For Asymmetric Processing in Memory. B. Akin and A.R. Alameldeen. IEEE Comput. Archit. Lett., 18(1):22–25, 2019. [ link ]
    2. ZCOMP: Reducing DNN Cross-Layer Memory Footprint Using Vector Extensions. B. Akin, Z.A. Chishti and A.R. Alameldeen. In Proceedings of the 52nd Annual IEEE⁄ACM International Symposium on Microarchitecture, MICRO 2019, Columbus, OH, USA, October 12-16, 2019. ACM, pp. 126–138, 2019. [ link ]
    3. Synthesizing symmetric lenses. A. Miltner, S. Maina, K. Fisher, B.C. Pierce, D. Walker and S. Zdancewic. Proc. ACM Program. Lang., 3({ICFP}):95:1–95:28, 2019. [ link ]
    4. On the fly synthesis of edit suggestions. A. Miltner, S. Gulwani, V. Le, A. Leung, A. Radhakrishna, G. Soares, A. Tiwari and A. Udupa. Proc. ACM Program. Lang., 3({OOPSLA}):143:1–143:29, 2019. [ link ]
  • 2018:
    1. CompressPoints: An Evaluation Methodology for Compressed Memory Systems. E. Choukse, M. Erez and A.R. Alameldeen. IEEE Comput. Archit. Lett., 17(2):126–129, 2018. [ link ]
    2. Opportunistic compression for direct-mapped DRAM caches. A.R. Alameldeen and R. Agarwal. In Proceedings of the International Symposium on Memory Systems, MEMSYS 2018, Old Town Alexandria, VA, USA, October 01-04, 2018. ACM, pp. 129–136, 2018. [ link ]
    3. CHAMELEON: A Dynamically Reconfigurable Heterogeneous Memory System. J.B. Kotra, H. Zhang, A.R. Alameldeen, C. Wilkerson and M.T. Kandemir. In 51st Annual IEEE⁄ACM International Symposium on Microarchitecture, MICRO 2018, Fukuoka, Japan, October 20-24, 2018. IEEE Computer Society, pp. 533–545, 2018. [ link ]
    4. Compresso: Pragmatic Main Memory Compression. E. Choukse, M. Erez and A.R. Alameldeen. In 51st Annual IEEE⁄ACM International Symposium on Microarchitecture, MICRO 2018, Fukuoka, Japan, October 20-24, 2018. IEEE Computer Society, pp. 546–558, 2018. [ link ]
    5. Synthesizing quotient lenses. S. Maina, A. Miltner, K. Fisher, B.C. Pierce, D. Walker and S. Zdancewic. Proc. ACM Program. Lang., 2({ICFP}):80:1–80:29, 2018. [ link ]
    6. Synthesizing bijective lenses. A. Miltner, K. Fisher, B.C. Pierce, D. Walker and S. Zdancewic. Proc. ACM Program. Lang., 2({POPL}):1:1–1:30, 2018. [ link ]
    7. Finding broken promises in asynchronous JavaScript programs. S. Alimadadi, D. Zhong, M. Madsen and F. Tip. Proc. ACM Program. Lang., 2({OOPSLA}):162:1–162:26, 2018. [ link ]
    8. Inferring hierarchical motifs from execution traces. S. Alimadadi, A. Mesbah and K. Pattabiraman. In Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018. ACM, pp. 776–787, 2018. [ link ]
    9. Practical AJAX race detection for JavaScript web applications. C. Adamsen, A. Møller, S. Alimadadi and F. Tip. In Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC⁄SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018. ACM, pp. 38–48, 2018. [ link ]
  • 2017:
    1. A Case for Memory Content-Based Detection and Mitigation of Data-Dependent Failures in DRAM. S. Khan, C. Wilkerson, D. Lee, A.R. Alameldeen and O. Mutlu. IEEE Comput. Archit. Lett., 16(2):88–93, 2017. [ link ]
    2. Probabilistic replacement strategies for improving the lifetimes of NVM-based caches. E. Reed, A.R. Alameldeen, H. Naeimi and P. Stolt. In Proceedings of the International Symposium on Memory Systems, MEMSYS 2017, Alexandria, VA, USA, October 02 - 05, 2017. ACM, pp. 166–176, 2017. [ link ]
    3. Detecting and mitigating data-dependent DRAM failures by exploiting current memory content. S. Khan, C. Wilkerson, Z. Wang, A.R. Alameldeen, D. Lee and O. Mutlu. In Proceedings of the 50th Annual IEEE⁄ACM International Symposium on Microarchitecture, MICRO 2017, Cambridge, MA, USA, October 14-18, 2017. ACM, pp. 27–40, 2017. [ link ]
  • 2016:
    1. Base-Victim Compression: An Opportunistic Cache Compression Architecture. J. Gaur, A.R. Alameldeen and S. Subramoney. In 43rd ACM⁄IEEE Annual International Symposium on Computer Architecture, ISCA 2016, Seoul, South Korea, June 18-22, 2016. IEEE Computer Society, pp. 317–328, 2016. [ link ]
    2. Understanding JavaScript Event-Based Interactions with Clematis. S. Alimadadi, S. Sequeira, A. Mesbah and K. Pattabiraman. ACM Trans. Softw. Eng. Methodol., 25(2):12:1–12:38, 2016. [ link ]
    3. Understanding asynchronous interactions in full-stack JavaScript. S. Alimadadi, A. Mesbah and K. Pattabiraman. In Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, Austin, TX, USA, May 14-22, 2016. ACM, pp. 1169–1180, 2016. [ link ]
    4. Understanding behavioural patterns in JavaScript. S. Alimadadi. In Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2016, Seattle, WA, USA, November 13-18, 2016. ACM, pp. 1076–1078, 2016. [ link ]
  • 2015:
    1. Hybrid DOM-Sensitive Change Impact Analysis for JavaScript. S. Alimadadi, A. Mesbah and K. Pattabiraman. In 29th European Conference on Object-Oriented Programming, ECOOP 2015, Prague, Czech Republic, July 5-10, 2015. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, LIPIcs 37, pp. 321–345, 2015. [ link ]
  • 2014:
    1. Improving DRAM performance by parallelizing refreshes with accesses. K. Chang, D. Lee, Z. Chishti, A.R. Alameldeen, C. Wilkerson, Y. Kim and O. Mutlu. In 20th IEEE International Symposium on High Performance Computer Architecture, HPCA 2014, Orlando, FL, USA, February 15-19, 2014. IEEE Computer Society, pp. 356–367, 2014. [ link ]
    2. Improving cache performance using read-write partitioning. S. Khan, A.R. Alameldeen, C. Wilkerson, O. Mutlu and D.A. Jiménez. In 20th IEEE International Symposium on High Performance Computer Architecture, HPCA 2014, Orlando, FL, USA, February 15-19, 2014. IEEE Computer Society, pp. 452–463, 2014. [ link ]
    3. Transparent Hardware Management of Stacked DRAM as Part of Memory. J. Sim, A.R. Alameldeen, Z. Chishti, C. Wilkerson and H. Kim. In 47th Annual IEEE⁄ACM International Symposium on Microarchitecture, MICRO 2014, Cambridge, United Kingdom, December 13-17, 2014. IEEE Computer Society, pp. 13–24, 2014. [ link ]
    4. The efficacy of error mitigation techniques for DRAM retention failures: a comparative experimental study. S. Khan, D. Lee, Y. Kim, A.R. Alameldeen, C. Wilkerson and O. Mutlu. In ACM SIGMETRICS ⁄ International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 2014, Austin, TX, USA, June 16-20, 2014. ACM, pp. 519–532, 2014. [ link ]
    5. Understanding JavaScript event-based interactions. S. Alimadadi, S. Sequeira, A. Mesbah and K. Pattabiraman. In 36th International Conference on Software Engineering, ICSE ’14, Hyderabad, India - May 31 - June 07, 2014. ACM, pp. 367–377, 2014. [ link ]
  • 2013:
    1. Improving multi-core performance using mixed-cell cache architecture. S. Khan, A.R. Alameldeen, C. Wilkerson, J. Kulkarni and D.A. Jiménez. In 19th IEEE International Symposium on High Performance Computer Architecture, HPCA 2013, Shenzhen, China, February 23-27, 2013. IEEE Computer Society, pp. 119–130, 2013. [ link ]
  • 2012:
    1. Redundancy and ECC mechanisms to improve energy efficiency of on-die interconnects. A. Helmy and A.R. Alameldeen. In International Conference on Energy Aware Computing, ICEAC 2012, Guzelyurt, Cyprus, December 3-5, 2012. IEEE, pp. 1–6, 2012. [ link ]
  • 2011:
    1. Guest Editor’s Introduction. A.R. Alameldeen. J. Instr. Level Parallelism, 13, 2011. [ link ]
    2. Adaptive Cache Design to Enable Reliable Low-Voltage Operation. A.R. Alameldeen, Z. Chishti, C. Wilkerson, W. Wu and S. Lu. IEEE Trans. Computers, 60(1):50–63, 2011. [ link ]
    3. Energy-efficient cache design using variable-strength error-correcting codes. A.R. Alameldeen, I. Wagner, Z. Chishti, W. Wu, C. Wilkerson and S. Lu. In 38th International Symposium on Computer Architecture (ISCA 2011), June 4-8, 2011, San Jose, CA, USA. ACM, pp. 461–472, 2011. [ link ]
  • 2010:
    1. Reducing cache power with low-cost, multi-bit error-correcting codes. C. Wilkerson, A.R. Alameldeen, Z. Chishti, W. Wu, D. Somasekhar and S. Lu. In 37th International Symposium on Computer Architecture (ISCA 2010), June 19-23, 2010, Saint-Malo, France. ACM, pp. 83–93, 2010. [ link ]
    2. CZSaw, IMAS & Tableau: Collaboration among teams: VAST 2010 Grand Challenge award: Excellent student team analysis. D.T. Dunsmuir, M.Z. Baraghoush, V.Y. Chen, M. Joorabchi, M. Joorabchi, S. Alimadadi, E. Lee, J. Dill, C.Z. Qian, C.D. Shaw and R.F. Woodbury. In 5th IEEE Conference on Visual Analytics Science and Technology, IEEE VAST 2010, Salt Lake City, UT, USA, October 24-29, 2010, part of VisWeek 2010. IEEE Computer Society, pp. 267–268, 2010. [ link ]
    3. Model based interactive analysis of interwoven, imprecise narratives: VAST 2010 mini challenge 1 award: Outstanding interaction model. V.Y. Chen, D.T. Dunsmuir, S. Alimadadi, E. Lee, J. Guenther, J.C. Dill, C.Z. Qian, C.D. Shaw, M.C. Stone and R.F. Woodbury. In 5th IEEE Conference on Visual Analytics Science and Technology, IEEE VAST 2010, Salt Lake City, UT, USA, October 24-29, 2010, part of VisWeek 2010. IEEE Computer Society, pp. 275–276, 2010. [ link ]
  • 2009:
    1. Trading Off Cache Capacity for Low-Voltage Operation. C. Wilkerson, H. Gao, A.R. Alameldeen, Z. Chishti, M.M. Khellah and S. Lu. IEEE Micro, 29(1):96–103, 2009. [ link ]
    2. Impact of Die-to-Die and Within-Die Parameter Variations on the Clock Frequency and Throughput of Multi-Core Processors. K.A. Bowman, A.R. Alameldeen, S.T. Srinivasan and C. Wilkerson. IEEE Trans. Very Large Scale Integr. Syst., 17(12):1679–1690, 2009. [ link ]
    3. Improving cache lifetime reliability at ultra-low voltages. Z. Chishti, A.R. Alameldeen, C. Wilkerson, W. Wu and S. Lu. In 42st Annual IEEE⁄ACM International Symposium on Microarchitecture (MICRO-42 2009), December 12-16, 2009, New York, New York, USA. ACM, pp. 89–99, 2009. [ link ]
  • 2008:
    1. Trading off Cache Capacity for Reliability to Enable Low Voltage Operation. C. Wilkerson, H. Gao, A.R. Alameldeen, Z. Chishti, M.M. Khellah and S. Lu. In 35th International Symposium on Computer Architecture (ISCA 2008), June 21-25, 2008, Beijing, China. IEEE Computer Society, pp. 203–214, 2008. [ link ]
  • 2007:
    1. Interactions Between Compression and Prefetching in Chip Multiprocessors. A.R. Alameldeen and D.A. Wood. In 13st International Conference on High-Performance Computer Architecture (HPCA-13 2007), 10-14 February 2007, Phoenix, Arizona, USA. IEEE Computer Society, pp. 228–239, 2007. [ link ]
    2. Impact of die-to-die and within-die parameter variations on the throughput distribution of multi-core processors. K.A. Bowman, A.R. Alameldeen, S.T. Srinivasan and C. Wilkerson. In Proceedings of the 2007 International Symposium on Low Power Electronics and Design, 2007, Portland, OR, USA, August 27-29, 2007. ACM, pp. 50–55, 2007. [ link ]
  • 2006:
    1. IPC Considered Harmful for Multiprocessor Workloads. A.R. Alameldeen and D.A. Wood. IEEE Micro, 26(4):8–17, 2006. [ link ]
  • 2005:
    1. Multifacet’s general execution-driven multiprocessor simulator (GEMS) toolset. M.M.K. Martin, D.J. Sorin, B.M. Beckmann, M.R. Marty, M. Xu, A.R. Alameldeen, K.E. Moore, M.D. Hill and D.A. Wood. SIGARCH Comput. Archit. News, 33(4):92–99, 2005. [ link ]
  • 2004:
    1. Adaptive Cache Compression for High-Performance Processors. A.R. Alameldeen and D.A. Wood. In 31st International Symposium on Computer Architecture (ISCA 2004), 19-23 June 2004, Munich, Germany. IEEE Computer Society, pp. 212–223, 2004. [ link ]
  • 2003:
    1. Simulating a \textdollar2M Commercial Server on a \textdollar2K PC. A.R. Alameldeen, M.M.K. Martin, C.J. Mauer, K.E. Moore, M. Xu, M.D. Hill, D.A. Wood and D.J. Sorin. Computer, 36(2):50–57, 2003. [ link ]
    2. Addressing Workload Variability in Architectural Simulations. A.R. Alameldeen and D.A. Wood. IEEE Micro, 23(6):94–98, 2003. [ link ]
    3. Variability in Architectural Simulations of Multi-Threaded Workloads. A.R. Alameldeen and D.A. Wood. In Proceedings of the Ninth International Symposium on High-Performance Computer Architecture (HPCA’03), Anaheim, California, USA, February 8-12, 2003. IEEE Computer Society, pp. 7–18, 2003. [ link ]
  • 2001:
    1. Estimating the Selectivity of XML Path Expressions for Internet Scale Applications. A. Aboulnaga, A.R. Alameldeen and J.F. Naughton. In VLDB 2001, Proceedings of 27th International Conference on Very Large Data Bases, September 11-14, 2001, Roma, Italy. Morgan Kaufmann, pp. 591–600, 2001. [ link ]
  • 2000:
    1. Timestamp snooping: an approach for extending SMPs. M.M.K. Martin, D.J. Sorin, A. Ailamaki, A.R. Alameldeen, R.M. Dickson, C.J. Mauer, K.E. Moore, M. Plakal, M.D. Hill and D.A. Wood. In ASPLOS-IX Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems, Cambridge, MA, USA, November 12-15, 2000. ACM Press, pp. 25–36, 2000. [ link ]

Generated using php-bibHTML by Hugo Jonker, based on the BiblioPhile PHP BibTex parser.

(C) SFU Systems Group

×