acm.bib

  @inproceedings{10.1145/3317550.3321434,
 author = {Adya, Atul and Grandl, Robert and Myers, Daniel and Qin, Henry},
 title = {Fast Key-Value Stores: An Idea Whose Time Has Come and Gone},
 year = {2019},
 isbn = {9781450367271},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3317550.3321434},
 doi = {10.1145/3317550.3321434},
 booktitle = {Proceedings of the Workshop on Hot Topics in Operating Systems},
 pages = {113–119},
 numpages = {7},
 keywords = {Caches, Key-Value Stores, Distributed Systems},
 location = {Bertinoro, Italy},
 series = {HotOS ’19}
}
  @inproceedings{10.1145/3106237.3117767,
 author = {Adzic, Gojko and Chatley, Robert},
 title = {Serverless Computing: Economic and Architectural Impact},
 year = {2017},
 isbn = {9781450351058},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3106237.3117767},
 doi = {10.1145/3106237.3117767},
 booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering},
 pages = {884–889},
 numpages = {6},
 keywords = {Cloud Computing, Serverless, Economics},
 location = {Paderborn, Germany},
 series = {ESEC/FSE 2017}
}
  @inproceedings{10.5555/3277355.3277444,
 author = {Akkus, Istemi Ekin and Chen, Ruichuan and Rimac, Ivica and Stein, Manuel and Satzke, Klaus and Beck, Andre and Aditya, Paarijaat and Hilt, Volker},
 title = {SAND: Towards High-Performance Serverless Computing},
 year = {2018},
 isbn = {9781931971447},
 publisher = {USENIX Association},
 address = {USA},
 booktitle = {Proceedings of the 2018 USENIX Conference on Usenix Annual Technical Conference},
 pages = {923–935},
 numpages = {13},
 location = {Boston, MA, USA},
 series = {USENIX ATC ’18}
}
  @article{10.1145/3276488,
 author = {Alpernas, Kalev and Flanagan, Cormac and Fouladi, Sadjad and Ryzhyk, Leonid and Sagiv, Mooly and Schmitz, Thomas and Winstein, Keith},
 title = {Secure Serverless Computing Using Dynamic Information Flow Control},
 year = {2018},
 issue_date = {October 2018},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 volume = {2},
 number = {OOPSLA},
 url = {https://doi.org/10.1145/3276488},
 doi = {10.1145/3276488},
 journal = {Proc. ACM Program. Lang.},
 month = oct,
 articleno = {Article 118},
 numpages = {26},
 keywords = {Information Flow Control, Serverless, Cloud Computing}
}
  @article{10.1016/j.eswa.2017.08.013,
 author = {Alphonse, A. Sherly and Dharma, Dejey},
 title = {Enhanced Gabor (E-Gabor), Hypersphere-Based Normalization and Pearson General Kernel-Based Discriminant Analysis for Dimension Reduction and Classification of Facial Emotions},
 year = {2017},
 issue_date = {December 2017},
 publisher = {Pergamon Press, Inc.},
 address = {USA},
 volume = {90},
 number = {C},
 issn = {0957-4174},
 url = {https://doi.org/10.1016/j.eswa.2017.08.013},
 doi = {10.1016/j.eswa.2017.08.013},
 journal = {Expert Syst. Appl.},
 month = dec,
 pages = {127–145},
 numpages = {19},
 keywords = {Discriminant analysis, Emotion, ELM, Facial expression, Gabor}
}
  @article{10.1007/s11222-016-9644-3,
 author = {Amaral, Sergio and Allaire, Douglas and Willcox, Karen},
 title = {Optimal $$L_2$$L2-Norm Empirical Importance Weights for the Change of Probability Measure},
 year = {2017},
 issue_date = {May 2017},
 publisher = {Kluwer Academic Publishers},
 address = {USA},
 volume = {27},
 number = {3},
 issn = {0960-3174},
 url = {https://doi.org/10.1007/s11222-016-9644-3},
 doi = {10.1007/s11222-016-9644-3},
 journal = {Statistics and Computing},
 month = may,
 pages = {625–643},
 numpages = {19},
 keywords = {Importance weight, Empirical measure, Radon---Nikodym theorem, Change of measure, Density ratio, Quadratic program}
}
  @inproceedings{10.1145/3267809.3267815,
 author = {Ao, Lixiang and Izhikevich, Liz and Voelker, Geoffrey M. and Porter, George},
 title = {Sprocket: A Serverless Video Processing Framework},
 year = {2018},
 isbn = {9781450360111},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3267809.3267815},
 doi = {10.1145/3267809.3267815},
 booktitle = {Proceedings of the ACM Symposium on Cloud Computing},
 pages = {263–274},
 numpages = {12},
 location = {Carlsbad, CA, USA},
 series = {SoCC ’18}
}
  @inproceedings{10.1145/3308560.3316466,
 author = {Aragon, Harold and Braganza, Samuel and Boza, Edwin and Parrales, Jonathan and Abad, Cristina},
 title = {Workload Characterization of a Software-as-a-Service Web Application Implemented with a Microservices Architecture},
 year = {2019},
 isbn = {9781450366755},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3308560.3316466},
 doi = {10.1145/3308560.3316466},
 booktitle = {Companion Proceedings of The 2019 World Wide Web Conference},
 pages = {746–750},
 numpages = {5},
 keywords = {workload characterization, software-as-a-service, microservices},
 location = {San Francisco, USA},
 series = {WWW ’19}
}
  @inproceedings{10.1145/3229710.3229742,
 author = {Aske, Austin and Zhao, Xinghui},
 title = {Supporting Multi-Provider Serverless Computing on the Edge},
 year = {2018},
 isbn = {9781450365239},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3229710.3229742},
 doi = {10.1145/3229710.3229742},
 booktitle = {Proceedings of the 47th International Conference on Parallel Processing Companion},
 articleno = {Article 20},
 numpages = {6},
 keywords = {Serverless Computing, Performance, Scheduling, Edge Computing, Function-as-a-Service},
 location = {Eugene, OR, USA},
 series = {ICPP ’18}
}
  @inproceedings{10.1145/2939672.2939694,
 author = {Ayhan, Samet and Samet, Hanan},
 title = {Aircraft Trajectory Prediction Made Easy with Predictive Analytics},
 year = {2016},
 isbn = {9781450342322},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/2939672.2939694},
 doi = {10.1145/2939672.2939694},
 booktitle = {Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining},
 pages = {21–30},
 numpages = {10},
 keywords = {time series, predictive analytics, aircraft trajectory prediction, hidden markov model, air traffic management},
 location = {San Francisco, California, USA},
 series = {KDD ’16}
}
  @inproceedings{10.1145/3003965.3003968,
 author = {Ayhan, Samet and Samet, Hanan},
 title = {Time Series Clustering of Weather Observations in Predicting Climb Phase of Aircraft Trajectories},
 year = {2016},
 isbn = {9781450345774},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3003965.3003968},
 doi = {10.1145/3003965.3003968},
 booktitle = {Proceedings of the 9th ACM SIGSPATIAL International Workshop on Computational Transportation Science},
 pages = {25–30},
 numpages = {6},
 keywords = {predictive analytics, time series clustering, hidden Markov model, aircraft trajectory prediction},
 location = {Burlingame, California},
 series = {IWCTS ’16}
}
  @inproceedings{10.1145/3337821.3337840,
 author = {Bacou, Mathieu and Todeschi, Gr\'{e}goire and Hagimont, Daniel and Tchana, Alain},
 title = {Nested Virtualization Without the Nest},
 year = {2019},
 isbn = {9781450362955},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3337821.3337840},
 doi = {10.1145/3337821.3337840},
 booktitle = {Proceedings of the 48th International Conference on Parallel Processing},
 articleno = {Article 12},
 numpages = {10},
 keywords = {nested virtualization, network, container, virtualization, orchestrator},
 location = {Kyoto, Japan},
 series = {ICPP 2019}
}
  @inproceedings{10.1145/3133850.3133855,
 author = {Baldini, Ioana and Cheng, Perry and Fink, Stephen J. and Mitchell, Nick and Muthusamy, Vinod and Rabbah, Rodric and Suter, Philippe and Tardieu, Olivier},
 title = {The Serverless Trilemma: Function Composition for Serverless Computing},
 year = {2017},
 isbn = {9781450355308},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3133850.3133855},
 doi = {10.1145/3133850.3133855},
 booktitle = {Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software},
 pages = {89–103},
 numpages = {15},
 keywords = {composition, serverless, functional, cloud},
 location = {Vancouver, BC, Canada},
 series = {Onward! 2017}
}
  @article{10.1145/3226644,
 author = {Baresi, L. and Mendon\c{c}a, D. F. and Garriga, M. and Guinea, S. and Quattrocchi, G.},
 title = {A Unified Model for the Mobile-Edge-Cloud Continuum},
 year = {2019},
 issue_date = {April 2019},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 volume = {19},
 number = {2},
 issn = {1533-5399},
 url = {https://doi.org/10.1145/3226644},
 doi = {10.1145/3226644},
 journal = {ACM Trans. Internet Technol.},
 month = apr,
 articleno = {Article 29},
 numpages = {21},
 keywords = {real-time systems, edge computing, Computing continuum, fog computing, mobile computing, ops automation, Functions-as-a-Service}
}
  @article{10.14778/3137765.3137782,
 author = {Bonetta, Daniele and Brantner, Matthias},
 title = {FAD.Js: Fast JSON Data Access Using JIT-Based Speculative Optimizations},
 year = {2017},
 issue_date = {August 2017},
 publisher = {VLDB Endowment},
 volume = {10},
 number = {12},
 issn = {2150-8097},
 url = {https://doi.org/10.14778/3137765.3137782},
 doi = {10.14778/3137765.3137782},
 journal = {Proc. VLDB Endow.},
 month = aug,
 pages = {1778–1789},
 numpages = {12}
}
  @inproceedings{10.5555/3277355.3277417,
 author = {Boucher, Sol and Kalia, Anuj and Andersen, David G. and Kaminsky, Michael},
 title = {Putting the “Micro” Back in Microservice},
 year = {2018},
 isbn = {9781931971447},
 publisher = {USENIX Association},
 address = {USA},
 booktitle = {Proceedings of the 2018 USENIX Conference on Usenix Annual Technical Conference},
 pages = {645–650},
 numpages = {6},
 location = {Boston, MA, USA},
 series = {USENIX ATC ’18}
}
  @inproceedings{10.1145/2769493.2769498,
 author = {Boukhechba, Mehdi and Bouzouane, Abdenour and Bouchard, Bruno and Gouin-Vallerand, Charles and Giroux, Sylvain},
 title = {Online Recognition of People’s Activities from Raw GPS Data: Semantic Trajectory Data Analysis},
 year = {2015},
 isbn = {9781450334525},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/2769493.2769498},
 doi = {10.1145/2769493.2769498},
 booktitle = {Proceedings of the 8th ACM International Conference on PErvasive Technologies Related to Assistive Environments},
 articleno = {Article 40},
 numpages = {8},
 keywords = {online clustering, semantic enrichment, GPS data, human activities},
 location = {Corfu, Greece},
 series = {PETRA ’15}
}
  @article{10.1016/j.cam.2016.03.002,
 author = {Brown, David A. and Zingg, David W.},
 title = {Efficient Numerical Differentiation of Implicitly-Defined Curves for Sparse Systems},
 year = {2016},
 issue_date = {October 2016},
 publisher = {Elsevier Science Publishers B. V.},
 address = {NLD},
 volume = {304},
 number = {C},
 issn = {0377-0427},
 url = {https://doi.org/10.1016/j.cam.2016.03.002},
 doi = {10.1016/j.cam.2016.03.002},
 journal = {J. Comput. Appl. Math.},
 month = oct,
 pages = {138–159},
 numpages = {22},
 keywords = {Implicitly-defined curves, High-order predictor, Sparse systems, Continuation, Numerical differentiation, Homotopy}
}
  @article{10.1145/3241737,
 author = {Buyya, Rajkumar and Srirama, Satish Narayana and Casale, Giuliano and Calheiros, Rodrigo and Simmhan, Yogesh and Varghese, Blesson and Gelenbe, Erol and Javadi, Bahman and Vaquero, Luis Miguel and Netto, Marco A. S. and et al.},
 title = {A Manifesto for Future Generation Cloud Computing: Research Directions for the Next Decade},
 year = {2018},
 issue_date = {January 2019},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 volume = {51},
 number = {5},
 issn = {0360-0300},
 url = {https://doi.org/10.1145/3241737},
 doi = {10.1145/3241737},
 journal = {ACM Comput. Surv.},
 month = nov,
 articleno = {Article 105},
 numpages = {38},
 keywords = {sustainability, Cloud computing, application development, scalability, data management, InterCloud, serverless computing, Fog computing, Cloud economics}
}
  @article{10.1007/s00791-017-0278-6,
 author = {Carfagna, Melania and Grillo, Alfio},
 title = {The Spherical Design Algorithm in the Numerical Simulation of Biological Tissues with Statistical Fibre-Reinforcement},
 year = {2017},
 issue_date = {August 2017},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 volume = {18},
 number = {4–5},
 issn = {1432-9360},
 url = {https://doi.org/10.1007/s00791-017-0278-6},
 doi = {10.1007/s00791-017-0278-6},
 journal = {Comput. Vis. Sci.},
 month = aug,
 pages = {157–184},
 numpages = {28},
 keywords = {Finite element method, Quadrature methods, Fibre-reinforced materials, Spherical design algorithm}
}
  @article{10.1109/TNET.2018.2878287,
 author = {Chowdhery, Aakanksha and Jamieson, Kyle},
 title = {Aerial Channel Prediction and User Scheduling in Mobile Drone Hotspots},
 year = {2018},
 issue_date = {December 2018},
 publisher = {IEEE Press},
 volume = {26},
 number = {6},
 issn = {1063-6692},
 url = {https://doi.org/10.1109/TNET.2018.2878287},
 doi = {10.1109/TNET.2018.2878287},
 journal = {IEEE/ACM Trans. Netw.},
 month = dec,
 pages = {2679–2692},
 numpages = {14}
}
  @inproceedings{10.1145/3210240.3210326,
 author = {Corner, Mark D. and Levine, Brian N.},
 title = {MicroMobile: Leveraging Mobile Advertising for Large-Scale Experimentation},
 year = {2018},
 isbn = {9781450357203},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3210240.3210326},
 doi = {10.1145/3210240.3210326},
 booktitle = {Proceedings of the 16th Annual International Conference on Mobile Systems, Applications, and Services},
 pages = {310–322},
 numpages = {13},
 keywords = {Mobile advertising, Mobile measurement},
 location = {Munich, Germany},
 series = {MobiSys ’18}
}
  @inproceedings{10.1145/3121050.3121086,
 author = {Crane, Matt and Lin, Jimmy},
 title = {An Exploration of Serverless Architectures for Information Retrieval},
 year = {2017},
 isbn = {9781450344906},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3121050.3121086},
 doi = {10.1145/3121050.3121086},
 booktitle = {Proceedings of the ACM SIGIR International Conference on Theory of Information Retrieval},
 pages = {241–244},
 numpages = {4},
 keywords = {DynamoDB, score-at-a-time query evaluation, amazon lambda, cloud computing},
 location = {Amsterdam, The Netherlands},
 series = {ICTIR ’17}
}
  @inproceedings{10.1145/3307339.3343462,
 author = {Crespo-Cepeda, Rodrigo and Agapito, Giuseppe and Vazquez-Poletti, Jose Luis and Cannataro, Mario},
 title = {Challenges and Opportunities of Amazon Serverless Lambda Services in Bioinformatics},
 year = {2019},
 isbn = {9781450366663},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3307339.3343462},
 doi = {10.1145/3307339.3343462},
 booktitle = {Proceedings of the 10th ACM International Conference on Bioinformatics, Computational Biology and Health Informatics},
 pages = {663–668},
 numpages = {6},
 keywords = {amazon lamba, bioinformatics, serverless computing},
 location = {Niagara Falls, NY, USA},
 series = {BCB ’19}
}
  @inproceedings{10.5555/3357034.3357053,
 author = {Dukic, Vojislav and Singla, Ankit},
 title = {Happiness Index: Right-Sizing the Cloud’s Tenant-Provider Interface},
 year = {2019},
 publisher = {USENIX Association},
 address = {USA},
 booktitle = {Proceedings of the 11th USENIX Conference on Hot Topics in Cloud Computing},
 pages = {15},
 numpages = {1},
 location = {Renton, WA, USA},
 series = {HotCloud’19}
}
  @article{10.4018/IJMDEM.2016040101,
 author = {Elleuch, Mohamed and Kherallah, Monji},
 title = {An Improved Arabic Handwritten Recognition System Using Deep Support Vector Machines},
 year = {2016},
 issue_date = {April 2016},
 publisher = {IGI Global},
 address = {USA},
 volume = {7},
 number = {2},
 issn = {1947-8534},
 url = {https://doi.org/10.4018/IJMDEM.2016040101},
 doi = {10.4018/IJMDEM.2016040101},
 journal = {Int. J. Multimed. Data Eng. Manag.},
 month = apr,
 pages = {1–20},
 numpages = {20},
 keywords = {Hand-crafted Feature, Deep Learning, HACDB, Deep SVM, Arabic Handwritten Script}
}
  @article{10.1016/j.apnum.2017.03.007,
 author = {Fatemion Aghda, A.S. and Hosseini, Seyed Mohammad and Tahmasebi, Mahdieh},
 title = {Analysis of Non-Negativity and Convergence of Solution of the Balanced Implicit Method for the Delay CoxIngersollRoss Model},
 year = {2017},
 issue_date = {August 2017},
 publisher = {Elsevier Science Publishers B. V.},
 address = {NLD},
 volume = {118},
 number = {C},
 issn = {0168-9274},
 url = {https://doi.org/10.1016/j.apnum.2017.03.007},
 doi = {10.1016/j.apnum.2017.03.007},
 journal = {Appl. Numer. Math.},
 month = aug,
 pages = {249–265},
 numpages = {17},
 keywords = {Stochastic delay differential equations (SDDEs), Balanced implicit method (BIM), Convergence, Delay CIR model, Non-negativity}
}
  @article{10.1145/3243929,
 author = {Ferrer, Ana Juan and Marqu\`{e}s, Joan Manuel and Jorba, Josep},
 title = {Towards the Decentralised Cloud: Survey on Approaches and Challenges for Mobile, Ad Hoc, and Edge Computing},
 year = {2019},
 issue_date = {February 2019},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 volume = {51},
 number = {6},
 issn = {0360-0300},
 url = {https://doi.org/10.1145/3243929},
 doi = {10.1145/3243929},
 journal = {ACM Comput. Surv.},
 month = jan,
 articleno = {Article 111},
 numpages = {36},
 keywords = {fog computing, Mobile Ad hoc Cloud Computing, Mobile Cloud Computing, edge computing, decentralised cloud, Cloud computing}
}
  @inproceedings{10.1145/3343737.3343750,
 author = {Fingler, Henrique and Akshintala, Amogh and Rossbach, Christopher J.},
 title = {USETL: Unikernels for Serverless Extract Transform and Load Why Should You Settle for Less?},
 year = {2019},
 isbn = {9781450368933},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3343737.3343750},
 doi = {10.1145/3343737.3343750},
 booktitle = {Proceedings of the 10th ACM SIGOPS Asia-Pacific Workshop on Systems},
 pages = {23–30},
 numpages = {8},
 location = {Hangzhou, China},
 series = {APSys ’19}
}
  @inproceedings{10.5555/3358807.3358848,
 author = {Fouladi, Sadjad and Romero, Francisco and Iter, Dan and Li, Qian and Chatterjee, Shuvo and Kozyrakis, Christos and Zaharia, Matei and Winstein, Keith},
 title = {From Laptop to Lambda: Outsourcing Everyday Jobs to Thousands of Transient Functional Containers},
 year = {2019},
 isbn = {9781939133038},
 publisher = {USENIX Association},
 address = {USA},
 booktitle = {Proceedings of the 2019 USENIX Conference on Usenix Annual Technical Conference},
 pages = {475–488},
 numpages = {14},
 location = {Renton, WA, USA},
 series = {USENIX ATC ’19}
}
  @inproceedings{10.1145/3281411.3281420,
 author = {Fr\"{o}mmgen, Alexander and Stohr, Denny and Koldehofe, Boris and Rizk, Amr},
 title = {Don’t Repeat Yourself: Seamless Execution and Analysis of Extensive Network Experiments},
 year = {2018},
 isbn = {9781450360807},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3281411.3281420},
 doi = {10.1145/3281411.3281420},
 booktitle = {Proceedings of the 14th International Conference on Emerging Networking EXperiments and Technologies},
 pages = {20–26},
 numpages = {7},
 location = {Heraklion, Greece},
 series = {CoNEXT ’18}
}
  @article{10.14778/3137765.3137773,
 author = {Gessert, Felix and Schaarschmidt, Michael and Wingerath, Wolfram and Witt, Erik and Yoneki, Eiko and Ritter, Norbert},
 title = {Quaestor: Query Web Caching for Database-as-a-Service Providers},
 year = {2017},
 issue_date = {August 2017},
 publisher = {VLDB Endowment},
 volume = {10},
 number = {12},
 issn = {2150-8097},
 url = {https://doi.org/10.14778/3137765.3137773},
 doi = {10.14778/3137765.3137773},
 journal = {Proc. VLDB Endow.},
 month = aug,
 pages = {1670–1681},
 numpages = {12}
}
  @article{10.1016/j.future.2016.05.016,
 author = {Gill, Navneet Kaur and Singh, Sarbjeet},
 title = {A Dynamic, Cost-Aware, Optimized Data Replication Strategy for Heterogeneous Cloud Data Centers},
 year = {2016},
 issue_date = {December 2016},
 publisher = {Elsevier Science Publishers B. V.},
 address = {NLD},
 volume = {65},
 number = {C},
 issn = {0167-739X},
 url = {https://doi.org/10.1016/j.future.2016.05.016},
 doi = {10.1016/j.future.2016.05.016},
 journal = {Future Gener. Comput. Syst.},
 month = dec,
 pages = {10–32},
 numpages = {23},
 keywords = {Re-replication, Cost of replication, Data replication, Re-balancing, Data availability, Knapsack}
}
  @inproceedings{10.1109/ECASE.2019.00012,
 author = {Gorton, Ian and Rajagopal, Shravanthi and Liu, Yan},
 title = {Towards a Cloud Performance Research Repository},
 year = {2019},
 publisher = {IEEE Press},
 url = {https://doi.org/10.1109/ECASE.2019.00012},
 doi = {10.1109/ECASE.2019.00012},
 booktitle = {Proceedings of the 2nd International Workshop on Establishing a Community-Wide Infrastructure for Architecture-Based Software Engineering},
 pages = {22–25},
 numpages = {4},
 keywords = {scalability, community research repository, benchmarks, performance},
 location = {Montreal, Quebec, Canada},
 series = {ECASE ’19}
}
  @inproceedings{10.1145/3349625.3355441,
 author = {Guerin, Fiona and K\"{a}rkk\"{a}inen, Teemu and Ott, J\"{o}rg},
 title = {Towards a Programmable World: Lua-Based Dynamic Local Orchestration of Networked Microcontrollers},
 year = {2019},
 isbn = {9781450369336},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3349625.3355441},
 doi = {10.1145/3349625.3355441},
 booktitle = {Proceedings of the 14th Workshop on Challenged Networks},
 pages = {13–18},
 numpages = {6},
 keywords = {lua, opportunistic computing, microcontrollers},
 location = {Los Cabos, Mexico},
 series = {CHANTS’19}
}
  @inproceedings{10.1109/ICSE.2017.9,
 author = {Guo, Jin and Cheng, Jinghui and Cleland-Huang, Jane},
 title = {Semantically Enhanced Software Traceability Using Deep Learning Techniques},
 year = {2017},
 isbn = {9781538638682},
 publisher = {IEEE Press},
 url = {https://doi.org/10.1109/ICSE.2017.9},
 doi = {10.1109/ICSE.2017.9},
 booktitle = {Proceedings of the 39th International Conference on Software Engineering},
 pages = {3–14},
 numpages = {12},
 keywords = {deep learning, recurrent neural network, semantic representation, traceability},
 location = {Buenos Aires, Argentina},
 series = {ICSE ’17}
}
  @article{10.1007/s10208-016-9327-7,
 author = {Haji-Ali, Abdul-Lateef and Nobile, Fabio and Tamellini, Lorenzo and Tempone, Ra\'{u}l},
 title = {Multi-Index Stochastic Collocation Convergence Rates for Random PDEs with Parametric Regularity},
 year = {2016},
 issue_date = {December 2016},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 volume = {16},
 number = {6},
 issn = {1615-3375},
 url = {https://doi.org/10.1007/s10208-016-9327-7},
 doi = {10.1007/s10208-016-9327-7},
 journal = {Found. Comput. Math.},
 month = dec,
 pages = {1555–1605},
 numpages = {51},
 keywords = {Multi-level methods, Multi-level, Finite element method, Elliptic partial differential equations with random coefficients, Stochastic Collocation methods, 65N30 (Finite elements), Sparse grids, 41A10 (approx by polynomials), Multi-index Stochastic Collocation, Combination technique, 65C20 (models, numerical methods), Random partial differential equations, Uncertainty quantification, 65N05 (Finite differences), Multivariate approximation, Infinite dimensional integration}
}
  @inproceedings{10.1145/3302505.3310084,
 author = {Hall, Adam and Ramachandran, Umakishore},
 title = {An Execution Model for Serverless Functions at the Edge},
 year = {2019},
 isbn = {9781450362832},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3302505.3310084},
 doi = {10.1145/3302505.3310084},
 booktitle = {Proceedings of the International Conference on Internet of Things Design and Implementation},
 pages = {225–236},
 numpages = {12},
 keywords = {serverless, webassembly, fog computing, function-as-a-service, FaaS, edge computing},
 location = {Montreal, Quebec, Canada},
 series = {IoTDI ’19}
}
  @article{10.1007/s00607-017-0560-y,
 author = {Hameed, Muhammad Umar and Haider, Syed Ali and Kantarci, Burak},
 title = {Performance Impacts of Hybrid Cloud Storage},
 year = {2017},
 issue_date = {December 2017},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 volume = {99},
 number = {12},
 issn = {0010-485X},
 url = {https://doi.org/10.1007/s00607-017-0560-y},
 doi = {10.1007/s00607-017-0560-y},
 journal = {Computing},
 month = dec,
 pages = {1207–1229},
 numpages = {23},
 keywords = {Performance analysis, Hybrid cloud storage, Data center Storage, 68U99, 68P20}
}
  @article{10.1145/3360575,
 author = {Jangda, Abhinav and Pinckney, Donald and Brun, Yuriy and Guha, Arjun},
 title = {Formal Foundations of Serverless Computing},
 year = {2019},
 issue_date = {October 2019},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 volume = {3},
 number = {OOPSLA},
 url = {https://doi.org/10.1145/3360575},
 doi = {10.1145/3360575},
 journal = {Proc. ACM Program. Lang.},
 month = oct,
 articleno = {Article 149},
 numpages = {26},
 keywords = {serverless computing, distributed computing, formal language semantics}
}
  @inproceedings{10.1007/978-3-319-25942-0_1,
 author = {Junges, Sebastian and Guck, Dennis and Katoen, Joost-Pieter and Rensink, Arend and Stoelinga, Mari\"{e}lle},
 title = {Fault Trees on a Diet},
 year = {2015},
 isbn = {9783319259413},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 url = {https://doi.org/10.1007/978-3-319-25942-0_1},
 doi = {10.1007/978-3-319-25942-0_1},
 booktitle = {Proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications - Volume 9409},
 pages = {3–18},
 numpages = {16},
 location = {Nanjing, China},
 series = {SETTA 2015}
}
  @article{10.1007/s00165-016-0412-0,
 author = {Junges, Sebastian and Guck, Dennis and Katoen, Joost-Pieter and Rensink, Arend and Stoelinga, Mari\"{e}lle},
 title = {Fault Trees on a Diet: Automated Reduction by Graph Rewriting},
 year = {2017},
 issue_date = {July 2017},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 volume = {29},
 number = {4},
 issn = {0934-5043},
 url = {https://doi.org/10.1007/s00165-016-0412-0},
 doi = {10.1007/s00165-016-0412-0},
 journal = {Form. Asp. Comput.},
 month = jul,
 pages = {651–703},
 numpages = {53},
 keywords = {Fault tree analysis, Graph rewriting, Dynamic fault trees, Reliability}
}
  @article{10.1016/j.engappai.2015.06.011,
 author = {Kaminski, Marcin and Orlowska-Kowalska, Teresa},
 title = {Adaptive Neural Speed Controllers Applied for a Drive System with an Elastic Mechanical Coupling - A Comparative Study},
 year = {2015},
 issue_date = {October 2015},
 publisher = {Pergamon Press, Inc.},
 address = {USA},
 volume = {45},
 number = {C},
 issn = {0952-1976},
 url = {https://doi.org/10.1016/j.engappai.2015.06.011},
 doi = {10.1016/j.engappai.2015.06.011},
 journal = {Eng. Appl. Artif. Intell.},
 month = oct,
 pages = {152–167},
 numpages = {16},
 keywords = {Speed control, On-line adaptation algorithms, Vibration damping, Neural networks, Two-mass system, Electrical drive}
}
  @inproceedings{10.1145/3302424.3303958,
 author = {Kannan, Ram Srivatsa and Subramanian, Lavanya and Raju, Ashwin and Ahn, Jeongseob and Mars, Jason and Tang, Lingjia},
 title = {GrandSLAm: Guaranteeing SLAs for Jobs in Microservices Execution Frameworks},
 year = {2019},
 isbn = {9781450362818},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3302424.3303958},
 doi = {10.1145/3302424.3303958},
 booktitle = {Proceedings of the Fourteenth EuroSys Conference 2019},
 articleno = {Article 34},
 numpages = {16},
 keywords = {Microservice, Systems and Machine Learning},
 location = {Dresden, Germany},
 series = {EuroSys ’19}
}
  @inproceedings{10.1145/3301418.3313947,
 author = {Karhula, Pekka and Janak, Jan and Schulzrinne, Henning},
 title = {Checkpointing and Migration of IoT Edge Functions},
 year = {2019},
 isbn = {9781450362757},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3301418.3313947},
 doi = {10.1145/3301418.3313947},
 booktitle = {Proceedings of the 2nd International Workshop on Edge Systems, Analytics and Networking},
 pages = {60–65},
 numpages = {6},
 keywords = {Internet of Things, function as a service, checkpointing, light-weight virtualization, serverless},
 location = {Dresden, Germany},
 series = {EdgeSys ’19}
}
  @inproceedings{10.5555/3291291.3291321,
 author = {Khazaei, Hamzeh and Ghanbari, Alireza and Litoiu, Marin},
 title = {Adaptation as a Service},
 year = {2018},
 publisher = {IBM Corp.},
 address = {USA},
 booktitle = {Proceedings of the 28th Annual International Conference on Computer Science and Software Engineering},
 pages = {282–288},
 numpages = {7},
 keywords = {containers, cloud computing, software engineering, microservices, eslf-adaptation, adaptation as a service},
 location = {Markham, Ontario, Canada},
 series = {CASCON ’18}
}
  @inproceedings{10.5555/3277355.3277429,
 author = {Klimovic, Ana and Litz, Heiner and Kozyrakis, Christos},
 title = {Selecta: Heterogeneous Cloud Storage Configuration for Data Analytics},
 year = {2018},
 isbn = {9781931971447},
 publisher = {USENIX Association},
 address = {USA},
 booktitle = {Proceedings of the 2018 USENIX Conference on Usenix Annual Technical Conference},
 pages = {759–773},
 numpages = {15},
 location = {Boston, MA, USA},
 series = {USENIX ATC ’18}
}
  @inproceedings{10.5555/3291168.3291200,
 author = {Klimovic, Ana and Wang, Yawen and Stuedi, Patrick and Trivedi, Animesh and Pfefferle, Jonas and Kozyrakis, Christos},
 title = {Pocket: Elastic Ephemeral Storage for Serverless Analytics},
 year = {2018},
 isbn = {9781931971478},
 publisher = {USENIX Association},
 address = {USA},
 booktitle = {Proceedings of the 12th USENIX Conference on Operating Systems Design and Implementation},
 pages = {427–444},
 numpages = {18},
 location = {Carlsbad, CA, USA},
 series = {OSDI’18}
}
  @inproceedings{10.1145/3102980.3103008,
 author = {Koller, Ricardo and Williams, Dan},
 title = {Will Serverless End the Dominance of Linux in the Cloud?},
 year = {2017},
 isbn = {9781450350686},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3102980.3103008},
 doi = {10.1145/3102980.3103008},
 booktitle = {Proceedings of the 16th Workshop on Hot Topics in Operating Systems},
 pages = {169–173},
 numpages = {5},
 location = {Whistler, BC, Canada},
 series = {HotOS ’17}
}
  @inproceedings{10.1145/2797143.2797162,
 author = {Konstantinidis, Sotiris and Karampiperis, Pythagoras and Sicilia, Miguel-Angel},
 title = {Enhancing the Levenberg-Marquardt Method in Neural Network Training Using the Direct Computation of the Error Cost Function Hessian},
 year = {2015},
 isbn = {9781450335805},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/2797143.2797162},
 doi = {10.1145/2797143.2797162},
 booktitle = {Proceedings of the 16th International Conference on Engineering Applications of Neural Networks (INNS)},
 articleno = {Article 2},
 numpages = {5},
 keywords = {Neural Networks, Second Order Gradient Methods, Levenberg-Marquardt},
 location = {Rhodes, Island, Greece},
 series = {EANN ’15}
}
  @inproceedings{10.1145/3125719.3125727,
 author = {Kr\'{o}l, Micha\l{} and Psaras, Ioannis},
 title = {NFaaS: Named Function as a Service},
 year = {2017},
 isbn = {9781450351225},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3125719.3125727},
 doi = {10.1145/3125719.3125727},
 booktitle = {Proceedings of the 4th ACM Conference on Information-Centric Networking},
 pages = {134–144},
 numpages = {11},
 keywords = {network architectures, information centric networking, mobile edge computing, function migration, networks},
 location = {Berlin, Germany},
 series = {ICN ’17}
}
  @article{10.1007/s10589-015-9734-8,
 author = {Lass, Oliver and Volkwein, Stefan},
 title = {Parameter Identification for Nonlinear Elliptic-Parabolic Systems with Application in Lithium-Ion Battery Modeling},
 year = {2015},
 issue_date = {September 2015},
 publisher = {Kluwer Academic Publishers},
 address = {USA},
 volume = {62},
 number = {1},
 issn = {0926-6003},
 url = {https://doi.org/10.1007/s10589-015-9734-8},
 doi = {10.1007/s10589-015-9734-8},
 journal = {Comput. Optim. Appl.},
 month = sep,
 pages = {217–239},
 numpages = {23},
 keywords = {subset selection method, Proper orthogonal decomposition, Elliptic-parabolic systems, Parameter estimation, A-posteriori error estimates}
}
  @inproceedings{10.1145/2996890.2996901,
 author = {Leitner, Philipp and Cito, J\"{u}rgen and St\"{o}ckli, Emanuel},
 title = {Modelling and Managing Deployment Costs of Microservice-Based Cloud Applications},
 year = {2016},
 isbn = {9781450346160},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/2996890.2996901},
 doi = {10.1145/2996890.2996901},
 booktitle = {Proceedings of the 9th International Conference on Utility and Cloud Computing},
 pages = {165–174},
 numpages = {10},
 location = {Shanghai, China},
 series = {UCC ’16}
}
  @inproceedings{10.1145/3328905.3329511,
 author = {Lin, Wei-Tsung and Bakir, Fatih and Krintz, Chandra and Wolski, Rich and Mock, Markus},
 title = {Data Repair for Distributed, Event-Based IoT Applications},
 year = {2019},
 isbn = {9781450367943},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3328905.3329511},
 doi = {10.1145/3328905.3329511},
 booktitle = {Proceedings of the 13th ACM International Conference on Distributed and Event-Based Systems},
 pages = {139–150},
 numpages = {12},
 keywords = {IoT, replay, cloud functions, serverless},
 location = {Darmstadt, Germany},
 series = {DEBS ’19}
}
  @inproceedings{10.1145/3326285.3329055,
 author = {Liu, Liuyan and Tan, Haisheng and Jiang, Shaofeng H.-C. and Han, Zhenhua and Li, Xiang-Yang and Huang, Hong},
 title = {Dependent Task Placement and Scheduling with Function Configuration in Edge Computing},
 year = {2019},
 isbn = {9781450367783},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3326285.3329055},
 doi = {10.1145/3326285.3329055},
 booktitle = {Proceedings of the International Symposium on Quality of Service},
 articleno = {Article 20},
 numpages = {10},
 keywords = {task scheduling, edge computing, function configuration},
 location = {Phoenix, Arizona},
 series = {IWQoS ’19}
}
  @article{10.1016/j.specom.2016.08.002,
 author = {Liu, Yang and Nower, Naushin and Morita, Shota and Unoki, Masashi},
 title = {Speech Enhancement of Instantaneous Amplitude and Phase for Applications in Noisy Reverberant Environments},
 year = {2016},
 issue_date = {November 2016},
 publisher = {Elsevier Science Publishers B. V.},
 address = {NLD},
 volume = {84},
 number = {C},
 issn = {0167-6393},
 url = {https://doi.org/10.1016/j.specom.2016.08.002},
 doi = {10.1016/j.specom.2016.08.002},
 journal = {Speech Commun.},
 month = nov,
 pages = {1–14},
 numpages = {14},
 keywords = {Speech enhancement, Gammatone filterbank, Kalman filter, Linear prediction, Instantaneous amplitude and phase}
}
  @article{10.1561/2500000020,
 author = {Madhavan, Ravichandhran and Ramalingam, G. and Vaswani, Kapil},
 title = {A Framework For Efficient Modular Heap Analysis},
 year = {2015},
 issue_date = {January 2015},
 publisher = {Now Publishers Inc.},
 address = {Hanover, MA, USA},
 volume = {1},
 number = {4},
 issn = {2325-1107},
 url = {https://doi.org/10.1561/2500000020},
 doi = {10.1561/2500000020},
 journal = {Found. Trends Program. Lang.},
 month = jan,
 pages = {269–381},
 numpages = {113},
 keywords = {Pointer and heap analysis, Program analysis}
}
  @inproceedings{10.5555/3081770.3081783,
 author = {M\'{e}aux, Pierrick and Journault, Anthony and Standaert, Fran\c{c}ois-Xavier and Carlet, Claude},
 title = {Towards Stream Ciphers for Efficient FHE with Low-Noise Ciphertexts},
 year = {2016},
 isbn = {9783662498897},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 booktitle = {Proceedings, Part I, of the 35th Annual International Conference on Advances in Cryptology --- EUROCRYPT 2016 - Volume 9665},
 pages = {311–343},
 numpages = {33}
}
  @inproceedings{10.5555/3077629.3077652,
 author = {Mebsout, Alain and Tinelli, Cesare},
 title = {Proof Certificates for SMT-Based Model Checkers for Infinite-State Systems},
 year = {2016},
 isbn = {9780983567868},
 publisher = {FMCAD Inc},
 address = {Austin, Texas},
 booktitle = {Proceedings of the 16th Conference on Formal Methods in Computer-Aided Design},
 pages = {117–124},
 numpages = {8},
 location = {Mountain View, California},
 series = {FMCAD ’16}
}
  @inproceedings{10.1145/3210284.3219499,
 author = {Meiundefinedner, Dominik},
 title = {Towards Time Travel in Distributed Event-Sourced Systems},
 year = {2018},
 isbn = {9781450357821},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3210284.3219499},
 doi = {10.1145/3210284.3219499},
 booktitle = {Proceedings of the 12th ACM International Conference on Distributed and Event-Based Systems},
 pages = {266–269},
 numpages = {4},
 keywords = {retroactive computing, event processing, event sourcing},
 location = {Hamilton, New Zealand},
 series = {DEBS ’18}
}
  @inproceedings{10.5555/3357034.3357060,
 author = {Mohan, Anup and Sane, Harshad and Doshi, Kshitij and Edupuganti, Saikrishna and Nayak, Naren and Sukhomlinov, Vadim},
 title = {Agile Cold Starts for Scalable Serverless},
 year = {2019},
 publisher = {USENIX Association},
 address = {USA},
 booktitle = {Proceedings of the 11th USENIX Conference on Hot Topics in Cloud Computing},
 pages = {21},
 numpages = {1},
 location = {Renton, WA, USA},
 series = {HotCloud’19}
}
  @article{10.5555/3135630.3135636,
 author = {Moosbrugger, Patrick and Rozier, Kristin Y. and Schumann, Johann},
 title = {R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems},
 year = {2017},
 issue_date = {August 2017},
 publisher = {Kluwer Academic Publishers},
 address = {USA},
 volume = {51},
 number = {1},
 issn = {0925-9856},
 journal = {Form. Methods Syst. Des.},
 month = aug,
 pages = {31–61},
 numpages = {31},
 keywords = {FPGA, GPS spoofing, Linear temporal logic, Metric temporal logic, Runtime monitoring, Security, Bayesian networks, Unmanned aerial systems}
}
  @inproceedings{10.1145/3239372.3239393,
 author = {Morin, Brice and H\o{}genes, Jakob and Song, Hui and Harrand, Nicolas and Baudry, Benoit},
 title = {Engineering Software Diversity: A Model-Based Approach to Systematically Diversify Communications},
 year = {2018},
 isbn = {9781450349499},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3239372.3239393},
 doi = {10.1145/3239372.3239393},
 booktitle = {Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems},
 pages = {155–165},
 numpages = {11},
 location = {Copenhagen, Denmark},
 series = {MODELS ’18}
}
  @inproceedings{10.1145/3132211.3134464,
 author = {Mortazavi, Seyed Hossein and Salehe, Mohammad and Gomes, Carolina Simoes and Phillips, Caleb and de Lara, Eyal},
 title = {Cloudpath: A Multi-Tier Cloud Computing Framework},
 year = {2017},
 isbn = {9781450350877},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3132211.3134464},
 doi = {10.1145/3132211.3134464},
 booktitle = {Proceedings of the Second ACM/IEEE Symposium on Edge Computing},
 articleno = {Article 20},
 numpages = {13},
 keywords = {cloud computing, computer systems organization, mobile edge computing, path computing},
 location = {San Jose, California},
 series = {SEC ’17}
}
  @inproceedings{10.1145/3154847.3154852,
 author = {Mukhi, Nirmal K and Prabhu, Srijith and Slawson, Bruce},
 title = {Using a Serverless Framework for Implementing a Cognitive Tutor: Experiences and Issues},
 year = {2017},
 isbn = {9781450354349},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3154847.3154852},
 doi = {10.1145/3154847.3154852},
 booktitle = {Proceedings of the 2nd International Workshop on Serverless Computing},
 pages = {11–15},
 numpages = {5},
 keywords = {serverless computing, real-time interaction, microservice orchestration},
 location = {Las Vegas, Nevada},
 series = {WoSC ’17}
}
  @inproceedings{10.5555/3357034.3357042,
 author = {Mustard, Craig and Ruffy, Fabian and Gakhokidze, Anny and Beschastnikh, Ivan and Fedorova, Alexandra},
 title = {Jumpgate: In-Network Processing as a Service for Data Analytics},
 year = {2019},
 publisher = {USENIX Association},
 address = {USA},
 booktitle = {Proceedings of the 11th USENIX Conference on Hot Topics in Cloud Computing},
 pages = {6},
 numpages = {1},
 location = {Renton, WA, USA},
 series = {HotCloud’19}
}
  @inproceedings{10.1145/3154847.3154850,
 author = {Nadgowda, Shripad and Bila, Nilton and Isci, Canturk},
 title = {The Less Server Architecture for Cloud Functions},
 year = {2017},
 isbn = {9781450354349},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3154847.3154850},
 doi = {10.1145/3154847.3154850},
 booktitle = {Proceedings of the 2nd International Workshop on Serverless Computing},
 pages = {22–27},
 numpages = {6},
 keywords = {serverless platform, cloud functions, data deduplication},
 location = {Las Vegas, Nevada},
 series = {WoSC ’17}
}
  @article{10.1007/s10462-018-09679-z,
 author = {Nguyen, Giang and Dlugolinsky, Stefan and Bob\'{a}k, Martin and Tran, Viet and L\'{o}pez Garc\'{\i}a, \'{A}lvaro and Heredia, Ignacio and Mal\'{\i}k, Peter and Hluch?, Ladislav},
 title = {Machine Learning and Deep Learning Frameworks and Libraries for Large-Scale Data Mining: A Survey},
 year = {2019},
 issue_date = {June 2019},
 publisher = {Kluwer Academic Publishers},
 address = {USA},
 volume = {52},
 number = {1},
 issn = {0269-2821},
 url = {https://doi.org/10.1007/s10462-018-09679-z},
 doi = {10.1007/s10462-018-09679-z},
 journal = {Artif. Intell. Rev.},
 month = jun,
 pages = {77–124},
 numpages = {48},
 keywords = {Intensive computing, Graphics processing unit (GPU), Large-scale data mining, Artificial Intelligence software, Parallel processing, Deep Learning, Machine Learning}
}
  @inproceedings{10.1145/3307339.3343465,
 author = {Niu, Xingzhi and Kumanov, Dimitar and Hung, Ling-Hong and Lloyd, Wes and Yeung, Ka Yee},
 title = {Leveraging Serverless Computing to Improve Performance for Sequence Comparison},
 year = {2019},
 isbn = {9781450366663},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3307339.3343465},
 doi = {10.1145/3307339.3343465},
 booktitle = {Proceedings of the 10th ACM International Conference on Bioinformatics, Computational Biology and Health Informatics},
 pages = {683–687},
 numpages = {5},
 keywords = {bioinformatics, serverless computing, sequence alignment, cloud computing},
 location = {Niagara Falls, NY, USA},
 series = {BCB ’19}
}
  @inproceedings{10.5555/3277355.3277362,
 author = {Oakes, Edward and Yang, Leon and Zhou, Dennis and Houck, Kevin and Harter, Tyler and Arpaci-Dusseau, Andrea C. and Arpaci-Dusseau, Remzi H.},
 title = {SOCK: Rapid Task Provisioning with Serverless-Optimized Containers},
 year = {2018},
 isbn = {9781931971447},
 publisher = {USENIX Association},
 address = {USA},
 booktitle = {Proceedings of the 2018 USENIX Conference on Usenix Annual Technical Conference},
 pages = {57–69},
 numpages = {13},
 location = {Boston, MA, USA},
 series = {USENIX ATC ’18}
}
  @inproceedings{10.1145/3149393.3149402,
 author = {Paul, Arnab K. and Tuecke, Steven and Chard, Ryan and Butt, Ali R. and Chard, Kyle and Foster, Ian},
 title = {Toward Scalable Monitoring on Large-Scale Storage for Software Defined Cyberinfrastructure},
 year = {2017},
 isbn = {9781450351348},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3149393.3149402},
 doi = {10.1145/3149393.3149402},
 booktitle = {Proceedings of the 2nd Joint International Workshop on Parallel Data Storage & Data Intensive Scalable Computing Systems},
 pages = {49–54},
 numpages = {6},
 location = {Denver, Colorado},
 series = {PDSW-DISCS ’17}
}
  @inproceedings{10.1145/3297280.3297292,
 author = {P\'{e}rez, Alfonso and Molt\'{o}, Germ\'{a}n and Caballer, Miguel and Calatrava, Amanda},
 title = {A Programming Model and Middleware for High Throughput Serverless Computing Applications},
 year = {2019},
 isbn = {9781450359337},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3297280.3297292},
 doi = {10.1145/3297280.3297292},
 booktitle = {Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing},
 pages = {106–113},
 numpages = {8},
 keywords = {event-driven architectures, containers, serverless, cloud computing},
 location = {Limassol, Cyprus},
 series = {SAC ’19}
}
  @inproceedings{10.5555/3323234.3323251,
 author = {Pu, Qifan and Venkataraman, Shivaram and Stoica, Ion},
 title = {Shuffling, Fast and Slow: Scalable Analytics on Serverless Infrastructure},
 year = {2019},
 isbn = {9781931971492},
 publisher = {USENIX Association},
 address = {USA},
 booktitle = {Proceedings of the 16th USENIX Conference on Networked Systems Design and Implementation},
 pages = {193–206},
 numpages = {14},
 location = {Boston, MA, USA},
 series = {NSDI’19}
}
  @inproceedings{10.1145/2813852.2813858,
 author = {Pucher, Michael and Schabus, Dietmar},
 title = {Visio-Articulatory to Acoustic Conversion of Speech},
 year = {2015},
 isbn = {9781450335300},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/2813852.2813858},
 doi = {10.1145/2813852.2813858},
 booktitle = {Proceedings of the Facial Analysis and Animation},
 articleno = {Article 6},
 numpages = {2},
 location = {Vienna, Austria},
 series = {FAA ’15}
}
  @inproceedings{10.1145/3135974.3135980,
 author = {Samp\'{e}, Josep and S\'{a}nchez-Artigas, Marc and Garc\'{\i}a-L\'{o}pez, Pedro and Par\'{\i}s, Gerard},
 title = {Data-Driven Serverless Functions for Object Storage},
 year = {2017},
 isbn = {9781450347204},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3135974.3135980},
 doi = {10.1145/3135974.3135980},
 booktitle = {Proceedings of the 18th ACM/IFIP/USENIX Middleware Conference},
 pages = {121–133},
 numpages = {13},
 keywords = {object storage, data management, serverless functions, cloud computing, openstack swift, data flow interception, programmability},
 location = {Las Vegas, Nevada},
 series = {Middleware ’17}
}
  @inproceedings{10.1145/3284028.3284029,
 author = {Samp\'{e}, Josep and Vernik, Gil and S\'{a}nchez-Artigas, Marc and Garc\'{\i}a-L\'{o}pez, Pedro},
 title = {Serverless Data Analytics in the IBM Cloud},
 year = {2018},
 isbn = {9781450360166},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3284028.3284029},
 doi = {10.1145/3284028.3284029},
 booktitle = {Proceedings of the 19th International Middleware Conference Industry},
 pages = {1–8},
 numpages = {8},
 keywords = {Distributed computing, IBM Cloud Functions, IBM Cloud Object Storage, PyWren, Serverless computing},
 location = {Rennes, France},
 series = {Middleware ’18}
}
  @inproceedings{10.5555/3358807.3358816,
 author = {Sengupta, Aritra and Leesatapornwongsa, Tanakorn and Ardekani, Masoud Saeida and Stuardo, Cesar A.},
 title = {Transactuations: Where Transactions Meet the Physical World},
 year = {2019},
 isbn = {9781939133038},
 publisher = {USENIX Association},
 address = {USA},
 booktitle = {Proceedings of the 2019 USENIX Conference on Usenix Annual Technical Conference},
 pages = {91–105},
 numpages = {15},
 location = {Renton, WA, USA},
 series = {USENIX ATC ’19}
}
  @inproceedings{10.1145/3352460.3358296,
 author = {Shahrad, Mohammad and Balkind, Jonathan and Wentzlaff, David},
 title = {Architectural Implications of Function-as-a-Service Computing},
 year = {2019},
 isbn = {9781450369381},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3352460.3358296},
 doi = {10.1145/3352460.3358296},
 booktitle = {Proceedings of the 52nd Annual IEEE/ACM International Symposium on Microarchitecture},
 pages = {1063–1075},
 numpages = {13},
 keywords = {serverless, OpenWhisk, faas, architecture, function-as-a-service, cloud},
 location = {Columbus, OH, USA},
 series = {MICRO ’52}
}
  @inproceedings{10.1145/3152434.3152450,
 author = {Singhvi, Arjun and Banerjee, Sujata and Harchol, Yotam and Akella, Aditya and Peek, Mark and Rydin, Pontus},
 title = {Granular Computing and Network Intensive Applications: Friends or Foes?},
 year = {2017},
 isbn = {9781450355698},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3152434.3152450},
 doi = {10.1145/3152434.3152450},
 booktitle = {Proceedings of the 16th ACM Workshop on Hot Topics in Networks},
 pages = {157–163},
 numpages = {7},
 location = {Palo Alto, CA, USA},
 series = {HotNets-XVI}
}
  @article{10.1287/trsc.2017.0784,
 author = {Solak, Senay and Solveling, Gustaf and Clarke, John-Paul B. and Johnson, Ellis L.},
 title = {Stochastic Runway Scheduling},
 year = {2018},
 issue_date = {August 2018},
 publisher = {INFORMS},
 address = {Linthicum, MD, USA},
 volume = {52},
 number = {4},
 issn = {1526-5447},
 url = {https://doi.org/10.1287/trsc.2017.0784},
 doi = {10.1287/trsc.2017.0784},
 journal = {Transportation Science},
 month = aug,
 pages = {917–940},
 numpages = {24},
 keywords = {job scheduling, runway scheduling, Lagrangian decomposition, stochastic due dates, stochastic programming}
}
  @inproceedings{10.1145/2996890.2996911,
 author = {T\"{a}rneberg, William and Chandrasekaran, Vishal and Humphrey, Marty},
 title = {Experiences Creating a Framework for Smart Traffic Control Using AWS IOT},
 year = {2016},
 isbn = {9781450346160},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/2996890.2996911},
 doi = {10.1145/2996890.2996911},
 booktitle = {Proceedings of the 9th International Conference on Utility and Cloud Computing},
 pages = {63–69},
 numpages = {7},
 keywords = {traffic, PaaS, automatic control, cloud, traffic signal priority, connected vehicles, data analysis, data collection, AWS, public transport, smart cities, IOT},
 location = {Shanghai, China},
 series = {UCC ’16}
}
  @inproceedings{10.5555/3277355.3277375,
 author = {Thalheim, J\"{o}rg and Bhatotia, Pramod and Fonseca, Pedro and Kasikci, Baris},
 title = {CNTR: Lightweight OS Containers},
 year = {2018},
 isbn = {9781931971447},
 publisher = {USENIX Association},
 address = {USA},
 booktitle = {Proceedings of the 2018 USENIX Conference on Usenix Annual Technical Conference},
 pages = {199–212},
 numpages = {14},
 location = {Boston, MA, USA},
 series = {USENIX ATC ’18}
}
  @inproceedings{10.1145/3319647.3325835,
 author = {Trach, Bohdan and Oleksenko, Oleksii and Gregor, Franz and Bhatotia, Pramod and Fetzer, Christof},
 title = {Clemmys: Towards Secure Remote Execution in FaaS},
 year = {2019},
 isbn = {9781450367493},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3319647.3325835},
 doi = {10.1145/3319647.3325835},
 booktitle = {Proceedings of the 12th ACM International Conference on Systems and Storage},
 pages = {44–54},
 numpages = {11},
 location = {Haifa, Israel},
 series = {SYSTOR ’19}
}
  @inproceedings{10.1145/3154847.3154848,
 author = {van Eyk, Erwin and Iosup, Alexandru and Seif, Simon and Th\"{o}mmes, Markus},
 title = {The SPEC Cloud Group’s Research Vision on FaaS and Serverless Architectures},
 year = {2017},
 isbn = {9781450354349},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3154847.3154848},
 doi = {10.1145/3154847.3154848},
 booktitle = {Proceedings of the 2nd International Workshop on Serverless Computing},
 pages = {1–4},
 numpages = {4},
 keywords = {vision, FaaS, serverless, cloud computing, software architecture},
 location = {Las Vegas, Nevada},
 series = {WoSC ’17}
}
  @inproceedings{10.1145/3302424.3303978,
 author = {Wang, Kai-Ting Amy and Ho, Rayson and Wu, Peng},
 title = {Replayable Execution Optimized for Page Sharing for a Managed Runtime Environment},
 year = {2019},
 isbn = {9781450362818},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3302424.3303978},
 doi = {10.1145/3302424.3303978},
 booktitle = {Proceedings of the Fourteenth EuroSys Conference 2019},
 articleno = {Article 39},
 numpages = {16},
 keywords = {Cloud Computing, Operating Systems, Programming Languages and Runtimes},
 location = {Dresden, Germany},
 series = {EuroSys ’19}
}
  @inproceedings{10.5555/3277355.3277369,
 author = {Wang, Liang and Li, Mengyuan and Zhang, Yinqian and Ristenpart, Thomas and Swift, Michael},
 title = {Peeking behind the Curtains of Serverless Platforms},
 year = {2018},
 isbn = {9781931971447},
 publisher = {USENIX Association},
 address = {USA},
 booktitle = {Proceedings of the 2018 USENIX Conference on Usenix Annual Technical Conference},
 pages = {133–145},
 numpages = {13},
 location = {Boston, MA, USA},
 series = {USENIX ATC ’18}
}
  @article{10.1145/3360610,
 author = {Wimmer, Christian and Stancu, Codrut and Hofer, Peter and Jovanovic, Vojin and W\"{o}gerer, Paul and Kessler, Peter B. and Pliss, Oleg and W\"{u}rthinger, Thomas},
 title = {Initialize Once, Start Fast: Application Initialization at Build Time},
 year = {2019},
 issue_date = {October 2019},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 volume = {3},
 number = {OOPSLA},
 url = {https://doi.org/10.1145/3360610},
 doi = {10.1145/3360610},
 journal = {Proc. ACM Program. Lang.},
 month = oct,
 articleno = {Article 184},
 numpages = {29},
 keywords = {GraalVM, Java, ahead-of-time compilation, compiler, Graal, optimization, virtual machine}
}
  @article{10.1145/3342103,
 author = {Wu, Caesar and Buyya, Rajkumar and Ramamohanarao, Kotagiri},
 title = {Cloud Pricing Models: Taxonomy, Survey, and Interdisciplinary Challenges},
 year = {2019},
 issue_date = {October 2019},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 volume = {52},
 number = {6},
 issn = {0360-0300},
 url = {https://doi.org/10.1145/3342103},
 doi = {10.1145/3342103},
 journal = {ACM Comput. Surv.},
 month = oct,
 articleno = {Article 108},
 numpages = {36},
 keywords = {cloud price model, market-based pricing, Cloud services provider (CSP), cost-based pricing, value-based pricing}
}
  @inproceedings{10.1145/3061639.3072957,
 author = {Wu, Meng and Zeng, Haibo and Wang, Chao and Yu, Huafeng},
 title = {Safety Guard: Runtime Enforcement for Safety-Critical Cyber-Physical Systems: Invited},
 year = {2017},
 isbn = {9781450349277},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3061639.3072957},
 doi = {10.1145/3061639.3072957},
 booktitle = {Proceedings of the 54th Annual Design Automation Conference 2017},
 articleno = {Article 84},
 numpages = {6},
 keywords = {software synthesis, runtime enforcement, real-time schedulability, Safety and security, reactive synthesis},
 location = {Austin, TX, USA},
 series = {DAC ’17}
}
  @inproceedings{10.1145/3298689.3347039,
 author = {Wu, Meng and Zhu, Ying and Yu, Qilian and Rajendra, Bhargav and Zhao, Yunqi and Aghdaie, Navid and Zaman, Kazi A.},
 title = {A Recommender System for Heterogeneous and Time Sensitive Environment},
 year = {2019},
 isbn = {9781450362436},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3298689.3347039},
 doi = {10.1145/3298689.3347039},
 booktitle = {Proceedings of the 13th ACM Conference on Recommender Systems},
 pages = {210–218},
 numpages = {9},
 keywords = {multi-armed bandits, feature embedding, recommender system, digital game},
 location = {Copenhagen, Denmark},
 series = {RecSys ’19}
}
  @inproceedings{10.1145/3132211.3134459,
 author = {Yi, Shanhe and Hao, Zijiang and Zhang, Qingyang and Zhang, Quan and Shi, Weisong and Li, Qun},
 title = {LAVEA: Latency-Aware Video Analytics on Edge Computing Platform},
 year = {2017},
 isbn = {9781450350877},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3132211.3134459},
 doi = {10.1145/3132211.3134459},
 booktitle = {Proceedings of the Second ACM/IEEE Symposium on Edge Computing},
 articleno = {Article 15},
 numpages = {13},
 keywords = {computation offloading, edge computing},
 location = {San Jose, California},
 series = {SEC ’17}
}
  @inproceedings{10.1145/3350546.3352509,
 author = {Yoneda, Takeshi and Kozawa, Shunsuke and Osone, Keisuke and Koide, Yukinori and Abe, Yosuke and Seki, Yoshifumi},
 title = {Algorithms and System Architecture for Immediate Personalized News Recommendations},
 year = {2019},
 isbn = {9781450369343},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3350546.3352509},
 doi = {10.1145/3350546.3352509},
 booktitle = {IEEE/WIC/ACM International Conference on Web Intelligence},
 pages = {124–131},
 numpages = {8},
 keywords = {Online Experiment, Web Service System Architecture, Personalization, Recommender Systems},
 location = {Thessaloniki, Greece},
 series = {WI ’19}
}
  @inproceedings{10.5555/3357034.3357054,
 author = {Young, Ethan G. and Zhu, Pengfei and Caraza-Harter, Tyler and Arpaci-Dusseau, Andrea C. and Arpaci-Dusseau, Remzi H.},
 title = {The True Cost of Containing: A GVisor Case Study},
 year = {2019},
 publisher = {USENIX Association},
 address = {USA},
 booktitle = {Proceedings of the 11th USENIX Conference on Hot Topics in Cloud Computing},
 pages = {16},
 numpages = {1},
 location = {Renton, WA, USA},
 series = {HotCloud’19}
}
  @inproceedings{10.5555/3358807.3358897,
 author = {Zhang, Chengliang and Yu, Minchen and Wang, Wei and Yan, Feng},
 title = {MArk: Exploiting Cloud Services for Cost-Effective, SLO-Aware Machine Learning Inference Serving},
 year = {2019},
 isbn = {9781939133038},
 publisher = {USENIX Association},
 address = {USA},
 booktitle = {Proceedings of the 2019 USENIX Conference on Usenix Annual Technical Conference},
 pages = {1049–1062},
 numpages = {14},
 location = {Renton, WA, USA},
 series = {USENIX ATC ’19}
}
  @inproceedings{10.1145/3304112.3325608,
 author = {Zhang, Miao and Zhu, Yifei and Zhang, Cong and Liu, Jiangchuan},
 title = {Video Processing with Serverless Computing: A Measurement Study},
 year = {2019},
 isbn = {9781450362986},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3304112.3325608},
 doi = {10.1145/3304112.3325608},
 booktitle = {Proceedings of the 29th ACM Workshop on Network and Operating Systems Support for Digital Audio and Video},
 pages = {61–66},
 numpages = {6},
 keywords = {serverless functions, video processing, serverless computing},
 location = {Amherst, Massachusetts},
 series = {NOSSDAV ’19}
}
  @inproceedings{10.1145/3229607.3229615,
 author = {Zhao, Jianxin and Tiplea, Tudor and Mortier, Richard and Crowcroft, Jon and Wang, Liang},
 title = {Data Analytics Service Composition and Deployment on Edge Devices},
 year = {2018},
 isbn = {9781450359047},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3229607.3229615},
 doi = {10.1145/3229607.3229615},
 booktitle = {Proceedings of the 2018 Workshop on Big Data Analytics and Machine Learning for Data Communication Networks},
 pages = {27–32},
 numpages = {6},
 location = {Budapest, Hungary},
 series = {Big-DAMA ’18}
}
  @inproceedings{10.5555/3357034.3357039,
 author = {Zheng, Shengbao and Yang, Xiaowei},
 title = {Dynashield: Reducing the Cost of DDoS Defense Using Cloud Services},
 year = {2019},
 publisher = {USENIX Association},
 address = {USA},
 booktitle = {Proceedings of the 11th USENIX Conference on Hot Topics in Cloud Computing},
 pages = {4},
 numpages = {1},
 location = {Renton, WA, USA},
 series = {HotCloud’19}
}
  @proceedings{10.1145/2676726,
 title = {POPL ’15: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 year = {2015},
 isbn = {9781450333009},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 location = {Mumbai, India}
}
  @proceedings{10.1145/2723372,
 title = {SIGMOD ’15: Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data},
 year = {2015},
 isbn = {9781450327589},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 location = {Melbourne, Victoria, Australia}
}
  @proceedings{10.1145/3009837,
 title = {POPL 2017: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages},
 year = {2017},
 isbn = {9781450346603},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 location = {Paris, France}
}
  @article{10.1007/s10444-014-9381-0,
 author = {Alla, Alessandro and Volkwein, Stefan},
 title = {Asymptotic Stability of POD Based Model Predictive Control for a Semilinear Parabolic PDE},
 year = {2015},
 issue_date = {October 2015},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 volume = {41},
 number = {5},
 issn = {1019-7168},
 url = {https://doi.org/10.1007/s10444-014-9381-0},
 doi = {10.1007/s10444-014-9381-0},
 journal = {Adv. Comput. Math.},
 month = oct,
 pages = {1073–1102},
 numpages = {30},
 keywords = {Nonlinear model predictive control, 65K10, 35K58, 90C30., Proper orthogonal decomposition, Asymptotic stability, 49L20, Dynamic programming, Suboptimal control}
}
  @article{10.1016/j.cagd.2016.06.005,
 author = {Antonelli, Michele and Beccari, Carolina Vittoria and Casciola, Giulio},
 title = {High Quality Local Interpolation by Composite Parametric Surfaces},
 year = {2016},
 issue_date = {August 2016},
 publisher = {Elsevier Science Publishers B. V.},
 address = {NLD},
 volume = {46},
 number = {C},
 issn = {0167-8396},
 url = {https://doi.org/10.1016/j.cagd.2016.06.005},
 doi = {10.1016/j.cagd.2016.06.005},
 journal = {Comput. Aided Geom. Des.},
 month = aug,
 pages = {103–124},
 numpages = {22},
 keywords = {Non-uniform parametrization, Surface, Arbitrary topology, Quadrilateral mesh, Local interpolation, Curve network}
}
  @inproceedings{10.1145/3274895.3274947,
 author = {Ayhan, Samet and Costas, Pablo and Samet, Hanan},
 title = {Prescriptive Analytics System for Long-Range Aircraft Conflict Detection and Resolution},
 year = {2018},
 isbn = {9781450358897},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3274895.3274947},
 doi = {10.1145/3274895.3274947},
 booktitle = {Proceedings of the 26th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems},
 pages = {239–248},
 numpages = {10},
 keywords = {hidden Markov model, time series, prescriptive analytics},
 location = {Seattle, Washington},
 series = {SIGSPATIAL ’18}
}
  @article{10.1145/3328832,
 author = {Ayhan, Samet and Costas, Pablo and Samet, Hanan},
 title = {A Data-Driven Framework for Long-Range Aircraft Conflict Detection and Resolution},
 year = {2019},
 issue_date = {September 2019},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 volume = {5},
 number = {4},
 issn = {2374-0353},
 url = {https://doi.org/10.1145/3328832},
 doi = {10.1145/3328832},
 journal = {ACM Trans. Spatial Algorithms Syst.},
 month = sep,
 articleno = {Article 24},
 numpages = {23},
 keywords = {Aircraft conflict detection and resolution, air traffic management, Hidden Markov model, time series, prescriptive analytics}
}
  @article{10.1007/s10915-015-0043-2,
 author = {Baeza, A. and Mulet, P. and Zor\'{\i}o, D.},
 title = {High Order Boundary Extrapolation Technique for Finite Difference Methods on Complex Domains with Cartesian Meshes},
 year = {2016},
 issue_date = {February 2016},
 publisher = {Plenum Press},
 address = {USA},
 volume = {66},
 number = {2},
 issn = {0885-7474},
 url = {https://doi.org/10.1007/s10915-015-0043-2},
 doi = {10.1007/s10915-015-0043-2},
 journal = {J. Sci. Comput.},
 month = feb,
 pages = {761–791},
 numpages = {31},
 keywords = {Finite difference WENO schemes, Cartesian grids, Extrapolation}
}
  @article{10.1007/s10208-018-9374-3,
 author = {Charon, N. and Charlier, B. and Trouv\'{e}, A.},
 title = {Metamorphoses of Functional Shapes in Sobolev Spaces},
 year = {2018},
 issue_date = {December 2018},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 volume = {18},
 number = {6},
 issn = {1615-3375},
 url = {https://doi.org/10.1007/s10208-018-9374-3},
 doi = {10.1007/s10208-018-9374-3},
 journal = {Found. Comput. Math.},
 month = dec,
 pages = {1535–1596},
 numpages = {62},
 keywords = {49Q20, Optimal control, 65K10, 49M25, Functional shape analysis, Metamorphoses, 58J90, 58E50, 68U05, Varifold, Large deformation models}
}
  @article{10.1016/j.rcim.2015.10.006,
 author = {Chen, Yi-Wen and Wang, Li-Chih and Wang, Allen and Chen, Tzu-Li},
 title = {A Particle Swarm Approach for Optimizing a Multi-Stage Closed Loop Supply Chain for the Solar Cell Industry},
 year = {2017},
 issue_date = {February 2017},
 publisher = {Pergamon Press, Inc.},
 address = {USA},
 volume = {43},
 number = {C},
 issn = {0736-5845},
 url = {https://doi.org/10.1016/j.rcim.2015.10.006},
 doi = {10.1016/j.rcim.2015.10.006},
 journal = {Robot. Comput.-Integr. Manuf.},
 month = feb,
 pages = {111–123},
 numpages = {13},
 keywords = {Solar energy industry, Closed-loop supply chain design, Particle swarm optimization, Multi-objective searching}
}
  @article{10.1007/s11277-016-3338-1,
 author = {Erguler, Imran},
 title = {Subtle Flaws in the Secure RFID Tag Searching Protocol: SRTS},
 year = {2016},
 issue_date = {September 2016},
 publisher = {Kluwer Academic Publishers},
 address = {USA},
 volume = {90},
 number = {1},
 issn = {0929-6212},
 url = {https://doi.org/10.1007/s11277-016-3338-1},
 doi = {10.1007/s11277-016-3338-1},
 journal = {Wirel. Pers. Commun.},
 month = sep,
 pages = {175–188},
 numpages = {14},
 keywords = {Ultra-lightweight, Privacy, Authentication, Security, RFID searching}
}
  @inproceedings{10.1145/2899361.2899378,
 author = {Gonzalez Arribas, Daniel and Arnedo, Manuel Soler and Rivo, Manuel Sanjurjo},
 title = {Wind-Optimal Cruise Trajectories Using Pseudospectral Methods and Ensemble Probabilistic Forecasts},
 year = {2015},
 isbn = {9781450335621},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/2899361.2899378},
 doi = {10.1145/2899361.2899378},
 booktitle = {Proceedings of the 5th International Conference on Application and Theory of Automation in Command and Control Systems},
 pages = {160–167},
 numpages = {8},
 keywords = {Optimal control, pseudospectral methods, trajectory optimization, Ensemble Prediction Systems, aerospace engineering, Air Traffic Management},
 location = {Toulouse, France},
 series = {ATACCS ’15}
}
  @inproceedings{10.1145/2973750.2973768,
 author = {Gowda, Mahanth and Manweiler, Justin and Dhekne, Ashutosh and Choudhury, Romit Roy and Weisz, Justin D.},
 title = {Tracking Drone Orientation with Multiple GPS Receivers},
 year = {2016},
 isbn = {9781450342261},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/2973750.2973768},
 doi = {10.1145/2973750.2973768},
 booktitle = {Proceedings of the 22nd Annual International Conference on Mobile Computing and Networking},
 pages = {280–293},
 numpages = {14},
 keywords = {carrier phases, differential GPS, drones, IMU, UAV},
 location = {New York City, New York},
 series = {MobiCom ’16}
}
  @article{10.1007/s10851-017-0736-2,
 author = {Hinterm\"{u}ller, Michael and Rautenberg, Carlos N. and Wu, Tao and Langer, Andreas},
 title = {Optimal Selection of the Regularization Function in a Weighted Total Variation Model. Part II: Algorithm, Its Analysis and Numerical Tests},
 year = {2017},
 issue_date = {November 2017},
 publisher = {Kluwer Academic Publishers},
 address = {USA},
 volume = {59},
 number = {3},
 issn = {0924-9907},
 url = {https://doi.org/10.1007/s10851-017-0736-2},
 doi = {10.1007/s10851-017-0736-2},
 journal = {J. Math. Imaging Vis.},
 month = nov,
 pages = {515–533},
 numpages = {19},
 keywords = {Convergence analysis, Bilevel optimization, 68U10, Spatially distributed regularization weight, 49K30, 49M37, 49K20, Fenchel predual, Image restoration, Variance corridor, Projected gradient method, 49K40, 94A08, 65K15, Weighted total variation regularization}
}
  @inproceedings{10.1145/3190508.3190546,
 author = {Kakivaya, Gopal and Xun, Lu and Hasha, Richard and Ahsan, Shegufta Bakht and Pfleiger, Todd and Sinha, Rishi and Gupta, Anurag and Tarta, Mihail and Fussell, Mark and Modi, Vipul and et al.},
 title = {Service Fabric: A Distributed Platform for Building Microservices in the Cloud},
 year = {2018},
 isbn = {9781450355841},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3190508.3190546},
 doi = {10.1145/3190508.3190546},
 booktitle = {Proceedings of the Thirteenth EuroSys Conference},
 articleno = {Article 33},
 numpages = {15},
 keywords = {production systems, microservices, failure detection, distributed systems, scheduling},
 location = {Porto, Portugal},
 series = {EuroSys ’18}
}
  @inproceedings{10.1145/2933575.2934574,
 author = {Katoen, Joost-Pieter},
 title = {The Probabilistic Model Checking Landscape},
 year = {2016},
 isbn = {9781450343916},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/2933575.2934574},
 doi = {10.1145/2933575.2934574},
 booktitle = {Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science},
 pages = {31–45},
 numpages = {15},
 keywords = {probabilistic logics, abstraction, applications, model checking, parameter synthesis, Markov chains, Markov decision processes, fault trees},
 location = {New York, NY, USA},
 series = {LICS ’16}
}
  @inproceedings{10.3233/978-1-61499-672-9-639,
 author = {Knudsen, Anders N. and Chiarandini, Marco and Larsen, Kim S.},
 title = {Vertical Optimization of Resource Dependent Flight Paths},
 year = {2016},
 isbn = {9781614996712},
 publisher = {IOS Press},
 address = {NLD},
 url = {https://doi.org/10.3233/978-1-61499-672-9-639},
 doi = {10.3233/978-1-61499-672-9-639},
 booktitle = {Proceedings of the Twenty-Second European Conference on Artificial Intelligence},
 pages = {639–645},
 numpages = {7},
 location = {The Hague, The Netherlands},
 series = {ECAI’16}
}
  @article{10.1007/s00521-014-1759-x,
 author = {Lin, Faa-Jeng and Tan, Kuang-Hsiung and Fang, Dun-Yi},
 title = {Squirrel-Cage Induction Generator System Using Hybrid Wavelet Fuzzy Neural Network Control for Wind Power Applications},
 year = {2015},
 issue_date = {May 2015},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 volume = {26},
 number = {4},
 issn = {0941-0643},
 url = {https://doi.org/10.1007/s00521-014-1759-x},
 doi = {10.1007/s00521-014-1759-x},
 journal = {Neural Comput. Appl.},
 month = may,
 pages = {911–928},
 numpages = {18},
 keywords = {Projection algorithm, Squirrel-cage induction generator, Intelligent hybrid control, Indirect field-oriented mechanism, Wavelet fuzzy neural network}
}
  @book{10.1145/3308560,
 author = {Liu, Ling and White, Ryen},
 title = {Companion Proceedings of The 2019 World Wide Web Conference},
 year = {2019},
 isbn = {9781450366755},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA}
}
  @inproceedings{10.1145/3274895.3274980,
 author = {Lowe, Aaron and Agarwal, Pankaj K.},
 title = {Flood-Risk Analysis on Terrains under the Multiflow-Direction Model},
 year = {2018},
 isbn = {9781450358897},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3274895.3274980},
 doi = {10.1145/3274895.3274980},
 booktitle = {Proceedings of the 26th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems},
 pages = {53–62},
 numpages = {10},
 keywords = {terrains, flood-risk analysis, merge trees},
 location = {Seattle, Washington},
 series = {SIGSPATIAL ’18}
}
  @article{10.1145/3340707,
 author = {Lowe, Aaron and Agarwal, Pankaj K.},
 title = {Flood-Risk Analysis on Terrains under the Multiflow-Direction Model},
 year = {2019},
 issue_date = {September 2019},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 volume = {5},
 number = {4},
 issn = {2374-0353},
 url = {https://doi.org/10.1145/3340707},
 doi = {10.1145/3340707},
 journal = {ACM Trans. Spatial Algorithms Syst.},
 month = sep,
 articleno = {Article 26},
 numpages = {27},
 keywords = {Terrains, merge trees, flood-risk analysis}
}
  @article{10.1016/j.cor.2017.05.015,
 author = {lvarez-Miranda, Eduardo and Sinnl, Markus},
 title = {A Relax-and-Cut Framework for Large-Scale Maximum Weight Connected Subgraph Problems},
 year = {2017},
 issue_date = {November 2017},
 publisher = {Elsevier Science Ltd.},
 address = {GBR},
 volume = {87},
 number = {C},
 issn = {0305-0548},
 url = {https://doi.org/10.1016/j.cor.2017.05.015},
 doi = {10.1016/j.cor.2017.05.015},
 journal = {Comput. Oper. Res.},
 month = nov,
 pages = {63–82},
 numpages = {20},
 keywords = {Bioinformatics, Maximum weight connected subgraph problem, Lagrangian pelaxation}
}
  @article{10.1016/j.comnet.2018.01.050,
 author = {Marnerides, A.K. and Pezaros, D.P. and Hutchison, D.},
 title = {Internet Traffic Characterisation},
 year = {2018},
 issue_date = {April 2018},
 publisher = {Elsevier North-Holland, Inc.},
 address = {USA},
 volume = {134},
 number = {C},
 issn = {1389-1286},
 url = {https://doi.org/10.1016/j.comnet.2018.01.050},
 doi = {10.1016/j.comnet.2018.01.050},
 journal = {Comput. Netw.},
 month = apr,
 pages = {183–201},
 numpages = {19},
 keywords = {Internet traffic characterisation, Traffic engineering, Higher order spectra}
}
  @inproceedings{10.1145/3321705.3329842,
 author = {Mitev, Richard and Miettinen, Markus and Sadeghi, Ahmad-Reza},
 title = {Alexa Lied to Me: Skill-Based Man-in-the-Middle Attacks on Virtual Assistants},
 year = {2019},
 isbn = {9781450367523},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 url = {https://doi.org/10.1145/3321705.3329842},
 doi = {10.1145/3321705.3329842},
 booktitle = {Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security},
 pages = {465–478},
 numpages = {14},
 keywords = {personal voice assistant, man-in-the-middle attack, internet of things},
 location = {Auckland, New Zealand},
 series = {Asia CCS ’19}
}
  @article{10.1145/3352020.3352030,
 author = {Pei, Kexin and Wang, Shiqi and Tian, Yuchi and Whitehouse, Justin and Vondrick, Carl and Cao, Yinzhi and Ray, Baishakhi and Jana, Suman and Yang, Junfeng},
 title = {Bringing Engineering Rigor to Deep Learning},
 year = {2019},
 issue_date = {July 2019},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 volume = {53},
 number = {1},
 issn = {0163-5980},
 url = {https://doi.org/10.1145/3352020.3352030},
 doi = {10.1145/3352020.3352030},
 journal = {SIGOPS Oper. Syst. Rev.},
 month = jul,
 pages = {59–67},
 numpages = {9}
}
  @article{10.1287/trsc.2017.0788,
 author = {Solak, Senay and Chen, Heng},
 title = {Optimal Metering Point Configurations for Optimized Profile Descent Based Arrival Operations at Airports},
 year = {2018},
 issue_date = {January 2018},
 publisher = {INFORMS},
 address = {Linthicum, MD, USA},
 volume = {52},
 number = {1},
 issn = {1526-5447},
 url = {https://doi.org/10.1287/trsc.2017.0788},
 doi = {10.1287/trsc.2017.0788},
 journal = {Transportation Science},
 month = jan,
 pages = {150–170},
 numpages = {21},
 keywords = {aviation, runway operations, continuous descent arrival, stochastic programming, air transportation, optimized profile descent}
}
  @inproceedings{10.5555/3277203.3277310,
 author = {Sun, Yuqiong and Safford, David and Zohar, Mimi and Pendarakis, Dimitrios and Gu, Zhongshu and Jaeger, Trent},
 title = {Security Namespace: Making Linux Security Frameworks Available to Containers},
 year = {2018},
 isbn = {9781931971461},
 publisher = {USENIX Association},
 address = {USA},
 booktitle = {Proceedings of the 27th USENIX Conference on Security Symposium},
 pages = {1423–1439},
 numpages = {17},
 location = {Baltimore, MD, USA},
 series = {SEC’18}
}
  @article{10.1007/s00211-015-0768-8,
 author = {Zhang, Zhongqiang and Rozovskii, Boris and Karniadakis, George Em},
 title = {Strong and Weak Convergence Order of Finite Element Methods for Stochastic PDEs with Spatial White Noise},
 year = {2016},
 issue_date = {September 2016},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 volume = {134},
 number = {1},
 issn = {0029-599X},
 url = {https://doi.org/10.1007/s00211-015-0768-8},
 doi = {10.1007/s00211-015-0768-8},
 journal = {Numer. Math.},
 month = sep,
 pages = {61–89},
 numpages = {29}
}
  @proceedings{10.1145/2998181,
 title = {CSCW ’17: Proceedings of the 2017 ACM Conference on Computer Supported Cooperative Work and Social Computing},
 year = {2017},
 isbn = {9781450343350},
 publisher = {Association for Computing Machinery},
 address = {New York, NY, USA},
 location = {Portland, Oregon, USA}
}