Courant Institute

Filter
Conference contribution

Search results

  • 2019

    On the parallels between paxos and raft, and how to port optimizations

    Wang, Z., Zhao, C., Mu, S., Chen, H. & Li, J., Jul 16 2019, PODC 2019 - Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 445-454 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

  • Optimal freshness crawl under politeness constraints

    Kolobov, A., Lubetzky, E., Peres, Y. & Horvitz, E., Jul 18 2019, SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, Inc, p. 495-504 10 p. (SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval).

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

  • Optimality of the Plug-in Estimator for Differential Entropy Estimation under Gaussian Convolutions

    Goldfeld, Z., Greenewald, K., Weed, J. & Polyanskiy, Y., Jul 2019, 2019 IEEE International Symposium on Information Theory, ISIT 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 892-896 5 p. 8849414. (IEEE International Symposium on Information Theory - Proceedings; vol. 2019-July).

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

  • Order-aware generative modeling using the 3D-craft dataset

    Chen, Z., Srinet, K., Qi, C. R., Fan, H., Ma, J., Zitnick, L., Guo, D., Xiao, T., Xie, S., Chen, X., Szlam, A., Tulsiani, S., Yu, H. & Gray, J., Oct 2019, Proceedings - 2019 International Conference on Computer Vision, ICCV 2019. Institute of Electrical and Electronics Engineers Inc., p. 1764-1773 10 p. 9009072. (Proceedings of the IEEE International Conference on Computer Vision; vol. 2019-October).

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

  • Parallel computing at the undergraduate level: Lessons learned and insights

    Zahran, M. & Berger, M. J., Jun 22 2019, Proceedings of the Workshop on Computer Architecture Education, WCAE 2019. Association for Computing Machinery, Inc, 3338889. (Proceedings of the Workshop on Computer Architecture Education, WCAE 2019).

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

  • Perceptual deep depth super-resolution

    Voynov, O., Artemov, A., Egiazarian, V., Notchenko, A., Bobrovskikh, G., Burnaev, E. & Zorin, D., Oct 2019, Proceedings - 2019 International Conference on Computer Vision, ICCV 2019. Institute of Electrical and Electronics Engineers Inc., p. 5652-5662 11 p. 9009004. (Proceedings of the IEEE International Conference on Computer Vision; vol. 2019-October).

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

  • Piccolo: Building fast, distributed programs with partitioned tables

    Power, R. & Li, J., Jan 1 2019, Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010. USENIX Association, p. 293-306 14 p. (Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2010).

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

  • Predicate exchange: Inference with declarative knowledge

    Tavares, Z., Burroni, J., Minasyan, E., Lezama, A. S. & Ranganath, R., 2019, 36th International Conference on Machine Learning, ICML 2019. International Machine Learning Society (IMLS), p. 10792-10801 10 p. (36th International Conference on Machine Learning, ICML 2019; vol. 2019-June).

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

  • Pun generation with surprise

    He, H., Peng, N. & Liang, P., 2019, Long and Short Papers. Association for Computational Linguistics (ACL), p. 1734-1744 11 p. (NAACL HLT 2019 - 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies - Proceedings of the Conference; vol. 1).

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

  • Reconstructing the MERS disease outbreak from news

    Balashankar, A., Dugar, A., Subramanian, L. & Fraiberger, S., Jul 3 2019, COMPASS 2019 - Proceedings of the 2019 Conference on Computing and Sustainable Societies. Association for Computing Machinery, Inc, p. 272-280 9 p. (COMPASS 2019 - Proceedings of the 2019 Conference on Computing and Sustainable Societies).

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

  • Responsibility Analysis by Abstract Interpretation

    Deng, C. & Cousot, P., 2019, Static Analysis - 26th International Symposium, SAS 2019, Proceedings. Chang, B-Y. E. (ed.). Springer Science and Business Media Deutschland GmbH, p. 368-388 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11822 LNCS).

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

  • Retrieval-augmented convolutional neural networks against adversarial examples

    Zhao, J. J. & Cho, K., Jun 2019, Proceedings - 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2019. IEEE Computer Society, p. 11555-11563 9 p. 8953314. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition; vol. 2019-June).

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

  • Reusable Non-Interactive Secure Computation

    Chase, M., Dodis, Y., Ishai, Y., Kraschewski, D., Liu, T., Ostrovsky, R. & Vaikuntanathan, V., 2019, Advances in Cryptology – CRYPTO 2019 - 39th Annual International Cryptology Conference, Proceedings. Micciancio, D. & Boldyreva, A. (eds.). Springer Verlag, p. 462-488 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11694 LNCS).

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

  • Robot Learning via Human Adversarial Games

    Duan, J., Wang, Q., Pinto, L., Jay Kuo, C. C. & Nikolaidis, S., Nov 2019, 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2019. Institute of Electrical and Electronics Engineers Inc., p. 1056-1063 8 p. 8968306. (IEEE International Conference on Intelligent Robots and Systems).

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

  • Rods and rings: Soft subdivision planner for ℝ3 × S2

    Hsu, C. H., Chiang, Y. J. & Yap, C., Jun 1 2019, 35th International Symposium on Computational Geometry, SoCG 2019. Barequet, G. & Wang, Y. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 43. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 129).

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

  • Root-Finding with Implicit Deflation

    Imbach, R., Pan, V. Y., Yap, C., Kotsireas, I. S. & Zaderman, V., 2019, Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Proceedings. England, M., Sadykov, T. M., Seiler, W. M., Koepf, W. & Vorozhtsov, E. V. (eds.). Springer Verlag, p. 236-245 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11661 LNCS).

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

  • Scalable simulation of realistic volume fraction red blood cell flows through vascular networks

    Lu, L., Morse, M. J., Rahimian, A., Stadler, G. & Zorin, D., Nov 17 2019, Proceedings of SC 2019: The International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE Computer Society, a6. (International Conference for High Performance Computing, Networking, Storage and Analysis, SC).

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

    Open Access

  • Scattering Mechanisms and Modeling for Terahertz Wireless Communications

    Ju, S., Shah, S. H. A., Javed, M. A., Li, J., Palteru, G., Robin, J., Xing, Y., Kanhere, O. & Rappaport, T. S., May 2019, 2019 IEEE International Conference on Communications, ICC 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8761205. (IEEE International Conference on Communications; vol. 2019-May).

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

  • Seedless Fruit Is the Sweetest: Random Number Generation, Revisited

    Coretti, S., Dodis, Y., Karthikeyan, H. & Tessaro, S., 2019, Advances in Cryptology – CRYPTO 2019 - 39th Annual International Cryptology Conference, Proceedings. Micciancio, D. & Boldyreva, A. (eds.). Springer Verlag, p. 205-234 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11692 LNCS).

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

  • Sequential graph dependency parser

    Welleck, S. & Cho, K., 2019, International Conference on Recent Advances in Natural Language Processing in a Deep Learning World, RANLP 2019 - Proceedings. Angelova, G., Mitkov, R., Nikolova, I., Temnikova, I. & Temnikova, I. (eds.). Incoma Ltd, p. 1338-1345 8 p. (International Conference Recent Advances in Natural Language Processing, RANLP; vol. 2019-September).

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

    Open Access

  • Session Expert: A Lightweight Conference Session Recommender System

    Yi, J., Lei, Q., Yan, J. & Sun, W., Jan 22 2019, Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018. Song, Y., Liu, B., Lee, K., Abe, N., Pu, C., Qiao, M., Ahmed, N., Kossmann, D., Saltz, J., Tang, J., He, J., Liu, H. & Hu, X. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1677-1682 6 p. 8622231. (Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018).

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

  • Similarity preserving representation learning for time series clustering

    Lei, Q., Yi, J., Vaculin, R., Wu, L. & Dhillon, I. S., 2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence, IJCAI 2019. Kraus, S. (ed.). International Joint Conferences on Artificial Intelligence, p. 2845-2851 7 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 2019-August).

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

    Open Access

  • Simple black-box adversarial attacks

    Guo, C., Gardner, J. R., You, Y., Wilson, A. G. & Weinberger, K. Q., Jan 1 2019, 36th International Conference on Machine Learning, ICML 2019. International Machine Learning Society (IMLS), p. 4410-4423 14 p. (36th International Conference on Machine Learning, ICML 2019; vol. 2019-June).

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

  • Simple pattern-only heuristics lead to fast subgraph matching strategies on very large networks

    Aparo, A., Bonnici, V., Micale, G., Ferro, A., Shasha, D., Pulvirenti, A. & Giugno, R., 2019, Practical Applications of Computational Biology and Bioinformatics, 12th International Conference. Rocha, M., Mohamad, M. S., De Paz, J. F., Fdez-Riverola, F. & Gonzalez, P. (eds.). Springer Verlag, p. 131-138 8 p. (Advances in Intelligent Systems and Computing; vol. 803).

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

  • Sluice: Network-wide data plane programming

    Natesh, V., Kannan, P. G., Sivaraman, A. & Netravali, R., Aug 19 2019, SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019. Association for Computing Machinery, Inc, p. 156-158 3 p. (SIGCOMM 2019 - Proceedings of the 2019 ACM SIGCOMM Conference Posters and Demos, Part of SIGCOMM 2019).

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

  • Stable Limit Laws for Reaction-Diffusion in Random Environment

    Ben Arous, G., Molchanov, S. & Ramírez, A. F., 2019, Probability and Analysis in Interacting Physical Systems - In Honor of S.R.S. Varadhan, 2016. Friz, P., König, W., Mukherjee, C. & Olla, S. (eds.). Springer New York LLC, p. 123-171 49 p. (Springer Proceedings in Mathematics and Statistics; vol. 283).

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

  • Supporting very large models using automatic dataflow graph partitioning

    Wang, M., Huang, C. C. & Li, J., Mar 25 2019, Proceedings of the 14th EuroSys Conference 2019. Association for Computing Machinery, Inc, 3303953. (Proceedings of the 14th EuroSys Conference 2019).

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

  • Swalp: Stochastic weight averaging in low-precision training

    Yang, G., Zhang, T., Kirichenko, P., Bai, J., Wilson, A. G. & de Sa, C., 2019, 36th International Conference on Machine Learning, ICML 2019. International Machine Learning Society (IMLS), p. 12125-12151 27 p. (36th International Conference on Machine Learning, ICML 2019; vol. 2019-June).

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

  • Syntactic and Semantic Soundness of Structural Dataflow Analysis

    Cousot, P., 2019, Static Analysis - 26th International Symposium, SAS 2019, Proceedings. Chang, B-Y. E. (ed.). Springer Science and Business Media Deutschland GmbH, p. 96-117 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11822 LNCS).

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

  • The double ratchet: Security notions, proofs, and modularization for the signal protocol

    Alwen, J., Coretti, S. & Dodis, Y., 2019, Advances in Cryptology – EUROCRYPT 2019 - 38th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Proceedings. Rijmen, V. & Ishai, Y. (eds.). Springer Verlag, p. 129-158 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11476 LNCS).

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

  • The variational predictive natural gradient

    Tang, D. & Ranganath, R., Jan 1 2019, 36th International Conference on Machine Learning, ICML 2019. International Machine Learning Society (IMLS), p. 10735-10744 10 p. (36th International Conference on Machine Learning, ICML 2019; vol. 2019-June).

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

  • Towards realistic practices in low-resource natural language processing: The development set

    Kann, K., Cho, K. & Bowman, S. R., 2019, EMNLP-IJCNLP 2019 - 2019 Conference on Empirical Methods in Natural Language Processing and 9th International Joint Conference on Natural Language Processing, Proceedings of the Conference. Association for Computational Linguistics, p. 3342-3349 8 p. (EMNLP-IJCNLP 2019 - 2019 Conference on Empirical Methods in Natural Language Processing and 9th International Joint Conference on Natural Language Processing, Proceedings of the Conference).

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

  • Towards Soft Exact Computation (Invited Talk)

    Yap, C., 2019, Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Proceedings. England, M., Sadykov, T. M., Seiler, W. M., Koepf, W. & Vorozhtsov, E. V. (eds.). Springer Verlag, p. 12-36 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11661 LNCS).

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

  • TreeHouse: JavaScript sandboxes to help Web developers help themselves

    Ingram, L. & Walfish, M., 2019, Proceedings of the 2012 USENIX Annual Technical Conference, USENIX ATC 2012. USENIX Association, p. 153-164 12 p. (Proceedings of the 2012 USENIX Annual Technical Conference, USENIX ATC 2012).

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

  • UG-hardness to NP-hardness by losing half

    Bhangale, A. & Khot, S., Jul 1 2019, 34th Computational Complexity Conference, CCC 2019. Shpilka, A. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 137).

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

  • Unsupervised image matching and object discovery as optimization

    Vo, H. V., Bach, F., Cho, M., Han, K., Lecun, Y., Perez, P. & Ponce, J., Jun 2019, Proceedings - 2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2019. IEEE Computer Society, p. 8279-8288 10 p. 8953281. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition; vol. 2019-June).

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

  • Using one-sided RDMA reads to build a fast, CPU-efficient key-value store

    Mitchell, C., Geng, Y. & Li, J., Jan 1 2019, Proceedings of the 2013 USENIX Annual Technical Conference, USENIX ATC 2013. USENIX Association, p. 103-114 12 p. (Proceedings of the 2013 USENIX Annual Technical Conference, USENIX ATC 2013).

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

  • Vaccine: Using contextual integrity for data leakage detection

    Shvartzshnaider, Y., Wies, T., Pavlinovic, Z., Lakshminarayanan, Mittal, P., Balashankar, A. & Nissenbaum, H., May 13 2019, The Web Conference 2019 - Proceedings of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, Inc, p. 1702-1712 11 p. (The Web Conference 2019 - Proceedings of the World Wide Web Conference, WWW 2019).

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

  • Verifying concurrent, crash-safe systems with perennial

    Chajed, T., Tassarotti, J., Kaashoek, M. F. & Zeldovich, N., Oct 27 2019, SOSP 2019 - Proceedings of the 27th ACM Symposium on Operating Systems Principles. Association for Computing Machinery, Inc, p. 243-258 16 p. (SOSP 2019 - Proceedings of the 27th ACM Symposium on Operating Systems Principles).

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

    Open Access

  • Verifying Numerical Programs via Iterative Abstract Testing

    Yin, B., Chen, L., Liu, J., Wang, J. & Cousot, P., 2019, Static Analysis - 26th International Symposium, SAS 2019, Proceedings. Chang, B-Y. E. (ed.). Springer Science and Business Media Deutschland GmbH, p. 247-267 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11822 LNCS).

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

  • Watchtower: Fast, secure mobile page loads using remote dependency resolution

    Netravali, R., Mickens, J., Sivaraman, A. & Balakrishnan, H., Jun 12 2019, MobiSys 2019 - Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services. Association for Computing Machinery, Inc, p. 430-443 14 p. (MobiSys 2019 - Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services).

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

  • “I was told to buy a software or lose my computer. I ignored it”: A study of ransomware

    Simoiu, C., Gates, C., Bonneau, J. & Goel, S., Jan 1 2019, Proceedings of the 15th Symposium on Usable Privacy and Security, SOUPS 2019. USENIX Association, p. 155-174 20 p. (Proceedings of the 15th Symposium on Usable Privacy and Security, SOUPS 2019).

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

  • 2018

    Abstract Interpretation of Stateful Networks

    Alpernas, K., Manevich, R., Panda, A., Sagiv, M., Shenker, S., Shoham, S. & Velner, Y., 2018, Static Analysis - 25th International Symposium, SAS 2018, Proceedings. Podelski, A. (ed.). Springer Verlag, p. 86-106 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11002 LNCS).

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

  • A Case Study on Learning a Unified Encoder of Relations

    Fu, L., Min, B., Nguyen, T. H. & Grishman, R., 2018, 4th Workshop on Noisy User-Generated Text, W-NUT 2018 - Proceedings of the Workshop. Association for Computational Linguistics (ACL), p. 202-207 6 p. (4th Workshop on Noisy User-Generated Text, W-NUT 2018 - Proceedings of the Workshop).

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

  • A Closer Look at Spatiotemporal Convolutions for Action Recognition

    Tran, D., Wang, H., Torresani, L., Ray, J., Lecun, Y. & Paluri, M., Dec 14 2018, Proceedings - 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2018. IEEE Computer Society, p. 6450-6459 10 p. 8578773. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

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

  • A comparison of audio signal preprocessing methods for deep neural networks on music tagging

    Choi, K., Fazekas, G., Sandler, M. & Cho, K., Nov 29 2018, 2018 26th European Signal Processing Conference, EUSIPCO 2018. European Signal Processing Conference, EUSIPCO, p. 1870-1874 5 p. 8553106. (European Signal Processing Conference; vol. 2018-September).

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

  • Adversarially regularized autoencoders

    Zhao, J., Kim, Y., Zhang, K., Rush, A. M. & LeCun, Y., 2018, 35th International Conference on Machine Learning, ICML 2018. Krause, A. & Dy, J. (eds.). International Machine Learning Society (IMLS), p. 9405-9420 16 p. (35th International Conference on Machine Learning, ICML 2018; vol. 13).

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

  • A Fast and High Order Algorithm for the Electromagnetic Scattering of Axis-Symmetric Objects

    Lai, J. & O'Neil, M., Oct 17 2018, 2018 IEEE International Conference on Computational Electromagnetics, ICCEM 2018. Institute of Electrical and Electronics Engineers Inc., 8496457. (2018 IEEE International Conference on Computational Electromagnetics, ICCEM 2018).

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

  • Amortized analysis of asynchronous price dynamics

    Cheung, Y. K. & Cole, R., Aug 1 2018, 26th European Symposium on Algorithms, ESA 2018. Bast, H., Herman, G. & Azar, Y. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 112).

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

  • An approach for certifying homotopy continuation paths: Univariate case

    Xu, J., Burr, M. & Yap, C., Jul 11 2018, ISSAC 2018 - Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, p. 399-406 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

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