Propeller: A Profile Guided, Relinking Optimizer for Warehouse-Scale Applications.

Rahman Lavaee Han Shen Krzysztof Pszeniczny Rahman Lavaee Snehasish Kumar Sriraman Tallam Xinliang David Li Propeller: A Profile Guided, Relinking Optimizer for Warehouse-Scale Applications. 617-631 2023 ASPLOS (2) https://doi.org/10.1145/3575693.3575727 https://www.wikidata.org/entity/Q131120664 conf/asplos/2023-2 db/conf/asplos/asplos2023-2.html#ShenPLKTL23 Rahman Lavaee John Criswell Chen Ding 0001 Codestitcher: inter-procedural basic block layout optimization. 65-75 2019 CC https://doi.org/10.1145/3302516.3307358 https://www.wikidata.org/entity/Q130894292 conf/cc/2019 db/conf/cc/cc2019.html#LavaeeCD19 Jacob Brock Chen Ding 0001 Rahman Lavaee Fangzhou Liu 0004 Liang Yuan Prediction and bounds on shared cache demand from memory access interleaving. 96-108 2018 ISMM https://doi.org/10.1145/3210563.3210565 https://doi.org/10.1145/3299706.3210565 https://www.wikidata.org/entity/Q128765767 conf/iwmm/2018 db/conf/iwmm/ismm2018.html#BrockDLLY18 Zhizhou Zhang 0002 Chencheng Ye 0001 Rahman Lavaee Ning Gu Chen Ding 0001 Fine-grained data usage analysis by access sampling: seeing the data that is not there. 221-231 2018 MEMSYS https://doi.org/10.1145/3240302.3240425 conf/memsys/2018 db/conf/memsys/memsys2018.html#ZhangYLGD18

Rahman Lavaee John Criswell Chen Ding Codestitcher: Inter-Procedural Basic Block Layout Optimization. 2018 abs/1810.00905 CoRR http://arxiv.org/abs/1810.00905 db/journals/corr/corr1810.html#abs-1810-00905

Lane A. Hemaspaandra Rahman Lavaee Curtis Menton Schulze and ranked-pairs voting are fixed-parameter tractable to bribe, manipulate, and control. 191-223 2016 77 Ann. Math. Artif. Intell. 3-4 https://doi.org/10.1007/s10472-015-9479-1 db/journals/amai/amai77.html#HemaspaandraLM16

Rahman Lavaee I. Stephen Choi Yang-Suk Kee Chen Ding 0001 ElCached: Elastic Multi-Level Key-Value Cache. 2016 INFLOW@OSDI https://www.usenix.org/conference/inflow16/workshop-program/presentation/lavaee conf/osdi/2016inflow db/conf/osdi/inflow2016.html#LavaeeCKD16 Rahman Lavaee The hardness of data packing. 232-242 2016 POPL https://doi.org/10.1145/2837614.2837669 https://doi.org/10.1145/2914770.2837669 https://www.wikidata.org/entity/Q131025502 conf/popl/2016 db/conf/popl/popl2016.html#Lavaee16 Mohammad Kazemi Rahman Lavaee Iftekhar Naim Daniel Gildea Sliding Alignment Windows for Real-Time Crowd Captioning. 236-240 2014 ACL (2) https://doi.org/10.3115/v1/p14-2039 https://aclanthology.org/P14-2039/ conf/acl/2014-2 db/conf/acl/acl2014-2.html#KazemiLNG14 Brian Gernhardt Rahman Lavaee Chen Ding 0001 Affinity-based hash tables. 2:1-2:3 2014 MSPC@PLDI https://doi.org/10.1145/2618128.2618135 conf/pldi/2014mspc db/conf/pldi/mspc2014.html#GernhardtLD14 Lane A. Hemaspaandra Rahman Lavaee Curtis Menton Schulze and ranked-pairs voting are fixed-parameter tractable to bribe, manipulate, and control. 1345-1346 2013 AAMAS http://dl.acm.org/citation.cfm?id=2485216 conf/atal/2013 db/conf/atal/aamas2013.html#HemaspaandraLM13

Lane A. Hemaspaandra Rahman Lavaee Curtis Menton Schulze and Ranked-Pairs Voting are Fixed-Parameter Tractable to Bribe, Manipulate, and Control http://arxiv.org/abs/1210.6963 2012 CoRR abs/1210.6963 db/journals/corr/corr1210.html#abs-1210-6963

Jacob Brock I. Stephen Choi John Criswell Chen Ding Chen Ding 0001 Brian Gernhardt Daniel Gildea Ning Gu Lane A. Hemaspaandra Mohammad Kazemi Yang-Suk Kee Snehasish Kumar Xinliang David Li Fangzhou Liu 0004 Curtis Menton Iftekhar Naim Krzysztof Pszeniczny Han Shen Sriraman Tallam Chencheng Ye 0001 Liang Yuan Zhizhou Zhang 0002