Publications

  • 2024:
    1. Semantic Code Refactoring for Abstract Data Types. S. Pailoor, Y. Wang and I. Dillig. Proc. ACM Program. Lang., 8({POPL}):816–847, 2024. link ]
    2. METAL: Caching Multi-level Indexes in Domain-Specific Architectures. A. Kumar, A. Prasanna, J. Balkind and A. Shriraman. In Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, ASPLOS 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024. ACM, pp. 715–729, 2024. link ]
    3. TapeFlow: Streaming Gradient Tapes in Automatic Differentiation. M. Hakimi and A. Shriraman. In IEEE⁄ACM International Symposium on Code Generation and Optimization, CGO 2024, Edinburgh, United Kingdom, March 2-6, 2024. IEEE, pp. 81–92, 2024. link ]
    4. Contigra: Graph Mining with Containment Constraints. J. Che, K. Jamshidi and K. Vora. In Proceedings of the Nineteenth European Conference on Computer Systems, EuroSys 2024, Athens, Greece, April 22-25, 2024. ACM, pp. 50–65, 2024. link ]
    5. OsirisBFT: Say No to Task Replication for Scalable Byzantine Fault Tolerant Analytics. K. Jamshidi and K. Vora. In Proceedings of the 29th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming, PPoPP 2024, Edinburgh, United Kingdom, March 2-6, 2024. ACM, pp. 94–108, 2024. link ]
  • 2023:
    1. Edge-SLAM: Edge-Assisted Visual Simultaneous Localization and Mapping. A.J. Ali, M. Kouroshli, S. Semenova, Z. Hashemifar, S.Y. Ko and K. Dantu. ACM Trans. Embed. Comput. Syst., 22(1):18:1–18:31, 2023. link ]
    2. Improving the Performance of Local Bundle Adjustment for Visual-Inertial SLAM with Efficient Use of GPU Resources. S. Gopinath, K. Dantu and S.Y. Ko. In IEEE International Conference on Robotics and Automation, ICRA 2023, London, UK, May 29 - June 2, 2023. IEEE, pp. 6239–6245, 2023. link ]
    3. SymRustC: A Hybrid Fuzzer for Rust. F. Tuong, M. Tehrani, M. Gaboardi and S.Y. Ko. In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023. ACM, pp. 1515–1518, 2023. link ]
    4. 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 ]
    5. OptiQL: Robust Optimistic Locking for Memory-Optimized Indexes. G. Shi, Z. Yan and T. Wang. Proc. ACM Manag. Data, 1(3):216:1–216:26, 2023. link ]
    6. Blink-hash: An Adaptive Hybrid Index for In-Memory Time-Series Databases. H. Cha, X. Hao, T. Wang, H. Zhang, A. Akella and X. Yu. Proc. VLDB Endow., 16(6):1235–1248, 2023. link ]
    7. NV-SQL: Boosting OLTP Performance with Non-Volatile DIMMs. M. An, J. Park, T. Wang, B. Nam and S. Lee. Proc. VLDB Endow., 16(6):1453–1465, 2023. link ]
    8. The Art of Latency Hiding in Modern Database Engines. K. Huang, T. Wang, Q. Zhou and Q. Meng. Proc. VLDB Endow., 17(3):577–590, 2023. link ]
    9. Efficiently Making Cross-Engine Transactions Consistent. J. Zhang, K. Huang, T. Wang and K. Lv. SIGMOD Rec., 52(1):27–34, 2023. link ]
    10. Future Database Engine Development: You Will Only Need One Programming Language. T. Wang. SIGMOD Rec., 52(4):39–40, 2023. link ]
    11. Data Pipes: Declarative Control over Data Movement. L. Vogel, D. Ritter, D. Porobic, P. Tözün, T. Wang and A. Lerner. In 13th Conference on Innovative Data Systems Research, CIDR 2023, Amsterdam, The Netherlands, January 8-11, 2023. www.cidrdb.org, 2023. link ]
    12. Workshop on Simplicity in Management of Data (SiMoD). D. Porobic and T. Wang. In Companion of the 2023 International Conference on Management of Data, SIGMOD⁄PODS 2023, Seattle, WA, USA, June 18-23, 2023. ACM, pp. 301–302, 2023. link ]
    13. Proceedings of the 1st Workshop on Simplicity in Management of Data, SiMoD@SIGMOD 2023, Bellevue, WA, USA, 23 June 2023. D. Porobic and T. Wang, editors. 2023. link ]
    14. 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 ]
    15. 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 ]
    16. Accelerating Graph Mining Systems with Subgraph Morphing. K. Jamshidi, H. Xu and K. Vora. In Proceedings of the Eighteenth European Conference on Computer Systems, EuroSys 2023, Rome, Italy, May 8-12, 2023. ACM, pp. 162–181, 2023. link ]
    17. Type Batched Program Reduction. G. Gharachorlu and N. Sumner. In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023. ACM, pp. 398–410, 2023. link ]
  • 2022:
    1. A-mash: providing single-app illusion for multi-app use through user-centric UI mashup. S. Lee, H. Kim, S. Kim, S. Lee, H. Kim, J. Song, S.Y. Ko, S. Oh and I. Shin. In ACM MobiCom ’22: The 28th Annual International Conference on Mobile Computing and Networking, Sydney, NSW, Australia, October 17 - 21, 2022. ACM, pp. 690–702, 2022. link ]
    2. A modular, extensible framework for modern visual SLAM systems. S. Semenova, P. Meshram, T. Chase, S.Y. Ko, Y. Liu, L. Ziarek and K. Dantu. In MobiSys ’22: The 20th Annual International Conference on Mobile Systems, Applications and Services, Portland, Oregon, 27 June 2022 - 1 July 2022. ACM, pp. 579–580, 2022. link ]
    3. A quantitative analysis of system bottlenecks in visual SLAM. S. Semenova, S.Y. Ko, Y. Liu, L. Ziarek and K. Dantu. In HotMobile ’22: The 23rd International Workshop on Mobile Computing Systems and Applications, Tempe, Arizona, USA, March 9 - 10, 2022. ACM, pp. 74–80, 2022. link ]
    4. 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 ]
    5. 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 ]
    6. Evaluating Persistent Memory Range Indexes: Part Two. Y. He, D. Lu, K. Huang and T. Wang. Proc. VLDB Endow., 15(11):2477–2490, 2022. link ]
    7. ConnectorX: Accelerating Data Loading From Databases to Dataframes. X. Wang, W. Wu, J. Wu, Y. Chen, N. Zrymiak, C. Qu, L. Flokas, G. Chow, J. Wang, T. Wang, E. Wu and Q. Zhou. Proc. VLDB Endow., 15(11):2994–3003, 2022. link ]
    8. Are Updatable Learned Indexes Ready?. C. Wongkham, B. Lu, C. Liu, Z. Zhong, E. Lo and T. Wang. Proc. VLDB Endow., 15(11):3004–3017, 2022. link ]
    9. The Past, Present and Future of Indexing on Persistent Memory. K. Huang, Y. He and T. Wang. Proc. VLDB Endow., 15(12):3774–3777, 2022. link ]
    10. Online Schema Evolution is (almost) Free for Snapshot Databases. T. Hu, T. Wang and Q. Zhou. Proc. VLDB Endow., 16(2):140–153, 2022. link ]
    11. SSDs Striking Back: The Storage Jungle and Its Implications to Persistent Indexes. K. Huang, D. Imai, T. Wang and D. Xie. In 12th Conference on Innovative Data Systems Research, CIDR 2022, Chaminade, CA, USA, January 9-12, 2022. www.cidrdb.org, 2022. link ]
    12. Skeena: Efficient and Consistent Cross-Engine Transactions. J. Zhang, K. Huang, T. Wang and K. Lv. In SIGMOD ’22: International Conference on Management of Data, Philadelphia, PA, USA, June 12 - 17, 2022. ACM, pp. 34–48, 2022. link ]
    13. 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 ]
    14. Synthesis-powered optimization of smart contracts via data type refactoring. Y. Chen, Y. Wang, M. Goyal, J. Dong, Y. Feng and I. Dillig. Proc. ACM Program. Lang., 6({OOPSLA2}):560–588, 2022. link ]
    15. CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation. P. Pashakhanloo, A. Naik, Y. Wang, H. Dai, P. Maniatis and M. Naik. In The Tenth International Conference on Learning Representations, ICLR 2022, Virtual Event, April 25-29, 2022. OpenReview.net, 2022. link ]
    16. Declarative smart contracts. H. Chen, G. Whitters, M. Amiri, Y. Wang and B. Loo. In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC⁄FSE 2022, Singapore, Singapore, November 14-18, 2022. ACM, pp. 281–293, 2022. link ]
    17. Automatic Repair for Network Programs. L. Shi, Y. Wang, R. Alur and B. Loo. In Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II. Springer, Lecture Notes in Computer Science 13244, pp. 353–372, 2022. link ]
    18. mu-grind: A Framework for Dynamically Instrumenting HLS-Generated RTL. P. Vahdatniya, A. Sharifian, R. Hojabr and A. Shriraman. In Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, PACT 2022, Chicago, Illinois, October 8-12, 2022. ACM, pp. 346–358, 2022. link ]
    19. X-cache: a modular architecture for domain-specific caches. A. Sedaghati, M. Hakimi, R. Hojabr and A. Shriraman. In ISCA ’22: The 49th Annual International Symposium on Computer Architecture, New York, New York, USA, June 18 - 22, 2022. ACM, pp. 396–409, 2022. link ]
    20. Anti-vertex for neighborhood constraints in subgraph queries. K. Jamshidi, M. Mariappan and K. Vora. In GRADES-NDA ’22: Proceedings of the 5th ACM SIGMOD Joint International Workshop on Graph Data Management Experiences & Systems (GRADES) and Network Data Analytics (NDA), Philadelphia, Pennsylvania, USA, 12 June 2022. ACM, pp. 5:1–5:9, 2022. link ]
  • 2021:
    1. FLUID-XP: flexible user interface distribution for cross-platform experience. S. Lee, H. Lee, H. Kim, S. Lee, J. Choi, Y. Lee, S. Lee, A. Kim, J. Song, S. Oh, S.Y. Ko and I. Shin. In ACM MobiCom ’21: The 27th Annual International Conference on Mobile Computing and Networking, New Orleans, Louisiana, USA, October 25-29, 2021. ACM, pp. 762–774, 2021. link ]
    2. Rushmore: securely displaying static and animated images using TrustZone. C. Park, D. Kim, D. Sidhwani, A. Fuchs, A. Paul, S. Lee, K. Dantu and S.Y. Ko. In MobiSys ’21: The 19th Annual International Conference on Mobile Systems, Applications, and Services, Virtual Event, Wisconsin, USA, 24 June - 2 July, 2021. ACM, pp. 122–135, 2021. link ]
    3. 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 ]
    4. 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 ]
    5. APEX: A High-Performance Learned Index on Persistent Memory. B. Lu, J. Ding, E. Lo, U. Minhas and T. Wang. Proc. VLDB Endow., 15(3):597–610, 2021. link ]
    6. Scaling Dynamic Hash Tables on Real Persistent Memory. B. Lu, X. Hao, T. Wang and E. Lo. SIGMOD Rec., 50(1):87–94, 2021. link ]
    7. Synthesizing data structure refinements from integrity constraints. S. Pailoor, Y. Wang, X. Wang and I. Dillig. In PLDI ’21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Virtual Event, Canada, June 20-25, 2021. ACM, pp. 574–587, 2021. link ]
    8. Sporq: An Interactive Environment for Exploring Code using Query-by-Example. A. Naik, J. Mendelson, N. Sands, Y. Wang, M. Naik and M. Raghothaman. In UIST ’21: The 34th Annual ACM Symposium on User Interface Software and Technology, Virtual Event, USA, October 10-14, 2021. ACM, pp. 84–99, 2021. link ]
    9. X-Layer: Building Composable Pipelined Dataflows for Low-Rank Convolutions. N. Vedula, R. Hojabr, A. Khonsari and A. Shriraman. In 30th International Conference on Parallel Architectures and Compilation Techniques, PACT 2021, Atlanta, GA, USA, September 26-29, 2021. IEEE, pp. 103–115, 2021. link ]
    10. SPAGHETTI: Streaming Accelerators for Highly Sparse GEMM on FPGAs. R. Hojabr, A. Sedaghati, A. Sharifian, A. Khonsari and A. Shriraman. In IEEE International Symposium on High-Performance Computer Architecture, HPCA 2021, Seoul, South Korea, February 27 - March 3, 2021. IEEE, pp. 84–96, 2021. link ]
    11. Real-Time Hamilton-Jacobi Reachability Analysis of Autonomous System With An FPGA. M. Bui, M. Lu, R. Hojabr, M. Chen and A. Shriraman. In IEEE⁄RSJ International Conference on Intelligent Robots and Systems, IROS 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021. IEEE, pp. 1666–1673, 2021. link ]
    12. Grafs: declarative graph analytics. F. Houshmand, M. Lesani and K. Vora. Proc. ACM Program. Lang., 5({ICFP}):1–32, 2021. link ]
    13. A Deeper Dive into Pattern-Aware Subgraph Exploration with PEREGRINE. K. Jamshidi and K. Vora. ACM SIGOPS Oper. Syst. Rev., 55(1):1–10, 2021. link ]
    14. DZiG: sparsity-aware incremental processing of streaming graphs. M. Mariappan, J. Che and K. Vora. In EuroSys ’21: Sixteenth European Conference on Computer Systems, Online Event, United Kingdom, April 26-28, 2021. ACM, pp. 83–98, 2021. link ]
    15. Dorylus: Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads. J. Thorpe, Y. Qiao, J. Eyolfson, S. Teng, G. Hu, Z. Jia, J. Wei, K. Vora, R. Netravali, M. Kim and G. Xu. In 15th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2021, July 14-16, 2021. USENIX Association, pp. 495–514, 2021. link ]
    16. Controlling Memory Footprint of Stateful Streaming Graph Processing. P. Vaziri and K. Vora. In 2021 USENIX Annual Technical Conference, USENIX ATC 2021, July 14-16, 2021. USENIX Association, pp. 269–283, 2021. link ]
    17. Leveraging Models to Reduce Test Cases in Software Repositories. G. Gharachorlu and N. Sumner. In 18th IEEE⁄ACM International Conference on Mining Software Repositories, MSR 2021, Madrid, Spain, May 17-19, 2021. IEEE, pp. 230–241, 2021. link ]
  • 2020:
    1. Lumos: Improving Smart Home IoT Visibility and Interoperability Through Analyzing Mobile Apps. J. Kim, S.Y. Ko, S. Son and D. Han. In 28th IEEE International Conference on Network Protocols, ICNP 2020, Madrid, Spain, October 13-16, 2020. IEEE, pp. 1–13, 2020. link ]
    2. Representing string computations as graphs for classifying malware. J. Vecchio, S.Y. Ko and L. Ziarek. In MOBILESoft ’20: IEEE⁄ACM 7th International Conference on Mobile Software Engineering and Systems, Seoul, Republic of Korea, July 13-15, 2020. ACM, pp. 120–131, 2020. link ]
    3. 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 ]
    4. 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 ]
    5. Dash: Scalable Hashing on Persistent Memory. B. Lu, X. Hao, T. Wang and E. Lo. Proc. VLDB Endow., 13(8):1147–1161, 2020. link ]
    6. PiBench Online: Interactive Benchmarking of Persistent Memory Indexes. X. Hao, L. Lersch, T. Wang and I. Oukid. Proc. VLDB Endow., 13(12):2817–2820, 2020. link ]
    7. CoroBase: Coroutine-Oriented Main-Memory Database Engine. Y. He, J. Lu and T. Wang. Proc. VLDB Endow., 14(3):431–444, 2020. link ]
    8. Parallelizing Filter-Verification Based Exact Set Similarity Joins on Multicores. F. Fier, T. Wang, E. Zhu and J. Freytag. In Similarity Search and Applications - 13th International Conference, SISAP 2020, Copenhagen, Denmark, September 30 - October 2, 2020, Proceedings. Springer, Lecture Notes in Computer Science 12440, pp. 62–75, 2020. link ]
    9. 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 ]
    10. Data Migration using Datalog Program Synthesis. Y. Wang, R. Shah, A. Criswell, R. Pan and I. Dillig. Proc. VLDB Endow., 13(7):1006–1019, 2020. link ]
    11. Safety-Guaranteed Real-Time Trajectory Planning for Underwater Vehicles in Plane-Progressive Waves. S. Siriya, M. Bui, A. Shriraman, M. Chen and Y. Pu. In 59th IEEE Conference on Decision and Control, CDC 2020, Jeju Island, South Korea, December 14-18, 2020. IEEE, pp. 5249–5254, 2020. link ]
    12. Peregrine: a pattern-aware graph mining system. K. Jamshidi, R. Mahadasa and K. Vora. In EuroSys ’20: Fifteenth EuroSys Conference 2020, Heraklion, Greece, April 27-30, 2020. ACM, pp. 13:1–13:16, 2020. link ]
  • 2019:
    1. OS-Based Energy Accounting for Asynchronous Resources in IoT Devices. F. Ghanei, P. Tipnis, K. Marcus, K. Dantu, S.Y. Ko and L. Ziarek. IEEE Internet Things J., 6(3):5841–5852, 2019. link ]
    2. Gesto: Mapping UI Events to Gestures and Voice Commands. C. Park, T. Ki, A.J. Ali, N. Pawar, K. Dantu, S.Y. Ko and L. Ziarek. Proc. ACM Hum. Comput. Interact., 3({EICS}):5:1–5:22, 2019. link ]
    3. Fluid: Flexible User Interface Distribution for Ubiquitous Multi-Device Interaction. S. Oh, A. Kim, S. Lee, K. Lee, D.R. Jeong, I. Shin and S.Y. Ko. GetMobile Mob. Comput. Commun., 23(4):25–29, 2019. link ]
    4. Can Android Run on Time? Extending and Measuring the Android Platform’s Timeliness. Y. Yan, G. Gokul, K. Dantu, S.Y. Ko, L. Ziarek and J. Vitek. ACM Trans. Embed. Comput. Syst., 17(6):97:1–97:26, 2019. link ]
    5. Android Malware Detection Using Complex-Flows. F. Shen, J. Vecchio, A. Mohaisen, S.Y. Ko and L. Ziarek. IEEE Trans. Mob. Comput., 18(6):1231–1245, 2019. link ]
    6. Mimic: UI compatibility testing system for Android apps. T. Ki, C. Park, K. Dantu, S.Y. Ko and L. Ziarek. In Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. IEEE ⁄ ACM, pp. 246–256, 2019. link ]
    7. FLUID: Flexible User Interface Distribution for Ubiquitous Multi-device Interaction. S. Oh, A. Kim, S. Lee, K. Lee, D.R. Jeong, S.Y. Ko and I. Shin. In The 25th Annual International Conference on Mobile Computing and Networking, MobiCom 2019, Los Cabos, Mexico, October 21-25, 2019. ACM, pp. 42:1–42:16, 2019. link ]
    8. FLUID: Multi-device Mobile Platform for Flexible User Interface Distribution. S. Oh, A. Kim, S. Lee, K. Lee, D.R. Jeong, S.Y. Ko and I. Shin. In The 25th Annual International Conference on Mobile Computing and Networking, MobiCom 2019, Los Cabos, Mexico, October 21-25, 2019. ACM, pp. 66:1–66:3, 2019. link ]
    9. Prototyping Functional Android App Features with ProDroid. D. Kim, S. Park, J. Ko, S.Y. Ko and S. Lee. In Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services, MobiSys 2019, Seoul, Republic of Korea, June 17-21, 2019. ACM, pp. 552–553, 2019. link ]
    10. Partitioning Garbage Collection Between the Secure and Normal Worlds for Trusted Applications. H. Vishwanathan, C. Park, S. Mishra, K. Dantu, S.Y. Ko and L. Ziarek. In Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services, MobiSys 2019, Seoul, Republic of Korea, June 17-21, 2019. ACM, pp. 610–611, 2019. link ]
    11. X-Droid: A Quick and Easy Android Prototyping Framework with a Single-App Illusion. D. Kim, S. Park, J. Ko, S.Y. Ko and S. Lee. In Proceedings of the 32nd Annual ACM Symposium on User Interface Software and Technology, UIST 2019, New Orleans, LA, USA, October 20-23, 2019. ACM, pp. 95–108, 2019. link ]
    12. A Case For Asymmetric Processing in Memory. B. Akin and A.R. Alameldeen. IEEE Comput. Archit. Lett., 18(1):22–25, 2019. link ]
    13. 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 ]
    14. Evaluating Persistent Memory Range Indexes. L. Lersch, X. Hao, I. Oukid, T. Wang and T. Willhalm. Proc. VLDB Endow., 13(4):574–587, 2019. link ]
    15. DPI: The Data Processing Interface for Modern Networks. G. Alonso, C. Binnig, I. Pandis, K. Salem, J. Skrzypczak, R. Stutsman, L. Thostrup, T. Wang, Z. Wang and T. Ziegler. In 9th Biennial Conference on Innovative Data Systems Research, CIDR 2019, Asilomar, CA, USA, January 13-16, 2019, Online Proceedings. www.cidrdb.org, 2019. link ]
    16. 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 ]
    17. 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 ]
    18. Synthesizing database programs for schema refactoring. Y. Wang, J. Dong, R. Shah and I. Dillig. In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019. ACM, pp. 286–300, 2019. link ]
    19. Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain. Y. Wang, S.K. Lahiri, S. Chen, R. Pan, I. Dillig, C. Born, I. Naseer and K. Ferles. In Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers. Springer, Lecture Notes in Computer Science 12031, pp. 87–106, 2019. link ]
    20. Deepframe: A Profile-Driven Compiler for Spatial Hardware Accelerators. A. Guha, N. Vedula and A. Shriraman. In 28th International Conference on Parallel Architectures and Compilation Techniques, PACT 2019, Seattle, WA, USA, September 23-26, 2019. IEEE, pp. 68–81, 2019. link ]
    21. \(μ\)IR -An intermediate representation for transforming and optimizing the microarchitecture of application accelerators. A. Sharifian, R. Hojabr, N. Rahimi, S. Liu, A. Guha, T. Nowatzki and A. Shriraman. In Proceedings of the 52nd Annual IEEE⁄ACM International Symposium on Microarchitecture, MICRO 2019, Columbus, OH, USA, October 12-16, 2019. ACM, pp. 940–953, 2019. link ]
    22. Annotation guided collection of context-sensitive parallel execution profiles. Z. Benavides, K. Vora, R. Gupta and X. Zhang. Formal Methods Syst. Des., 54(3):388–415, 2019. link ]
    23. DProf: distributed profiler with strong guarantees. Z. Benavides, K. Vora and R. Gupta. Proc. ACM Program. Lang., 3({OOPSLA}):156:1–156:24, 2019. link ]
    24. PnP: Pruning and Prediction for Point-To-Point Iterative Graph Analytics. C. Xu, K. Vora and R. Gupta. In Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2019, Providence, RI, USA, April 13-17, 2019. ACM, pp. 587–600, 2019. link ]
    25. GraphBolt: Dependency-Driven Synchronous Processing of Streaming Graphs. M. Mariappan and K. Vora. In Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019. ACM, pp. 25:1–25:16, 2019. link ]
    26. LUMOS: Dependency-Driven Disk-based Graph Processing. K. Vora. In 2019 USENIX Annual Technical Conference, USENIX ATC 2019, Renton, WA, USA, July 10-12, 2019. USENIX Association, pp. 429–442, 2019. link ]
    27. : Priority Aware Test Case Reduction. G. Gharachorlu and N. Sumner. In Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings. Springer, Lecture Notes in Computer Science 11424, pp. 409–426, 2019. link ]
  • 2018:
    1. Duvel: Enabling Context-driven, Multi-profile Apps on Android through Storage Sandboxing. S. Chandrashekhara, T. Ki, K. Dantu and S.Y. Ko. In Proceedings of the 1st International Workshop on Edge Systems, Analytics and Networking, EdgeSys@MobiSys 2018, Munich, Germany, June 10, 2018. ACM, pp. 31–36, 2018. link ]
    2. System-E: Enhancing Privacy on Mobile Systems through Content-Based Classification and Storage. S. Chandrashekhara, T. Ki, K. Dantu and S.Y. Ko. In Proceedings of the 16th Annual International Conference on Mobile Systems, Applications, and Services, MobiSys 2018, Munich, Germany, June 10-15, 2018. ACM, pp. 539, 2018. link ]
    3. Applications and Challenges of Real-time Mobile DNA Analysis. S.Y. Ko, L. Sassoubre and J. Zola. In Proceedings of the 19th International Workshop on Mobile Computing Systems & Applications, HotMobile 2018, Tempe, AZ, USA, February 12-13, 2018. ACM, pp. 1–6, 2018. link ]
    4. 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 ]
    5. 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 ]
    6. 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 ]
    7. 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 ]
    8. 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 ]
    9. 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 ]
    10. 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 ]
    11. Fast and Robust Transaction Processing on Emerging Hardware. T. Wang. PhD thesis, University of Toronto, Canada, 2018. link ]
    12. Erratum to: Efficiently making (almost) any concurrency control mechanism serializable. T. Wang, R. Johnson, A.D. Fekete and I. Pandis. VLDB J., 27(6):899–900, 2018. link ]
    13. Easy Lock-Free Indexing in Non-Volatile Memory. T. Wang, J.J. Levandoski and P. Larson. In 34th IEEE International Conference on Data Engineering, ICDE 2018, Paris, France, April 16-19, 2018. IEEE Computer Society, pp. 461–472, 2018. link ]
    14. 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 ]
    15. 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 ]
    16. Relational program synthesis. Y. Wang, X. Wang and I. Dillig. Proc. ACM Program. Lang., 2({OOPSLA}):155:1–155:27, 2018. link ]
    17. Verifying equivalence of database-driven applications. Y. Wang, I. Dillig, S.K. Lahiri and W.R. Cook. Proc. ACM Program. Lang., 2({POPL}):56:1–56:29, 2018. link ]
    18. NACHOS: Software-Driven Hardware-Assisted Memory Disambiguation for Accelerators. N. Vedula, A. Shriraman, S. Kumar and W.N. Sumner. In IEEE International Symposium on High Performance Computer Architecture, HPCA 2018, Vienna, Austria, February 24-28, 2018. IEEE Computer Society, pp. 710–723, 2018. link ]
    19. TAPAS: Generating Parallel Accelerators from Parallel Programs. S. Margerm, A. Sharifian, A. Guha, A. Shriraman and G. Pokam. In 51st Annual IEEE⁄ACM International Symposium on Microarchitecture, MICRO 2018, Fukuoka, Japan, October 20-24, 2018. IEEE Computer Society, pp. 245–257, 2018. link ]
    20. Scalable distributed visual computing for line-rate video streams. C. Song, J. Chen, R. Shea, A. Sun, A. Shriraman and J. Liu. In Proceedings of the 9th ACM Multimedia Systems Conference, MMSys 2018, Amsterdam, The Netherlands, June 12-15, 2018. ACM, pp. 186–194, 2018. link ]
    21. Software Speculation on Caching DSMs. S. Koduru, K. Vora and R. Gupta. Int. J. Parallel Program., 46(2):313–332, 2018. link ]
    22. OMR: out-of-core MapReduce for large data sets. G. Kaur, K. Vora, S. Koduru and R. Gupta. In Proceedings of the 2018 ACM SIGPLAN International Symposium on Memory Management, ISMM 2018, Philadelphia, PA, USA, June 18, 2018. ACM, pp. 71–83, 2018. link ]
    23. NACHOS: Software-Driven Hardware-Assisted Memory Disambiguation for Accelerators. N. Vedula, A. Shriraman, S. Kumar and W.N. Sumner. In IEEE International Symposium on High Performance Computer Architecture, HPCA 2018, Vienna, Austria, February 24-28, 2018. IEEE Computer Society, pp. 710–723, 2018. link ]
    24. Avoiding the Familiar to Speed Up Test Case Reduction. G. Gharachorlu and N. Sumner. In 2018 IEEE International Conference on Software Quality, Reliability and Security, QRS 2018, Lisbon, Portugal, July 16-20, 2018. IEEE, pp. 426–437, 2018. link ]
  • 2017:
    1. RAINA: Reliability and Adaptability in Android for Fog Computing. K. Dantu, S.Y. Ko and L. Ziarek. IEEE Commun. Mag., 55(4):41–45, 2017. link ]
    2. Android Malware Detection Using Complex-Flows. F. Shen, J. Vecchio, A. Mohaisen, S.Y. Ko and L. Ziarek. In 37th IEEE International Conference on Distributed Computing Systems, ICDCS 2017, Atlanta, GA, USA, June 5-8, 2017. IEEE Computer Society, pp. 2430–2437, 2017. link ]
    3. BlueMountain: An Architecture for Customized Data Management on Mobile Systems. S. Chandrashekhara, T. Ki, K. Jeon, K. Dantu and S.Y. Ko. In Proceedings of the 23rd Annual International Conference on Mobile Computing and Networking, MobiCom 2017, Snowbird, UT, USA, October 16 - 20, 2017. ACM, pp. 396–408, 2017. link ]
    4. Poster: Mobile Photo Data Management as a Platform Service. K. Jeon, S. Chandrashekhara, K. Dantu and S.Y. Ko. In Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and Services, MobiSys’17, Niagara Falls, NY, USA, June 19-23, 2017. ACM, pp. 155, 2017. link ]
    5. Poster: RTDroid: A Real-Time Solution with Android. Y. Yan, K. Dantu, S.Y. Ko and L. Ziarek. In Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and Services, MobiSys’17, Niagara Falls, NY, USA, June 19-23, 2017. ACM, pp. 168, 2017. link ]
    6. Poster: Android Malware Detection using Multi-Flows and API Patterns. F. Shen, J. Vecchio, A. Mohaisen, S.Y. Ko and L. Ziarek. In Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and Services, MobiSys’17, Niagara Falls, NY, USA, June 19-23, 2017. ACM, pp. 171, 2017. link ]
    7. Demo: BlueMountain: An Architecture to Customize Data Management on Mobile Systems. S. Chandrashekhara, T. Ki, K. Jeon, K. Dantu and S.Y. Ko. In Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and Services, MobiSys’17, Niagara Falls, NY, USA, June 19-23, 2017. ACM, pp. 182, 2017. link ]
    8. Demo: Fully Automated UI Testing System for Large-scale Android Apps Using Multiple Devices. T. Ki, A. Simeonov, C. Park, K. Dantu, S.Y. Ko and L. Ziarek. In Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and Services, MobiSys’17, Niagara Falls, NY, USA, June 19-23, 2017. ACM, pp. 185, 2017. link ]
    9. Demo: Enabling Dynamic Gesture Mapping with UI Events. C. Park, T. Ki, K. Dantu, S.Y. Ko and L. Ziarek. In Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and Services, MobiSys’17, Niagara Falls, NY, USA, June 19-23, 2017. ACM, pp. 191, 2017. link ]
    10. Demo: Reptor: Enabling API Virtualization on Android for Platform Openness. T. Ki, A. Simeonov, C. Park, K. Dantu, S.Y. Ko and L. Ziarek. In Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and Services, MobiSys’17, Niagara Falls, NY, USA, June 19-23, 2017. ACM, pp. 193, 2017. link ]
    11. Reptor: Enabling API Virtualization on Android for Platform Openness. T. Ki, A. Simeonov, B. Jain, C. Park, K. Sharma, K. Dantu, S.Y. Ko and L. Ziarek. In Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and Services, MobiSys’17, Niagara Falls, NY, USA, June 19-23, 2017. ACM, pp. 399–412, 2017. link ]
    12. Making Android Run on Time. Y. Yan, K. Dantu, S.Y. Ko, J. Vitek and L. Ziarek. In 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2017, Pittsburg, PA, USA, April 18-21, 2017. IEEE Computer Society, pp. 25–36, 2017. link ]
    13. Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and Services, MobiSys’17, Niagara Falls, NY, USA, June 19-23, 2017. T. Choudhury, S.Y. Ko, A. Campbell and D. Ganesan, editors. 2017. link ]
    14. 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 ]
    15. 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 ]
    16. 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 ]
    17. Fine grained, direct access file system support for storage class memory. Y. Wang, T. Wang, D. Liu, Z. Shao and J. Xue. J. Syst. Archit., 72:80–92, 2017. link ]
    18. Query Fresh: Log Shipping on Steroids. T. Wang, R. Johnson and I. Pandis. Proc. VLDB Endow., 11(4):406–419, 2017. link ]
    19. Durable Address Translation in PCM-Based Flash Storage Systems. D. Liu, K. Zhong, T. Wang, Y. Wang, Z. Shao, E. Sha and J. Xue. IEEE Trans. Parallel Distributed Syst., 28(2):475–490, 2017. link ]
    20. Efficiently making (almost) any concurrency control mechanism serializable. T. Wang, R. Johnson, A.D. Fekete and I. Pandis. VLDB J., 26(4):537–562, 2017. link ]
    21. SQLizer: query synthesis from natural language. N. Yaghmazadeh, Y. Wang, I. Dillig and T. Dillig. Proc. ACM Program. Lang., 1({OOPSLA}):63:1–63:26, 2017. link ]
    22. Component-based synthesis for complex APIs. Y. Feng, R. Martins, Y. Wang, I. Dillig and T.W. Reps. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. ACM, pp. 599–612, 2017. link ]
    23. Needle: Leveraging Program Analysis to Analyze and Extract Accelerators from Whole Programs. S. Kumar, N. Sumner, V. Srinivasan, S. Margerm and A. Shriraman. In 2017 IEEE International Symposium on High Performance Computer Architecture, HPCA 2017, Austin, TX, USA, February 4-8, 2017. IEEE Computer Society, pp. 565–576, 2017. link ]
    24. Exploiting Asynchrony for Performance and Fault Tolerance in Distributed Graph Processing. K. Vora. PhD thesis, University of California, Riverside, USA, 2017. link ]
    25. CoRAL: Confined Recovery in Distributed Asynchronous Graph Processing. K. Vora, C. Tian, R. Gupta and Z. Hu. In Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2017, Xi’an, China, April 8-12, 2017. ACM, pp. 223–236, 2017. link ]
    26. KickStarter: Fast and Accurate Computations on Streaming Graphs via Trimmed Approximations. K. Vora, R. Gupta and G. Xu. In Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2017, Xi’an, China, April 8-12, 2017. ACM, pp. 237–251, 2017. link ]
    27. Enabling Work-Efficiency for High Performance Vertex-Centric Graph Analytics on GPUs. F. Khorasani, K. Vora, R. Gupta and L.N. Bhuyan. In Proceedings of the Seventh Workshop on Irregular Applications: Architectures and Algorithms, IA3@SC 2017, Denver, CO, USA, November 12 - 17, 2017. ACM, pp. 11:1–11:4, 2017. link ]
    28. Needle: Leveraging Program Analysis to Analyze and Extract Accelerators from Whole Programs. S. Kumar, N. Sumner, V. Srinivasan, S. Margerm and A. Shriraman. In 2017 IEEE International Symposium on High Performance Computer Architecture, HPCA 2017, Austin, TX, USA, February 4-8, 2017. IEEE Computer Society, pp. 565–576, 2017. link ]
  • 2016:
    1. RTDroid: A Design for Real-Time Android. Y. Yan, S. Cosgrove, V. Anand, A. Kulkarni, S. Konduri, S.Y. Ko and L. Ziarek. IEEE Trans. Mob. Comput., 15(10):2564–2584, 2016. link ]
    2. MIC: Enabling Efficient Concurrent Use of Multiple Network Interfaces on Mobile Systems. V. Anand, T. Ki, K. Dantu, S.Y. Ko and D. Koutsonikolas. In 2016 IEEE Intl Conference on Computational Science and Engineering, CSE 2016, and IEEE Intl Conference on Embedded and Ubiquitous Computing, EUC 2016, and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering, DCABES 2016, Paris, France, August 24-26, 2016. IEEE Computer Society, pp. 56–63, 2016. link ]
    3. Pixelsior: Photo Management as a Platform Service for Mobile Apps. K. Jeon, S. Chandrashekhara, K. Dantu and S.Y. Ko. In 8th USENIX Workshop on Hot Topics in Storage and File Systems, HotStorage 2016, Denver, CO, USA, June 20-21, 2016. USENIX Association, 2016. link ]
    4. Transparency in the New gTLD Era: Evaluating the DNS Centralized Zone Data Service. A. Kang, S. Jeong, S.Y. Ko, K. Ren and A. Mohaisen. In Fourth IEEE Workshop on Hot Topics in Web Systems and Technologies, HotWeb 2016, Washington, DC, USA, October 24-25, 2016. IEEE Computer Society, pp. 54–59, 2016. link ]
    5. Developing Adaptive Quantified-Self Applications Using DynaSense. P. Lade, Y. Upadhyay, K. Dantu and S.Y. Ko. In First IEEE International Conference on Internet-of-Things Design and Implementation, IoTDI 2016, Berlin, Germany, April 4-8, 2016. IEEE Computer Society, pp. 61–71, 2016. link ]
    6. OS-based Resource Accounting for Asynchronous Resource Use in Mobile Systems. F. Ghanei, P. Tipnis, K. Marcus, K. Dantu, S.Y. Ko and L. Ziarek. In Proceedings of the 2016 International Symposium on Low Power Electronics and Design, ISLPED 2016, San Francisco Airport, CA, USA, August 08 - 10, 2016. ACM, pp. 296–301, 2016. link ]
    7. jUAV: A Java Based System for Unmanned Aerial Vehicles. A. Czerniejewski, S. Cosgrove, Y. Yan, K. Dantu, S.Y. Ko and L. Ziarek. In Proceedings of the 14th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2016, Lugano, Switzerland, August 29 - September 2, 2016. ACM, pp. 2:1–2:10, 2016. link ]
    8. Real Time Sound Processing on Android. G. Gokul, Y. Yan, K. Dantu, S.Y. Ko and L. Ziarek. In Proceedings of the 14th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES 2016, Lugano, Switzerland, August 29 - September 2, 2016. ACM, pp. 3:1–3:10, 2016. link ]
    9. Demo: API Virtualization for Platform Openness in Android. T. Ki, A. Simeonov, K. Dantu, S.Y. Ko and L. Ziarek. In Proceedings of the 14th Annual International Conference on Mobile Systems, Applications, and Services Companion, Singapore, Singapore, June 25-30, 2016. ACM, pp. 107, 2016. link ]
    10. Using a Multi-Tasking VM for Mobile Applications. Y. Yan, C. Chen, K. Dantu, S.Y. Ko and L. Ziarek. In Proceedings of the 17th International Workshop on Mobile Computing Systems and Applications, HotMobile 2016, St. Augustine, FL, USA, February 23-24, 2016. ACM, pp. 93–98, 2016. link ]
    11. 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 ]
    12. 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 ]
    13. 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 ]
    14. 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 ]
    15. Mostly-Optimistic Concurrency Control for Highly Contended Dynamic Workloads on a Thousand Cores. T. Wang and H. Kimura. Proc. VLDB Endow., 10(2):49–60, 2016. link ]
    16. Be my guest: MCS lock now welcomes guests. T. Wang, M. Chabbi and H. Kimura. In Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2016, Barcelona, Spain, March 12-16, 2016. ACM, pp. 21:1–21:12, 2016. link ]
    17. ERMIA: Fast Memory-Optimized Database System for Heterogeneous Workloads. K. Kim, T. Wang, R. Johnson and I. Pandis. In Proceedings of the 2016 International Conference on Management of Data, SIGMOD Conference 2016, San Francisco, CA, USA, June 26 - July 01, 2016. ACM, pp. 1675–1687, 2016. link ]
    18. Information exchange with collision detection on multiple channels. Y. Wang, Y. Wang, D. Yu, J. Yu and F.C.M. Lau. J. Comb. Optim., 31(1):118–135, 2016. link ]
    19. Hunter: next-generation code reuse for Java. Y. Wang, Y. Feng, R. Martins, A. Kaushik, I. Dillig and S.P. Reiss. 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. 1028–1032, 2016. link ]
    20. How to Speed Up CUDA-WSat-PcL by 5x. H. Liu, A. Shriraman and E. Ternovska. In Fourth International Symposium on Computing and Networking, CANDAR 2016, Hiroshima, Japan, November 22-25, 2016. IEEE Computer Society, pp. 462–468, 2016. link ]
    21. Peruse and Profit: Estimating the Accelerability of Loops. S. Kumar, V. Srinivasan, A. Sharifian, N. Sumner and A. Shriraman. In Proceedings of the 2016 International Conference on Supercomputing, ICS 2016, Istanbul, Turkey, June 1-3, 2016. ACM, pp. 21:1–21:13, 2016. link ]
    22. SPEC-AX and PARSEC-AX: extracting accelerator benchmarks from microprocessor benchmarks. S. Kumar, W.N. Sumner and A. Shriraman. In 2016 IEEE International Symposium on Workload Characterization, IISWC 2016, Providence, RI, USA, September 25-27, 2016. IEEE Computer Society, pp. 117–127, 2016. link ]
    23. Chainsaw: Von-neumann accelerators to leverage fused instruction chains. A. Sharifian, S. Kumar, A. Guha and A. Shriraman. In 49th Annual IEEE⁄ACM International Symposium on Microarchitecture, MICRO 2016, Taipei, Taiwan, October 15-19, 2016. IEEE Computer Society, pp. 49:1–49:14, 2016. link ]
    24. Synergistic Analysis of Evolving Graphs. K. Vora, R. Gupta and G. Xu. ACM Trans. Archit. Code Optim., 13(4):32:1–32:27, 2016. link ]
    25. Efficient Processing of Large Graphs via Input Reduction. A. Kusum, K. Vora, R. Gupta and I. Neamtiu. In Proceedings of the 25th ACM International Symposium on High-Performance Parallel and Distributed Computing, HPDC 2016, Kyoto, Japan, May 31 - June 04, 2016. ACM, pp. 245–257, 2016. link ]
    26. Load the Edges You Need: A Generic I⁄O Optimization for Disk-based Graph Processing. K. Vora, G. Xu and R. Gupta. In 2016 USENIX Annual Technical Conference, USENIX ATC 2016, Denver, CO, USA, June 22-24, 2016. USENIX Association, pp. 507–522, 2016. link ]
    27. LDX: Causality Inference by Lightweight Dual Execution. Y. Kwon, D. Kim, W.N. Sumner, K. Kim, B. Saltaformaggio, X. Zhang and D. Xu. In Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2016, Atlanta, GA, USA, April 2-6, 2016. ACM, pp. 503–515, 2016. link ]
    28. Peruse and Profit: Estimating the Accelerability of Loops. S. Kumar, V. Srinivasan, A. Sharifian, N. Sumner and A. Shriraman. In Proceedings of the 2016 International Conference on Supercomputing, ICS 2016, Istanbul, Turkey, June 1-3, 2016. ACM, pp. 21:1–21:13, 2016. link ]
    29. SPEC-AX and PARSEC-AX: extracting accelerator benchmarks from microprocessor benchmarks. S. Kumar, W.N. Sumner and A. Shriraman. In 2016 IEEE International Symposium on Workload Characterization, IISWC 2016, Providence, RI, USA, September 25-27, 2016. IEEE Computer Society, pp. 117–127, 2016. link ]
  • 2015:
    1. Enabling Automated, Rich, and Versatile Data Management for Android Apps with BlueMountain. S. Chandrashekhara, K. Marcus, R.G.M. Subramanya, H.S. Karve, K. Dantu and S.Y. Ko. In 7th USENIX Workshop on Hot Topics in Storage and File Systems, HotStorage 2015, Santa Clara, CA, USA, July 6-7, 2015. USENIX Association, 2015. link ]
    2. String Analysis of Android Applications (N). J. Vecchio, F. Shen, K.M. Yee, B. Wang, S.Y. Ko and L. Ziarek. In 30th IEEE⁄ACM International Conference on Automated Software Engineering, ASE 2015, Lincoln, NE, USA, November 9-13, 2015. IEEE Computer Society, pp. 680–685, 2015. link ]
    3. 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, July 5-10, 2015, Prague, Czech Republic. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, LIPIcs 37, pp. 321–345, 2015. link ]
    4. Towards Write-Activity-Aware Page Table Management for Non-volatile Main Memories. T. Wang, D. Liu, Y. Wang and Z. Shao. ACM Trans. Embed. Comput. Syst., 14(2):34:1–34:23, 2015. link ]
    5. The Serial Safety Net: Efficient Concurrency Control on Modern Hardware. T. Wang, R. Johnson, A.D. Fekete and I. Pandis. In Proceedings of the 11th International Workshop on Data Management on New Hardware, DaMoN 2015, Melbourne, VIC, Australia, May 31 - June 04, 2015. ACM, pp. 8:1–8:8, 2015. link ]
    6. File system-independent block device support for storage class memory. Y. Wang, T. Wang, Z. Shao, D. Liu and J. Xue. In 2015 IEEE Conference on Computer Communications Workshops, INFOCOM Workshops, Hong Kong, China, April 26 - May 1, 2015. IEEE, pp. 468–473, 2015. link ]
    7. DASX: Hardware Accelerator for Software Data Structures. S. Kumar, N. Vedula, A. Shriraman and V. Srinivasan. In Proceedings of the 29th ACM on International Conference on Supercomputing, ICS’15, Newport Beach⁄Irvine, CA, USA, June 08 - 11, 2015. ACM, pp. 361–372, 2015. link ]
    8. Fusion: design tradeoffs in coherent cache hierarchies for accelerators. S. Kumar, A. Shriraman and N. Vedula. In Proceedings of the 42nd Annual International Symposium on Computer Architecture, Portland, OR, USA, June 13-17, 2015. ACM, pp. 733–745, 2015. link ]
    9. Optimizing Caching DSM for Distributed Software Speculation. S. Koduru, K. Vora and R. Gupta. In 2015 IEEE International Conference on Cluster Computing, CLUSTER 2015, Chicago, IL, USA, September 8-11, 2015. IEEE Computer Society, pp. 452–455, 2015. link ]
    10. RAIVE: runtime assessment of floating-point instability by vectorization. W. Lee, T. Bao, Y. Zheng, X. Zhang, K. Vora and R. Gupta. In Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015, part of SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015. ACM, pp. 623–638, 2015. link ]
    11. Dual Execution for On the Fly Fine Grained Execution Comparison. D. Kim, Y. Kwon, W.N. Sumner, X. Zhang and D. Xu. In Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2015, Istanbul, Turkey, March 14-18, 2015. ACM, pp. 325–338, 2015. link ]
    12. Bitwise Data Parallelism with LLVM: The ICgrep Case Study. R.D. Cameron, N. Medforth, D. Lin, D. Denis and W.N. Sumner. In Algorithms and Architectures for Parallel Processing - 15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II. Springer, Lecture Notes in Computer Science 9529, pp. 373–387, 2015. link ]
  • 2014:
    1. Bidirectional data verification for cloud storage. M. Husain, S.Y. Ko, S. Uurtamo, A. Rudra and R. Sridhar. J. Netw. Comput. Appl., 45:96–107, 2014. link ]
    2. PigOut: Making multiple Hadoop clusters work together. K. Jeon, S. Chandrashekhara, F. Shen, S. Mehra, O. Kennedy and S.Y. Ko. In 2014 IEEE International Conference on Big Data (IEEE BigData 2014), Washington, DC, USA, October 27-30, 2014. IEEE Computer Society, pp. 100–109, 2014. link ]
    3. Real-Time Sensing on Android. Y. Yan, S. Cosgrove, E. Blanton, S.Y. Ko and L. Ziarek. In Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2014, Niagara Falls, NY, USA, October 13-14, 2014. ACM, pp. 67, 2014. link ]
    4. Information flows as a permission mechanism. F. Shen, N. Vishnubhotla, C. Todarka, M. Arora, B. Dhandapani, E. Lehner, S.Y. Ko and L. Ziarek. In ACM⁄IEEE International Conference on Automated Software Engineering, ASE ’14, Vasteras, Sweden - September 15 - 19, 2014. ACM, pp. 515–526, 2014. link ]
    5. Real-time android with RTDroid. Y. Yan, S. Cosgrove, V. Anand, A. Kulkarni, S. Konduri, S.Y. Ko and L. Ziarek. In The 12th Annual International Conference on Mobile Systems, Applications, and Services, MobiSys’14, Bretton Woods, NH, USA, June 16-19, 2014. ACM, pp. 273–286, 2014. link ]
    6. Poster: Retro: an automated, application-layer record and replay for android. T. Ki, S. Munipalle, K. Dantu, S.Y. Ko and L. Ziarek. In The 12th Annual International Conference on Mobile Systems, Applications, and Services, MobiSys’14, Bretton Woods, NH, USA, June 16-19, 2014. ACM, pp. 373, 2014. link ]
    7. 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 ]
    8. 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 ]
    9. 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 ]
    10. 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 ]
    11. 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 ]
    12. Scalable Logging through Emerging Non-Volatile Memory. T. Wang and R. Johnson. Proc. VLDB Endow., 7(10):865–876, 2014. link ]
    13. Application-Specific Wear Leveling for Extending Lifetime of Phase Change Memory in Embedded Systems. D. Liu, T. Wang, Y. Wang, Z. Shao, Q. Zhuge and E. Sha. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 33(10):1450–1462, 2014. link ]
    14. Deterministic Crash Recovery for NAND Flash Based Storage Systems. C. Zhang, Y. Wang, T. Wang, R. Chen, D. Liu and Z. Shao. In The 51st Annual Design Automation Conference 2014, DAC ’14, San Francisco, CA, USA, June 1-5, 2014. ACM, pp. 148:1–148:6, 2014. link ]
    15. Building high-performance smartphones via non-volatile memory: The swap approach. K. Zhong, T. Wang, X. Zhu, L. Long, D. Liu, W. Liu, Z. Shao and E. Sha. In 2014 International Conference on Embedded Software, EMSOFT 2014, New Delhi, India, October 12-17, 2014. ACM, pp. 30:1–30:10, 2014. link ]
    16. DR. Swap: energy-efficient paging for smartphones. K. Zhong, X. Zhu, T. Wang, D. Zhang, X. Luo, D. Liu, W. Liu and E. Sha. In International Symposium on Low Power Electronics and Design, ISLPED’14, La Jolla, CA, USA - August 11 - 13, 2014. ACM, pp. 81–86, 2014. link ]
    17. Robust concurrency control in main-memory DBMS: What main memory giveth, the application taketh away. R. Johnson, K. Kim, T. Wang and I. Pandis. In Proceedings of the 2nd International Workshop on In Memory Data Management and Analytics, IMDM 2014, Hangzhou, China, September 1, 2014. pp. 57–59, 2014. link ]
    18. Cache Coherence for GPU Architectures. I. Singh, A. Shriraman, W.W.L. Fung, M. O’Connor and T.M. Aamodt. IEEE Micro, 34(3):69–79, 2014. link ]
    19. Bitwise data parallelism in regular expression matching. R.D. Cameron, T.C. Shermer, A. Shriraman, K.S. Herdy, D. Lin, B.R. Hull and M. Lin. In International Conference on Parallel Architectures and Compilation, PACT ’14, Edmonton, AB, Canada, August 24-27, 2014. ACM, pp. 139–150, 2014. link ]
    20. SQRL: hardware accelerator for collecting software data structures. S. Kumar, A. Shriraman, V. Srinivasan, D. Lin and J. Phillips. In International Conference on Parallel Architectures and Compilation, PACT ’14, Edmonton, AB, Canada, August 24-27, 2014. ACM, pp. 475–476, 2014. link ]
    21. CuSha: vertex-centric graph processing on GPUs. F. Khorasani, K. Vora, R. Gupta and L.N. Bhuyan. In The 23rd International Symposium on High-Performance Parallel and Distributed Computing, HPDC’14, Vancouver, BC, Canada - June 23 - 27, 2014. ACM, pp. 239–252, 2014. link ]
    22. ABC2: Adaptively Balancing Computation and Communication in a DSM Cluster of Multicores for Irregular Applications. S. Koduru, K. Vora and R. Gupta. In 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, Phoenix, AZ, USA, May 19-23, 2014. IEEE Computer Society, pp. 391–400, 2014. link ]
    23. ASPIRE: exploiting asynchronous parallelism in iterative algorithms using a relaxed consistency based DSM. K. Vora, S. Koduru and R. Gupta. In Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014. ACM, pp. 861–878, 2014. link ]
    24. Reuse-oriented reverse engineering of functional components from x86 binaries. D. Kim, W.N. Sumner, X. Zhang, D. Xu and H. Agrawal. In 36th International Conference on Software Engineering, ICSE ’14, Hyderabad, India - May 31 - June 07, 2014. ACM, pp. 1128–1139, 2014. link ]
  • 2013:
    1. RTDroid: a design for real-time Android. Y. Yan, S. Konduri, A. Kulkarni, V. Anand, S.Y. Ko and L. Ziarek. In The 11th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES ’13, Karlsruhe, Germany, October 9-11, 2013. ACM, pp. 98–107, 2013. link ]
    2. Flow Permissions for Android. S. Holavanalli, D. Manuel, V. Nanjundaswamy, B. Rosenberg, F. Shen, S.Y. Ko and L. Ziarek. In 2013 28th IEEE⁄ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013. IEEE, pp. 652–657, 2013. link ]
    3. PhoneLab: A Large Programmable Smartphone Testbed. A. Nandugudi, A. Maiti, T. Ki, M. Bulut, M. Demirbas, T. Kosar, C. Qiao, S.Y. Ko and G. Challen. In Proceedings of First International Workshop on Sensing and Big Data Mining, SENSEMINE 2013, Roma, Italy, November 11-15, 2013. ACM, pp. 4:1–4:6, 2013. link ]
    4. 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 ]
    5. Curling-PCM: Application-specific wear leveling for phase change memory based embedded systems. D. Liu, T. Wang, Y. Wang, Z. Shao, Q. Zhuge and E. Sha. In 18th Asia and South Pacific Design Automation Conference, ASP-DAC 2013, Yokohama, Japan, January 22-25, 2013. IEEE, pp. 279–284, 2013. link ]
    6. FTL\(^\mbox2\): a hybrid \emphflash \emphtranslation \emphlayer with logging for write reduction in flash memory. T. Wang, D. Liu, Y. Wang and Z. Shao. In SIGPLAN⁄SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2013, LCTES ’13, Seattle, WA, USA, June 20-21, 2013. ACM, pp. 91–100, 2013. link ]
    7. Approaching reliable realtime communications? A novel system design and implementation for roadway safety oriented vehicular communications. K. Xing, T. Gu, Z. Zhao, L. Shi, Y. Liu, P. Hu, Y. Wang, Y. Liang, S. Zhang, Y. Wang and L. Huang. In Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013. IEEE, pp. 115–119, 2013. link ]
    8. A localized backbone renovating algorithm for wireless ad hoc and sensor networks. K. Xing, S. Zhang, L. Shi, H. Zhu and Y. Wang. In Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013. IEEE, pp. 2184–2192, 2013. link ]
    9. Mutual privacy-preserving regression modeling in participatory sensing. K. Xing, Z. Wan, P. Hu, H. Zhu, Y. Wang, X. Chen, Y. Wang and L. Huang. In Proceedings of the IEEE INFOCOM 2013, Turin, Italy, April 14-19, 2013. IEEE, pp. 3039–3047, 2013. link ]
    10. An Application-Tailored Approach to Hardware Cache Coherence. A. Shriraman, H. Zhao and S. Dwarkadas. Computer, 46(10):40–47, 2013. link ]
    11. Power containers: an OS facility for fine-grained power and energy management on multicore servers. K. Shen, A. Shriraman, S. Dwarkadas, X. Zhang and Z. Chen. In Architectural Support for Programming Languages and Operating Systems, ASPLOS 2013, Houston, TX, USA, March 16-20, 2013. ACM, pp. 65–76, 2013. link ]
    12. Verifying safety and liveness for the FlexTM hybrid transactional memory. P. Abdulla, S. Dwarkadas, A. Rezine, A. Shriraman and Y. Zhu. In Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013. EDA Consortium San Jose, CA, USA ⁄ ACM DL, pp. 785–790, 2013. link ]
    13. Cache coherence for GPU architectures. I. Singh, A. Shriraman, W.W.L. Fung, M. O’Connor and T.M. Aamodt. In 19th IEEE International Symposium on High Performance Computer Architecture, HPCA 2013, Shenzhen, China, February 23-27, 2013. IEEE Computer Society, pp. 578–590, 2013. link ]
    14. Protozoa: adaptive granularity cache coherence. H. Zhao, A. Shriraman, S. Kumar and S. Dwarkadas. In The 40th Annual International Symposium on Computer Architecture, ISCA’13, Tel-Aviv, Israel, June 23-27, 2013. ACM, pp. 547–558, 2013. link ]
    15. DRIP: A framework for purifying trojaned kernel drivers. Z. Gu, W.N. Sumner, Z. Deng, X. Zhang and D. Xu. In 2013 43rd Annual IEEE⁄IFIP International Conference on Dependable Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013. IEEE Computer Society, pp. 1–12, 2013. link ]
    16. Comparative causality: explaining the differences between executions. W.N. Sumner and X. Zhang. In 35th International Conference on Software Engineering, ICSE ’13, San Francisco, CA, USA, May 18-26, 2013. IEEE Computer Society, pp. 272–281, 2013. link ]
    17. Identifying execution points for dynamic analyses. W.N. Sumner and X. Zhang. In 2013 28th IEEE⁄ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013. IEEE, pp. 81–91, 2013. link ]
  • 2012:
    1. Serval: An End-Host Stack for Service-Centric Networking. E. Nordström, D. Shue, P. Gopalan, R. Kiefer, M. Arye, S.Y. Ko, J. Rexford and M.J. Freedman. In Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2012, San Jose, CA, USA, April 25-27, 2012. USENIX Association, pp. 85–98, 2012. link ]
    2. PGV: A Storage Enforcing Remote Verification Scheme. M. Husain, S. Uurtamo, S.Y. Ko, A. Rudra and R. Sridhar. In IEEE 31st Symposium on Reliable Distributed Systems, SRDS 2012, Irvine, CA, USA, October 8-11, 2012. IEEE Computer Society, pp. 390–395, 2012. link ]
    3. 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 ]
    4. Write-activity-aware page table management for PCM-based embedded systems. T. Wang, D. Liu, Z. Shao and C. Yang. In Proceedings of the 17th Asia and South Pacific Design Automation Conference, ASP-DAC 2012, Sydney, Australia, January 30 - February 2, 2012. IEEE, pp. 317–322, 2012. link ]
    5. A block-level flash memory management scheme for reducing write activities in PCM-based embedded systems. D. Liu, T. Wang, Y. Wang, Z. Qin and Z. Shao. In 2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012. IEEE, pp. 1447–1450, 2012. link ]
    6. Parabix: Boosting the efficiency of text processing on commodity processors. D. Lin, N. Medforth, K.S. Herdy, A. Shriraman and R.D. Cameron. In 18th IEEE International Symposium on High Performance Computer Architecture, HPCA 2012, New Orleans, LA, USA, 25-29 February, 2012. IEEE Computer Society, pp. 373–384, 2012. link ]
    7. Amoeba-Cache: Adaptive Blocks for Eliminating Waste in the Memory Hierarchy. S. Kumar, H. Zhao, A. Shriraman, E. Matthews, S. Dwarkadas and L. Shannon. In 45th Annual IEEE⁄ACM International Symposium on Microarchitecture, MICRO 2012, Vancouver, BC, Canada, December 1-5, 2012. IEEE Computer Society, pp. 376–388, 2012. link ]
    8. Power and energy containers for multicore servers. K. Shen, A. Shriraman, S. Dwarkadas and X. Zhang. In ACM SIGMETRICS⁄PERFORMANCE Joint International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS ’12, London, United Kingdom, June 11-15, 2012. ACM, pp. 403–404, 2012. link ]
    9. Precise Calling Context Encoding. W.N. Sumner, Y. Zheng, D. Weeratunge and X. Zhang. IEEE Trans. Software Eng., 38(5):1160–1177, 2012. link ]
    10. Modeling Software Execution Environment. D. Qi, W.N. Sumner, F. Qin, M. Zheng, X. Zhang and A. Roychoudhury. In 19th Working Conference on Reverse Engineering, WCRE 2012, Kingston, ON, Canada, October 15-18, 2012. IEEE Computer Society, pp. 415–424, 2012. link ]
  • 2011:
    1. The HybrEx Model for Confidentiality and Privacy in Cloud Computing. S.Y. Ko, K. Jeon and R. Morales. In 3rd USENIX Workshop on Hot Topics in Cloud Computing, HotCloud’11, Portland, OR, USA, June 14-15, 2011. USENIX Association, 2011. link ]
    2. Storage Enforcement with Kolmogorov Complexity and List Decoding. M. Husain, S.Y. Ko, A. Rudra and S. Uurtamo. Electron. Colloquium Comput. Complex., {TR11-080}, 2011. link ]
    3. Guest Editor’s Introduction. A.R. Alameldeen. J. Instr. Level Parallelism, 13, 2011. link ]
    4. 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 ]
    5. 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 ]
    6. PCM-FTL: A Write-Activity-Aware NAND Flash Memory Management Scheme for PCM-Based Embedded Systems. D. Liu, T. Wang, Y. Wang, Z. Qin and Z. Shao. In Proceedings of the 32nd IEEE Real-Time Systems Symposium, RTSS 2011, Vienna, Austria, November 29 - December 2, 2011. IEEE Computer Society, pp. 357–366, 2011. link ]
    7. Analyzing Conflicts in Hardware-Supported Memory Transactions. A. Shriraman and S. Dwarkadas. Int. J. Parallel Program., 39(1):33–61, 2011. link ]
    8. SPATL: Honey, I Shrunk the Coherence Directory. H. Zhao, A. Shriraman, S. Dwarkadas and V. Srinivasan. In 2011 International Conference on Parallel Architectures and Compilation Techniques, PACT 2011, Galveston, TX, USA, October 10-14, 2011. IEEE Computer Society, pp. 33–44, 2011. link ]
    9. Unified debugging of distributed systems with Recon. K. Lee, N. Sumner, X. Zhang and P. Eugster. In Proceedings of the 2011 IEEE⁄IFIP International Conference on Dependable Systems and Networks, DSN 2011, Hong Kong, China, June 27-30 2011. IEEE Compute Society, pp. 85–96, 2011. link ]
    10. Coalescing executions for fast uncertainty analysis. W.N. Sumner, T. Bao, X. Zhang and S. Prabhakar. In Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu, HI, USA, May 21-28, 2011. ACM, pp. 581–590, 2011. link ]
    11. Selecting peers for execution comparison. W.N. Sumner, T. Bao and X. Zhang. In Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011. ACM, pp. 309–319, 2011. link ]
    12. Toward generating reducible replay logs. K. Lee, Y. Zheng, N. Sumner and X. Zhang. In Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011. ACM, pp. 246–257, 2011. link ]
    13. Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs. W.N. Sumner, C. Hammer and J. Dolby. In Runtime Verification - Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers. Springer, Lecture Notes in Computer Science 7186, pp. 161–176, 2011. link ]
  • 2010:
    1. Open Cirrus: A Global Cloud Computing Testbed. A. Avetisyan, R.H. Campbell, I. Gupta, M.T. Heath, S.Y. Ko, G.R. Ganger, M.A. Kozuch, D.R. O’Hallaron, M. Kunze, T.T. Kwan, K. Lai, M. Lyons, D.S. Milojicic, H. Lee, Y. Soh, N. Ming, J. Luke and H. Namgoong. Computer, 43(4):35–43, 2010. link ]
    2. Making cloud intermediate data fault-tolerant. S.Y. Ko, I. Hoque, B. Cho and I. Gupta. In Proceedings of the 1st ACM Symposium on Cloud Computing, SoCC 2010, Indianapolis, Indiana, USA, June 10-11, 2010. ACM, pp. 181–192, 2010. link ]
    3. CloudPolice: taking access control out of the network. L. Popa, M. Yu, S.Y. Ko, S. Ratnasamy and I. Stoica. In Proceedings of the 9th ACM Workshop on Hot Topics in Networks. HotNets 2010, Monterey, CA, USA - October 20 - 21, 2010. ACM, pp. 7, 2010. link ]
    4. 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 ]
    5. 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 ]
    6. 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 ]
    7. Implementation tradeoffs in the design of flexible transactional memory support. A. Shriraman, S. Dwarkadas and M.L. Scott. J. Parallel Distributed Comput., 70(10):1068–1084, 2010. link ]
    8. SPACE: sharing pattern-based directory coherence for multicore scalability. H. Zhao, A. Shriraman and S. Dwarkadas. In 19th International Conference on Parallel Architectures and Compilation Techniques, PACT 2010, Vienna, Austria, September 11-15, 2010. ACM, pp. 135–146, 2010. link ]
    9. Sentry: light-weight auxiliary memory access control. A. Shriraman and S. Dwarkadas. In 37th International Symposium on Computer Architecture (ISCA 2010), June 19-23, 2010, Saint-Malo, France. ACM, pp. 407–418, 2010. link ]
    10. Precise calling context encoding. W.N. Sumner, Y. Zheng, D. Weeratunge and X. Zhang. In Proceedings of the 32nd ACM⁄IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010. ACM, pp. 525–534, 2010. link ]
    11. Analyzing concurrency bugs using dual slicing. D. Weeratunge, X. Zhang, W.N. Sumner and S. Jagannathan. In Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010. ACM, pp. 253–264, 2010. link ]
    12. Memory indexing: canonicalizing addresses across executions. W.N. Sumner and X. Zhang. In Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010. ACM, pp. 217–226, 2010. link ]
  • 2009:
    1. Efficient On-Demand Operations in Large-Scale Infrastructures. S.Y. Ko. PhD thesis, University of Illinois Urbana-Champaign, USA, 2009. link ]
    2. Open Cirrus\texttrademark Cloud Computing Testbed: Federated Data Centers for Open Source Systems and Services Research. R.H. Campbell, I. Gupta, M.T. Heath, S.Y. Ko, M. Kozuch, M. Kunze, T.T. Kwan, K. Lai, H. Lee, M. Lyons, D.S. Milojicic, D.R. O’Hallaron and Y. Soh. In Workshop on Hot Topics in Cloud Computing, HotCloud’09, San Diego, CA, USA, June 15, 2009. USENIX Association, 2009. link ]
    3. On Availability of Intermediate Data in Cloud Computations. S.Y. Ko, I. Hoque, B. Cho and I. Gupta. In Proceedings of HotOS’09: 12th Workshop on Hot Topics in Operating Systems, May 18-20, 2009, Monte Verità, Switzerland. USENIX Association, 2009. link ]
    4. 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 ]
    5. 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 ]
    6. 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 ]
    7. Tapping into Parallelism with Transactional Memory. A. Shriraman, S. Dwarkadas and M.L. Scott. login Usenix Mag., 34(2), 2009. link ]
    8. Refereeing conflicts in hardware transactional memory. A. Shriraman and S. Dwarkadas. In Proceedings of the 23rd international conference on Supercomputing, 2009, Yorktown Heights, NY, USA, June 8-12, 2009. ACM, pp. 136–146, 2009. link ]
    9. Algorithms for Automatically Computing the Causal Paths of Failures. W.N. Sumner and X. Zhang. In Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Springer, Lecture Notes in Computer Science 5503, pp. 355–369, 2009. link ]
  • 2008:
    1. A new class of nature-inspired algorithms for self-adaptive peer-to-peer computing. S.Y. Ko, I. Gupta and Y. Jo. ACM Trans. Auton. Adapt. Syst., 3(3):11:1–11:34, 2008. link ]
    2. Efficient on-demand operations in dynamic distributed infrastructures. S.Y. Ko and I. Gupta. In Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware, LADIS ’08, Yorktown Heights, New York, USA, September 15-17, 2008. ACM, pp. 8:1–8:5, 2008. link ]
    3. Moara: Flexible and Scalable Group-Based Querying System. S.Y. Ko, P. Yalagandula, I. Gupta, V. Talwar, D.S. Milojicic and S. Iyer. In Middleware 2008, ACM⁄IFIP⁄USENIX 9th International Middleware Conference, Leuven, Belgium, December 1-5, 2008, Proceedings. Springer, Lecture Notes in Computer Science 5346, pp. 408–428, 2008. link ]
    4. Using Tractable and Realistic Churn Models to Analyze Quiescence Behavior of Distributed Protocols. S.Y. Ko, I. Hoque and I. Gupta. In 27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), Napoli, Italy, October 6-8, 2008. IEEE Computer Society, pp. 259–268, 2008. link ]
    5. 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 ]
    6. Flexible Decoupled Transactional Memory Support. A. Shriraman, S. Dwarkadas and M.L. Scott. In 35th International Symposium on Computer Architecture (ISCA 2008), June 21-25, 2008, Beijing, China. IEEE Computer Society, pp. 139–150, 2008. link ]
    7. Efficient program execution indexing. B. Xin, W.N. Sumner and X. Zhang. In Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008. ACM, pp. 238–248, 2008. link ]
  • 2007:
    1. Dynamic Binary Instrumentation and Data Aggregation on Large Scale Systems. G.L. Lee, M. Schulz, D.H. Ahn, A. Bernat, B.R. de Supinski, S.Y. Ko and B. Rountree. Int. J. Parallel Program., 35(3):207–232, 2007. link ]
    2. New Worker-Centric Scheduling Strategies for Data-Intensive Grid Applications. S.Y. Ko, R. Morales and I. Gupta. In Middleware 2007, ACM⁄IFIP⁄USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007, Proceedings. Springer, Lecture Notes in Computer Science 4834, pp. 121–142, 2007. link ]
    3. Novel Mathematics-Inspired Algorithms for Self-Adaptive Peer-to-Peer Computing. S.Y. Ko, I. Gupta and Y. Jo. In Proceedings of the First International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2007, Boston, MA, USA, July 9-11, 2007. IEEE Computer Society, pp. 3–12, 2007. link ]
    4. 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 ]
    5. 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 ]
    6. An integrated hardware-software approach to flexible transactional memory. A. Shriraman, M.F. Spear, H. Hossain, V.J. Marathe, S. Dwarkadas and M.L. Scott. In 34th International Symposium on Computer Architecture (ISCA 2007), June 9-13, 2007, San Diego, California, USA. ACM, pp. 104–115, 2007. link ]
    7. Alert-on-update: a communication aid for shared memory multiprocessors. M.F. Spear, A. Shriraman, H. Hossain, S. Dwarkadas and M.L. Scott. In Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2007, San Jose, California, USA, March 14-17, 2007. ACM, pp. 132–133, 2007. link ]
    8. Nonblocking transactions without indirection using alert-on-update. M.F. Spear, A. Shriraman, L. Dalessandro, S. Dwarkadas and M.L. Scott. In SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, San Diego, California, USA, June 9-11, 2007. ACM, pp. 210–220, 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 ]
    2. PASCOM: Power Model for Supercomputers. A. Shriraman, N. Venkateswaran and N. Soundararajan. In Architecture of Computing Systems - ARCS 2006, 19th International Conference, Frankfurt⁄Main, Germany, March 13-16, 2006, Proceedings. Springer, Lecture Notes in Computer Science 3894, pp. 326–340, 2006. link ]
  • 2005:
    1. Scalable dynamic binary instrumentation for Blue Gene⁄L. M. Schulz, D.H. Ahn, A. Bernat, B.R. de Supinski, S.Y. Ko, G.L. Lee and B. Rountree. SIGARCH Comput. Archit. News, 33(5):9–14, 2005. link ]
    2. A Case for Design Methodology Research in Self-* Distributed Systems. I. Gupta, S.Y. Ko, N. Thompson, M. Nagda, C. Devaraj, R. Morales and J.A. Patel. In Self-star Properties in Complex Information Systems, Conceptual and Practical Foundations [the book is a result from a workshop at Bertinoro, Italy, Summer 2004]. Springer, Lecture Notes in Computer Science 3460, pp. 260–272, 2005. link ]
    3. Perturbation-Resistant and Overlay-Independent Resource Discovery. S.Y. Ko and I. Gupta. In 2005 International Conference on Dependable Systems and Networks (DSN 2005), 28 June - 1 July 2005, Yokohama, Japan, Proceedings. IEEE Computer Society, pp. 248–257, 2005. link ]
    4. MON: On-Demand Overlays for Distributed System Management. J. Liang, S.Y. Ko, I. Gupta and K. Nahrstedt. In Second USENIX Workshop on Real, Large Distributed Systems, WORLDS’05, San Francisco, CA, USA, December 13, 2005. USENIX Association, 2005. link ]
    5. 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 ]
    6. Memory In Processor-Supercomputer On a Chip: Processor Design and Execution Semantics for Massive Single-Chip Performance. N. Venkateswaran, A. Shriraman and N. Soundararajan. In 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), CD-ROM ⁄ Abstracts Proceedings, 4-8 April 2005, Denver, CO, USA. IEEE Computer Society, 2005. link ]
  • 2004:
    1. A BGP Attack Against Traffic Engineering. J. Kim, S.Y. Ko, D.M. Nicol, X.A. Dimitropoulos and G.F. Riley. In Proceedings of the 36th conference on Winter simulation, Washington, DC, USA, December 5-8, 2004. IEEE Computer Society, pp. 318–326, 2004. link ]
    2. 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 ]
    3. Memory in processor: a novel design paradigm for supercomputing architectures. N. Venkateswaran, A. Krishnan, N.S. Kumar, A. Shriraman and S. Sridharan. SIGARCH Comput. Archit. News, 32(3):19–26, 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

×