Computer Science

Filter
Conference contribution

Search results

  • Impact of mutation operators on the ratio of equivalent mutants

    Marsit, I., Omri, M. N., Loh, J. M. & Mili, A., 2018, New Trends in Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 17th International Conference, SoMeT 2018. Fujita, H. & Herrera-Viedma, E. (eds.). IOS Press BV, p. 664-677 14 p. (Frontiers in Artificial Intelligence and Applications; vol. 303).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Impact of mutation operators on mutant equivalence

    Marsit, I., Omri, M. N., Loh, J. M. & Mili, A., Jan 1 2019, ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies. Maciaszek, L., Maciaszek, L. & van Sinderen, M. (eds.). SciTePress, p. 21-32 12 p. (ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • Image enhancement by path partitioning

    Lucertini, M., Perl, Y. & Simeone, B., 1989, Recent Issues in Pattern Analysis and Recognition. Cantoni, V., Levialdi, S., Creutzburg, R. & Wolf, G. (eds.). Springer Verlag, p. 12-22 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 399 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations

  • Image Classification and Retrieval with Random Depthwise Signed Convolutional Neural Networks

    Xue, Y. & Roshan, U., 2019, Advances in Computational Intelligence - 15th International Work-Conference on Artificial Neural Networks, IWANN 2019, Proceedings. Catala, A., Joya, G. & Rojas, I. (eds.). Springer Verlag, p. 492-506 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11506 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Identifying problematic concepts in SNOMED CT using a lexical approach

    Agrawal, A., Perl, Y. & Elhanan, G., 2013, MEDINFO 2013 - Proceedings of the 14th World Congress on Medical and Health Informatics. 1-2 ed. IOS Press, p. 773-777 5 p. (Studies in Health Technology and Informatics; vol. 192, no. 1-2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    11 Scopus citations

  • Identifying pairs of terms with strong semantic connections in a textbook index

    Geller, J., Klein, S. T. & Polyakov, Y., 2015, KEOD. Fred, A., Dietz, J., Aveiro, D., Liu, K., Filipe, J. & Filipe, J. (eds.). SciTePress, p. 307-315 9 p. (IC3K 2015 - Proceedings of the 7th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Identifying a forest hierarchy in an OODB specialization hierarchy satisfying disciplined modeling

    Perl, Y., Geller, J. & Gu, H., Jan 1 1996, Proceedings - 1st IFCIS International Conference on Cooperative Information Systems, CoopIS 1996. Institute of Electrical and Electronics Engineers Inc., p. 182-195 14 p. 555010. (Proceedings - 1st IFCIS International Conference on Cooperative Information Systems, CoopIS 1996).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    10 Scopus citations

  • HugeGPT: Storing Guest Page Tables on Host Huge Pages to Accelerate Address Translation

    Jia, W., Zhang, J., Shan, J., Du, Y., Ding, X. & Xu, T., 2023, Proceedings - 2023 32nd International Conference on Parallel Architecture and Compilation Techniques, PACT 2023. Institute of Electrical and Electronics Engineers Inc., p. 62-73 12 p. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Homomorphic encryption for privacy-preserving genome sequences search

    Yamada, Y., Rohloff, K. & Oguchi, M., Jun 2019, Proceedings - 2019 IEEE International Conference on Smart Computing, SMARTCOMP 2019. Institute of Electrical and Electronics Engineers Inc., p. 7-12 6 p. 8784009. (Proceedings - 2019 IEEE International Conference on Smart Computing, SMARTCOMP 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Scopus citations

  • History of improving statistical efficiency

    Barton, R., Nakayama, M. K. & Schruben, L., Jun 28 2017, 2017 Winter Simulation Conference, WSC 2017. Chan, V. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 158-180 23 p. (Proceedings - Winter Simulation Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Histogram difference string distance for enhancing ontology integration in bioinformatics

    Rudniy, A., Geller, J. & Song, M., 2012, 4th International Conference on Bioinformatics and Computational Biology 2012, BICoB 2012. p. 108-113 6 p. (4th International Conference on Bioinformatics and Computational Biology 2012, BICoB 2012).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • HIS-KCWater: Context-aware geospatial data and service integration

    Lee, J., Lee, Y., Shah, S. & Geller, J., 2007, Proceedings of the 2007 ACM Symposium on Applied Computing. Association for Computing Machinery, p. 24-29 6 p. (Proceedings of the ACM Symposium on Applied Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Scopus citations

  • Heuristics for generalized task system

    Ng, C. W., Leung, J. Y. T. & Young, G., 2003, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2003. Arabnia, H. R., Mun, Y., Arabnia, H. R. & Mun, Y. (eds.). p. 1447-1453 7 p. (Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications; vol. 3).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Heuristic containment check of partial tree-pattern queries in the presence of index graphs

    Theodoratos, D., Souldatos, S., Dalamagas, T., Placek, P. & Sellis, T., 2006, Proceedings of the 15th ACM Conference on Information and Knowledge Management, CIKM 2006. p. 445-454 10 p. (International Conference on Information and Knowledge Management, Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Scopus citations

  • Heterogeneous Randomized Response for Differential Privacy in Graph Neural Networks

    Tran, K., Lai, P., Phan, N. H., Khalil, I., Ma, Y., Khreishah, A., Thai, M. T. & Wu, X., 2022, Proceedings - 2022 IEEE International Conference on Big Data, Big Data 2022. Tsumoto, S., Ohsawa, Y., Chen, L., Van den Poel, D., Hu, X., Motomura, Y., Takagi, T., Wu, L., Xie, Y., Abe, A. & Raghavan, V. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1582-1587 6 p. (Proceedings - 2022 IEEE International Conference on Big Data, Big Data 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    2 Scopus citations

  • Health Ontology for Minority Equity (HOME)

    Kollapally, N. M., Chen, Y. & Geller, J., 2021, 13th International Conference on Knowledge Engineering and Ontology Development, KEOD 2021 as part of IC3K 2021 - Proceedings of the 13th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management. Aveiro, D., Dietz, J. & Filipe, J. (eds.). Science and Technology Publications, Lda, p. 17-27 11 p. (International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K - Proceedings; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    1 Scopus citations

  • Harnessing memory page distribution for network-efficient live migration

    Qazi, K., Li, Y. & Sohn, A., Mar 9 2014, Proceedings - 16th IEEE International Conference on High Performance Computing and Communications, HPCC 2014, 11th IEEE International Conference on Embedded Software and Systems, ICESS 2014 and 6th International Symposium on Cyberspace Safety and Security, CSS 2014. Institute of Electrical and Electronics Engineers Inc., p. 264-267 4 p. 7056750. (Proceedings - 16th IEEE International Conference on High Performance Computing and Communications, HPCC 2014, 11th IEEE International Conference on Embedded Software and Systems, ICESS 2014 and 6th International Symposium on Cyberspace Safety and Security, CSS 2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Hard-Real-Time Routing in Probabilistic Graphs to Minimize Expected Delay

    Agrawal, K., Baruah, S., Guo, Z., Li, J. & Vaidhun, S., Dec 2020, Proceedings - 2020 IEEE 41st Real-Time Systems Symposium, RTSS 2020. Institute of Electrical and Electronics Engineers Inc., p. 63-75 13 p. 9355536. (Proceedings - Real-Time Systems Symposium; vol. 2020-December).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Scopus citations

  • HaarHOG: Improving the HOG descriptor for image classification

    Banerji, S., Sinha, A. & Liu, C., 2013, Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013. p. 4276-4281 6 p. 6722482. (Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Scopus citations

  • Guided Task Planning Under Complex Constraints

    Nikookar, S., Sakharkar, P., Smagh, B., Amer-Yahia, S. & Roy, S. B., 2022, Proceedings - 2022 IEEE 38th International Conference on Data Engineering, ICDE 2022. IEEE Computer Society, p. 833-845 13 p. (Proceedings - International Conference on Data Engineering; vol. 2022-May).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • Guaranteed bandwidth and balancing mechanism for high speed metropolitan area networks

    Karvelas, D., 1994, Conference Record - International Conference on Communications. Publ by IEEE, p. 696-700 5 p. (Conference Record - International Conference on Communications; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Group-level Fairness Maximization in Online Bipartite Matching

    Ma, W., Xu, P. & Xu, Y., 2022, International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 1687-1689 3 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 3).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    6 Scopus citations

  • GRE: Hybrid recommendations for NSDL collections

    Will, T., Srinivasan, A., Bieber, M., Im, I., Oria, V. & Wu, Y. F. B., 2009, JCDL'09 - Proceedings of the 2009 ACM/IEEE Joint Conference on Digital Libraries. p. 457 1 p. (Proceedings of the ACM/IEEE Joint Conference on Digital Libraries).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Graph Neural Networks with Adaptive Residual

    Liu, X., Ding, J., Jin, W., Xu, H., Ma, Y., Liu, Z. & Tang, J., 2021, Advances in Neural Information Processing Systems 34 - 35th Conference on Neural Information Processing Systems, NeurIPS 2021. Ranzato, M., Beygelzimer, A., Dauphin, Y., Liang, P. S. & Wortman Vaughan, J. (eds.). Neural information processing systems foundation, p. 9720-9733 14 p. (Advances in Neural Information Processing Systems; vol. 12).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    44 Scopus citations

  • Graph Feature Gating Networks

    Jin, W., Liu, X., Ma, Y., Derr, T., Aggarwal, C. & Tang, J., Oct 26 2021, CIKM 2021 - Proceedings of the 30th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 813-822 10 p. (International Conference on Information and Knowledge Management, Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Graph Enhanced BERT for Query Understanding

    Li, J., Zeng, W., Cheng, S., Ma, Y., Tang, J., Wang, S. & Yin, D., Jul 19 2023, SIGIR 2023 - Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, Inc, p. 3315-3319 5 p. (SIGIR 2023 - Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    2 Scopus citations

  • Graph Adversarial Attack via Rewiring

    Ma, Y., Wang, S., Derr, T., Wu, L. & Tang, J., Aug 14 2021, KDD 2021 - Proceedings of the 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 1161-1169 9 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    53 Scopus citations

  • Google knows who is famous today - Building an ontology from search engine knowledge and DBpedia

    Ochs, C., Tian, T., Geller, J. & Chun, S. A., 2011, Proceedings - 5th IEEE International Conference on Semantic Computing, ICSC 2011. p. 320-327 8 p. 6061481. (Proceedings - 5th IEEE International Conference on Semantic Computing, ICSC 2011).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    11 Scopus citations

  • Global load balancing with parallel mesh adaption on distributed-memory systems

    Biswas, R., Oliker, L. & Sohn, A., 1996, Proceedings of the 1996 ACM/IEEE Conference on Supercomputing, SC 1996. Association for Computing Machinery, (Proceedings of the International Conference on Supercomputing; vol. 1996-November).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations

  • Gleaner: Mitigating the blocked-waiter wakeup problem for virtualized multicore applications

    Ding, X., Gibbons, P. B., Kozuch, M. A. & Shan, J., Jan 1 2019, Proceedings of the 2014 USENIX Annual Technical Conference, USENIX ATC 2014. USENIX Association, p. 73-84 12 p. (Proceedings of the 2014 USENIX Annual Technical Conference, USENIX ATC 2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Gleaner: Mitigating the blocked-waiter wakeup problem for virtualized multicore applications

    Ding, X., Gibbons, P. B., Kozuch, M. A. & Shan, J., 2014, Proceedings of the 2014 USENIX Annual Technical Conference, USENIX ATC 2014. USENIX Association, p. 73-84 12 p. (Proceedings of the 2014 USENIX Annual Technical Conference, USENIX ATC 2014).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    35 Scopus citations

  • Geographical data collection in sensor networks with self-organizing transaction cluster-heads

    Rajgure, N., Platon, E., Borcea, C. & Honiden, S., 2009, 24th Annual ACM Symposium on Applied Computing, SAC 2009. p. 1214-1218 5 p. (Proceedings of the ACM Symposium on Applied Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Generic superlight client for permissionless blockchains

    Lu, Y., Tang, Q. & Wang, G., 2020, Computer Security – ESORICS 2020 - 25th European Symposium on Research in Computer Security, ESORICS 2020, Proceedings. Chen, L., Schneider, S., Li, N. & Liang, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 713-733 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12309 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Scopus citations

  • Generic Semantic Security against a kleptographic adversary

    Russell, A., Tang, Q., Yung, M. & Zhou, H. S., Oct 30 2017, CCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 907-922 16 p. (Proceedings of the ACM Conference on Computer and Communications Security).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    62 Scopus citations

  • Generative and discriminative sparse coding for image classification applications

    Puthenputhussery, A., Liu, Q., Liu, H. & Liu, C., May 3 2018, Proceedings - 2018 IEEE Winter Conference on Applications of Computer Vision, WACV 2018. Institute of Electrical and Electronics Engineers Inc., p. 1824-1832 9 p. (Proceedings - 2018 IEEE Winter Conference on Applications of Computer Vision, WACV 2018; vol. 2018-January).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    2 Scopus citations

  • Generative adversarial networks for video prediction with action control

    Hu, Z. & Wang, J. T. L., 2020, Artificial Intelligence IJCAI 2019 International Workshops - Revised Selected Best Papers. El Fallah Seghrouchni, A. & Sarne, D. (eds.). Springer, p. 87-105 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12158 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • Generating Training Data for Concept-Mining for an 'Interface Terminology' Annotating Cardiology EHRs

    Keloth, V. K., Zhou, S., Einstein, A. J., Elhanan, G., Chen, Y., Geller, J. & Perl, Y., Dec 16 2020, Proceedings - 2020 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2020. Park, T., Cho, Y.-R., Hu, X. T., Yoo, I., Woo, H. G., Wang, J., Facelli, J., Nam, S. & Kang, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1728-1735 8 p. 9313435. (Proceedings - 2020 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2020).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations

  • Generalized class of g-chain periodic sorting networks

    Nassimi, D., Perl, Y. & Becker, R. I., 1994, Proceedings of the International Conference on Parallel Processing. Publ by IEEE, p. 424-432 9 p. (Proceedings of the International Conference on Parallel Processing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations

  • Generalizable resource allocation in stream processing via deep reinforcement learning

    Ni, X., Li, J., Yu, M., Zhou, W. & Wu, K. L., 2020, AAAI 2020 - 34th AAAI Conference on Artificial Intelligence. AAAI press, p. 857-864 8 p. (AAAI 2020 - 34th AAAI Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    21 Scopus citations

  • Generalizable Reinforcement Learning-Based Coarsening Model for Resource Allocation over Large and Diverse Stream Processing Graphs

    Nie, L., Qiu, Y., Meng, F., Yu, M. & Li, J., 2023, Proceedings - 2023 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2023. Institute of Electrical and Electronics Engineers Inc., p. 435-445 11 p. (Proceedings - 2023 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2023).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Gene ontology summarization to support visualization and quality assurance

    Ochs, C., Perl, Y., Halper, M., Geller, J. & Lomax, J., 2015, Proceedings of the 7th International Conference on Bioinformatics and Computational Biology, BICOB 2015. Haspel, N. & Saeed, F. (eds.). The International Society for Computers and Their Applications (ISCA), p. 167-174 8 p. (Proceedings of the 7th International Conference on Bioinformatics and Computational Biology, BICOB 2015).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Scopus citations

  • GDM: DevicE MEMORY MANAGEMENT for GPGPU computing

    Wang, K., Ding, X., Lee, R., Zhang, X. & Kato, S., 2014, SIGMETRICS 2014 - Proceedings of the 2014 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems. Association for Computing Machinery, p. 533-545 13 p. (SIGMETRICS 2014 - Proceedings of the 2014 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    14 Scopus citations

  • GDC: Group discovery using co-location traces

    Mardenfeld, S., Boston, D., Pan, S. J., Jones, Q., Iamntichi, A. & Borcea, C., 2010, Proceedings - SocialCom 2010: 2nd IEEE International Conference on Social Computing, PASSAT 2010: 2nd IEEE International Conference on Privacy, Security, Risk and Trust. p. 641-648 8 p. 5591535. (Proceedings - SocialCom 2010: 2nd IEEE International Conference on Social Computing, PASSAT 2010: 2nd IEEE International Conference on Privacy, Security, Risk and Trust).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    27 Scopus citations

  • Fuzzy and cross-app replay for smartphone apps

    Hu, Y. & Neamtiu, I., May 14 2016, Proceedings - 11th International Workshop on Automation of Software Test, AST 2016. Association for Computing Machinery, Inc, p. 50-56 7 p. (Proceedings - 11th International Workshop on Automation of Software Test, AST 2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    9 Scopus citations

  • From Specification to Topology: Automatic Power Converter Design via Reinforcement Learning

    Fan, S., Cao, N., Zhang, S., Li, J., Guo, X. & Zhang, X., 2021, 2021 40th IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2021 - Proceedings. Institute of Electrical and Electronics Engineers Inc., (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD; vol. 2021-November).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    9 Scopus citations

  • FlowMiner: Finding flow patterns in spatio-temporal databases

    Wang, J., Hsu, W., Lee, M. L. & Wang, J., 2004, Proceedings - 16th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2004. Khoshgoftaar, T. M. (ed.). p. 14-21 8 p. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    28 Scopus citations

  • Flexible aggregate similarity search in high-dimensional data sets

    Houle, M. E., Ma, X. & Oria, V., 2015, Similarity Search and Applications - 8th International Conference, SISAP 2015, Proceedings. Connor, R., Amato, G., Falchi, F. & Gennaro, C. (eds.). Springer Verlag, p. 15-28 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9371).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Finding resume and restart errors in android applications

    Shan, Z., Azim, T. & Neamtiu, I., Oct 19 2016, OOPSLA 2016 - Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. Visser, E. & Smaragdakis, Y. (eds.). Association for Computing Machinery, p. 864-880 17 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA; vol. 02-04-November-2016).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    26 Scopus citations

  • Finding and reproducing heisenbugs in concurrent programs

    Musuvathi, M., Qadeer, S., Nainar, P. A., Ball, T., Basler, G. & Neamtiu, I., Jan 1 2019, Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008. USENIX Association, p. 267-280 14 p. (Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    145 Scopus citations

  • Ferry access points and sticky transfers: Improving communication in ferry-assisted DTNs

    Yasmeen, F., Huda, N., Yamada, S. & Borcea, C., 2012, 2012 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2012 - Digital Proceedings. 6263746. (2012 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2012 - Digital Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    10 Scopus citations