Computer Science

Search results

  • 2018

    Detecting genome-wide directional effects of transcription factor binding on polygenic disease risk

    Reshef, Y. A., Finucane, H. K., Kelley, D. R., Gusev, A., Kotliar, D., Ulirsch, J. C., Hormozdiari, F., Nasser, J., O’Connor, L., van de Geijn, B., Loh, P. R., Grossman, S. R., Bhatia, G., Gazal, S., Palamara, P. F., Pinello, L., Patterson, N., Adams, R. P. & Price, A. L., Oct 1 2018, In: Nature Genetics. 50, 10, p. 1483-1493 11 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    40 Scopus citations

  • Determining an optimal threshold on the online reserves of a bitcoin exchange

    Jain, S., Felten, E. & Goldfeder, S., Jan 1 2018, In: Journal of Cybersecurity. 4, 1

    Research output: Contribution to journal › Article › peer-review

    Open Access
    5 Scopus citations

  • Digital Museum of Retinal Ganglion Cells with Dense Anatomy and Physiology

    the EyeWirers, May 17 2018, In: Cell. 173, 5, p. 1293-1306.e19

    Research output: Contribution to journal › Article › peer-review

    Open Access
    151 Scopus citations

  • DO GANS LEARN THE DISTRIBUTION? SOME THEORY AND EMPIRICS

    Arora, S., Risteski, A. & Zhang, Y., 2018.

    Research output: Contribution to conference › Paper › peer-review

    100 Scopus citations

  • Efficient Algorithms for Outlier-Robust Regression

    Klivans, A., Kothari, P. K. & Meka, R., 2018, In: Proceedings of Machine Learning Research. 75, p. 1420-1430 11 p.

    Research output: Contribution to journal › Conference article › peer-review

    84 Scopus citations

  • Eigenvector computation and community detection in asynchronous gossip models

    Mallmann-Trenn, F., Musco, C. & Musco, C., Jul 1 2018, 45th International Colloquium on Automata, Languages, and Programming, ICALP 2018. Kaklamanis, C., Marx, D., Chatzigiannakis, I. & Sannella, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 159. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 107).

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

    5 Scopus citations

  • Enabling Precision Medicine through Integrative Network Models

    Yao, V., Wong, A. K. & Troyanskaya, O. G., Sep 14 2018, In: Journal of Molecular Biology. 430, 18, p. 2913-2923 11 p.

    Research output: Contribution to journal › Review article › peer-review

    16 Scopus citations

  • Endorsements on social media: An empirical study of affiliate marketing disclosures on YouTube and pinterest

    Mathur, A., Narayanan, A. & Chetty, M., Nov 2018, In: Proceedings of the ACM on Human-Computer Interaction. 2, CSCW, 119.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    51 Scopus citations

  • Enumerations, forbidden subgraph characterizations, and the split-decomposition

    Bahrani, M. & Lumbroso, J., 2018, In: Electronic Journal of Combinatorics. 25, 4, #P4.47.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    1 Scopus citations

  • Explicit binary tree codes with polylogarithmic size alphabet

    Cohen, G., Haeupler, B. & Schulman, L. J., Jun 20 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Henzinger, M., Kempe, D. & Diakonikolas, I. (eds.). Association for Computing Machinery, p. 1074-1087 14 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    10 Scopus citations

  • Explicit Capacity Approaching Coding for Interactive Communication

    Gelles, R., Haeupler, B., Kol, G., Ron-Zewi, N. & Wigderson, A., Oct 2018, In: IEEE Transactions on Information Theory. 64, 10, p. 6546-6560 15 p., 8345651.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    14 Scopus citations

  • Exploiting Attention to Reveal Shortcomings in Memory Models

    Burns, K., Nematzadeh, A., Grant, E., Gopnik, A. & Griffiths, T. L., 2018, EMNLP 2018 - 2018 EMNLP Workshop BlackboxNLP: Analyzing and Interpreting Neural Networks for NLP, Proceedings of the 1st Workshop. Association for Computational Linguistics (ACL), p. 378-380 3 p. (EMNLP 2018 - 2018 EMNLP Workshop BlackboxNLP: Analyzing and Interpreting Neural Networks for NLP, Proceedings of the 1st Workshop).

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

    7 Scopus citations

  • Exploiting synchrony and symmetry in relational verification

    Pick, L., Fedyukovich, G. & Gupta, A., 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (eds.). Springer Verlag, p. 164-182 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10981 LNCS).

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

    Open Access
    17 Scopus citations

  • Exploring the phenotypic consequences of tissue specific gene expression variation inferred from GWAS summary statistics

    Barbeira, A. N., Dickinson, S. P., Bonazzola, R., Zheng, J., Wheeler, H. E., Torres, J. M., Torstenson, E. S., Shah, K. P., Garcia, T., Edwards, T. L., Stahl, E. A., Huckins, L. M., Aguet, F., Ardlie, K. G., Cummings, B. B., Gelfand, E. T., Getz, G., Hadley, K., Handsaker, R. E. & Huang, K. H. & 225 others, Kashin, S., Karczewski, K. J., Lek, M., Li, X., MacArthur, D. G., Nedzel, J. L., Nguyen, D. T., Noble, M. S., Segrè, A. V., Trowbridge, C. A., Tukiainen, T., Abell, N. S., Balliu, B., Barshir, R., Basha, O., Battle, A., Bogu, G. K., Brown, A., Brown, C. D., Castel, S. E., Chen, L. S., Chiang, C., Conrad, D. F., Damani, F. N., Davis, J. R., Delaneau, O., Dermitzakis, E. T., Engelhardt Martin, B., Eskin, E., Ferreira, P. G., Frésard, L., Gamazon, E. R., Garrido-Martín, D., Gewirtz, A. D. H., Gliner, G., Gloudemans, M. J., Guigo, R., Hall, I. M., Han, B., He, Y., Hormozdiari, F., Howald, C., Jo, B., Kang, E. Y., Kim, Y., Kim-Hellmuth, S., Lappalainen, T., Li, G., Li, X., Liu, B., Mangul, S., McCarthy, M. I., McDowell, I. C., Mohammadi, P., Monlong, J., Montgomery, S. B., Muñoz-Aguirre, M., Ndungu, A. W., Nobel, A. B., Oliva, M., Ongen, H., Palowitch, J. J., Panousis, N., Papasaikas, P., Park, Y. S., Parsana, P., Payne, A. J., Peterson, C. B., Quan, J., Reverter, F., Sabatti, C., Saha, A., Sammeth, M., Scott, A. J., Shabalin, A. A., Sodaei, R., Stephens, M., Stranger, B. E., Strober, B. J., Sul, J. H., Tsang, E. K., Urbut, S., Van De Bunt, M., Wang, G., Wen, X., Wright, F. A., Xi, H. S., Yeger-Lotem, E., Zappala, Z., Zaugg, J. B., Zhou, Y. H., Akey, J., Bates, D., Chan, J., Claussnitzer, M., Demanelis, K., Diegel, M., Doherty, J. A., Feinberg, A. P., Fernando, M. S., Halow, J., Hansen, K. D., Haugen, E., Hickey, P. F., Hou, L., Jasmine, F., Jian, R., Jiang, L., Johnson, A., Kaul, R., Kellis, M., Kibriya, M. G., Lee, K., Li, J. B., Li, Q., Lin, J., Lin, S., Linder, S., Linke, C., Liu, Y., Maurano, M. T., Molinie, B., Nelson, J., Neri, F. J., Park, Y., Pierce, B. L., Rinaldi, N. J., Rizzardi, L. F., Sandstrom, R., Skol, A., Smith, K. S., Snyder, M. P., Stamatoyannopoulos, J., Tang, H., Wang, L., Wang, M., Van Wittenberghe, N., Wu, F., Zhang, R., Nierras, C. R., Branton, P. A., Carithers, L. J., Guan, P., Moore, H. M., Rao, A., Vaught, J. B., Gould, S. E., Lockart, N. C., Martin, C., Struewing, J. P., Volpi, S., Addington, A. M., Koester, S. E., Little, A. R., Brigham, L. E., Hasz, R., Hunter, M., Johns, C., Johnson, M., Kopen, G., Leinweber, W. F., Lonsdale, J. T., McDonald, A., Mestichelli, B., Myer, K., Roe, B., Salvatore, M., Shad, S., Thomas, J. A., Walters, G., Washington, M., Wheeler, J., Bridge, J., Foster, B. A., Gillard, B. M., Karasik, E., Kumar, R., Miklos, M., Moser, M. T., Jewell, S. D., Montroy, R. G., Rohrer, D. C., Valley, D. R., Davis, D. A., Mash, D. C., Undale, A. H., Smith, A. M., Tabor, D. E., Roche, N. V., McLean, J. A., Vatanian, N., Robinson, K. L., Sobin, L., Barcus, M. E., Valentino, K. M., Qi, L., Hunter, S., Hariharan, P., Singh, S., Um, K. S., Matose, T., Tomaszewski, M. M., Barker, L. K., Mosavel, M., Siminoff, L. A., Traino, H. M., Flicek, P., Juettemann, T., Ruffier, M., Sheppard, D., Taylor, K., Trevanion, S. J., Zerbino, D. R., Craft, B., Goldman, M., Haeussler, M., Kent, W. J., Lee, C. M., Paten, B., Rosenbloom, K. R., Vivian, J., Zhu, J., Nicolae, D. L., Cox, N. J. & Im, H. K., Dec 1 2018, In: Nature communications. 9, 1, 1825.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    634 Scopus citations

  • Exponential bounds on graph enumerations from vertex incremental characterizations

    Lumbroso, J. & Shi, J., 2018, 2018 Proceedings of the 15th Workshop on Analytic Algorithmics and Combinatorics, ANALCO 2018. Nebel, M. & Wagner, S. (eds.). Society for Industrial and Applied Mathematics Publications, p. 118-132 15 p. (2018 Proceedings of the 15th Workshop on Analytic Algorithmics and Combinatorics, ANALCO 2018; vol. 2018-January).

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

    Open Access
    1 Scopus citations

  • Extractor-Based time-Space lower bounds for learning

    Garg, S., Raz, R. & Tal, A., Jun 20 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Henzinger, M., Kempe, D. & Diakonikolas, I. (eds.). Association for Computing Machinery, p. 297-310 14 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    Open Access
    34 Scopus citations

  • Fast learning requires good memory: A time-space lower bound for parity learning

    Raz, R., Dec 2018, In: Journal of the ACM. 66, 1, 3.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    35 Scopus citations

  • Fast Moment Estimation for Generalized Latent Dirichlet Models

    Zhao, S., Engelhardt Martin, B., Mukherjee, S. & Dunson, D. B., Oct 2 2018, In: Journal of the American Statistical Association. 113, 524, p. 1528-1540 13 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    4 Scopus citations

  • Fftnet: A real-time speaker-dependent neural vocoder

    Jin, Z., Finkelstein, A., Mysore, G. J. & Lu, J., Sep 10 2018, 2018 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 2251-2255 5 p. 8462431. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2018-April).

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

    85 Scopus citations

  • Formal security verification of concurrent firmware in SoCs using instruction-level abstraction for hardware

    Huang, B. Y., Ray, S., Gupta, A., Fung, J. M. & Malik, S., Jun 24 2018, Proceedings of the 55th Annual Design Automation Conference, DAC 2018. Institute of Electrical and Electronics Engineers Inc., a91. (Proceedings - Design Automation Conference; vol. Part F137710).

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

    21 Scopus citations

  • Full-Stack Memory Model Verification with TriCheck

    Trippel, C., Manerkar, Y. A., Lustig, D., Pellauer, M. & Martonosi, M., May 1 2018, In: IEEE Micro. 38, 3, p. 58-68 11 p.

    Research output: Contribution to journal › Article › peer-review

    2 Scopus citations

  • GIANT 2.0: Genome-scale integrated analysis of gene networks in tissues

    Wong, A. K., Krishnan, A. & Troyanskaya, O. G., Jul 2 2018, In: Nucleic acids research. 46, W1, p. W65-W70

    Research output: Contribution to journal › Article › peer-review

    Open Access
    54 Scopus citations

  • Glucocorticoid receptor recruits to enhancers and drives activation by motif-directed binding

    McDowell, I. C., Barrera, A., D’Ippolito, A. M., Vockley, C. M., Hong, L. K., Leichter, S. M., Bartelt, L. C., Majoros, W. H., Song, L., Safi, A., Koçak, D. D., Gersbach, C. A., Hartemink, A. J., Crawford, G. E., Engelhardt, B. E. & Reddy, T. E., Sep 2018, In: Genome Research. 28, 9, p. 1272-1284 13 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    77 Scopus citations

  • Government hacking

    Mayer, J., 2018, In: Yale Law Journal. 127, 3, p. 570-662 93 p.

    Research output: Contribution to journal › Article › peer-review

    9 Scopus citations

  • GPCR-specific autoantibody signatures are associated with physiological and pathological immune homeostasis

    Cabral-Marques, O., Marques, A., Giil, L. M., De Vito, R., Rademacher, J., Günther, J., Lange, T., Humrich, J. Y., Klapa, S., Schinke, S., Schimke, L. F., Marschner, G., Pitann, S., Adler, S., Dechend, R., Müller, D. N., Braicu, I., Sehouli, J., Schulze-Forster, K. & Trippel, T. & 16 others, Scheibenbogen, C., Staff, A., Mertens, P. R., Löbel, M., Mastroianni, J., Plattfaut, C., Gieseler, F., Dragun, D., Engelhardt Martin, B., Fernandez-Cabezudo, M. J., Ochs, H. D., al-Ramadi, B. K., Lamprecht, P., Mueller, A., Heidecke, H. & Riemekasten, G., Dec 1 2018, In: Nature communications. 9, 1, 5224.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    121 Scopus citations

  • Grounding language for transfer in deep reinforcement learning

    Narasimhan, K., Barzilay, R. & Jaakkola, T., Dec 2018, In: Journal of Artificial Intelligence Research. 63, p. 849-874 26 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    48 Scopus citations

  • Haplotype phasing in single-cell DNA-sequencing data

    Satas, G. & Raphael, B. J., Jul 1 2018, In: Bioinformatics. 34, 13, p. i211-i217

    Research output: Contribution to journal › Article › peer-review

    Open Access
    12 Scopus citations

  • Hardware multithreaded transactions

    Fix, J., Zhang, H., Nagendra, N. P., Qiu, S., Apostolakis, S. & August, D. I., Mar 19 2018, Proceedings of the 23rd International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2018. 2 ed. Association for Computing Machinery, Vol. 53. p. 15-29 15 p.

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

    4 Scopus citations

  • Hierarchical HotNet: Identifying hierarchies of altered subnetworks

    Reyna, M. A., Leiserson, M. D. M. & Raphael, B. J., Sep 1 2018, In: Bioinformatics. 34, 17, p. i972-i980

    Research output: Contribution to journal › Article › peer-review

    Open Access
    88 Scopus citations

  • Hitting sets with near-Optimal error for read-Once branching programs

    Braverman, M., Cohen, G. & Garg, S., Jun 20 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Henzinger, M., Kempe, D. & Diakonikolas, I. (eds.). Association for Computing Machinery, p. 940-951 12 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    5 Scopus citations

  • How do gender, learning goals, and forum participation predict persistence in a computer science MOOC?

    Crues, R. W., Henricks, G. M., Perry, M., Bhat, S., Anderson, C. J., Shaik, N. & Angrave, L., Sep 2018, In: ACM Transactions on Computing Education. 18, 4, 18.

    Research output: Contribution to journal › Article › peer-review

    38 Scopus citations

  • Hyperparameter optimization: A spectral approach

    Hazan, E., Klivans, A. & Yuan, Y., 2018.

    Research output: Contribution to conference › Paper › peer-review

    41 Scopus citations

  • Hyperparameter optimization: A spectral approach

    Hazan, E., Klivans, A. & Yuan, Y., Jan 1 2018.

    Research output: Contribution to conference › Paper › peer-review

  • Identifying simultaneous rearrangements in cancer genomes

    Oesper, L., Dantas, S. & Raphael, B. J., Jan 15 2018, In: Bioinformatics. 34, 2, p. 346-352 7 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    5 Scopus citations

  • Identifying structural variants using linked-read sequencing data

    Elyanow, R., Wu, H. T. & Raphael, B. J., Jan 15 2018, In: Bioinformatics. 34, 2, p. 353-360 8 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    52 Scopus citations

  • Identifying student difficulties with basic data structures

    Zingaro, D., Taylor, C., Porter, L., Clancy, M., Lee, C., Liao, S. N. & Webb, K. C., Aug 8 2018, ICER 2018 - Proceedings of the 2018 ACM Conference on International Computing Education Research. Association for Computing Machinery, Inc, p. 169-177 9 p. (ICER 2018 - Proceedings of the 2018 ACM Conference on International Computing Education Research).

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

    Open Access
    32 Scopus citations

  • ILA-MCM: Integrating Memory Consistency Models with Instruction-Level Abstractions for Heterogeneous System-on-Chip Verification

    Zhang, H., Trippel, C., Manerkar, Y. A., Gupta, A., Martonosi, M. R. & Malik, S., Jul 2 2018, Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018. Bjorner, N. & Gurfinkel, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 12-21 10 p. 8603015. (Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design, FMCAD 2018).

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

    10 Scopus citations

  • Im2Pano3D: Extrapolating 360° Structure and Semantics beyond the Field of View

    Song, S., Zeng, A., Chang, A. X., Savva, M., Savarese, S. & Funkhouser, T., Dec 14 2018, Proceedings - 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2018. IEEE Computer Society, p. 3847-3856 10 p. 8578503. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition).

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

    55 Scopus citations

  • Impossibility of Order-Revealing Encryption in Idealized Models

    Zhandry, M. & Zhang, C., 2018, Theory of Cryptography - 16th International Conference, TCC 2018, Proceedings. Beimel, A. & Dziembowski, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 129-158 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11240 LNCS).

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

    1 Scopus citations

  • Inferring networks from random walk-based node similarities

    Hoskins, J. G., Musco, C., Musco, C. & Tsourakakis, C. E., 2018, In: Advances in Neural Information Processing Systems. 2018-December, p. 3704-3715 12 p.

    Research output: Contribution to journal › Conference article › peer-review

    9 Scopus citations

  • Inferring parsimonious migration histories for metastatic cancers

    El-Kebir, M., Satas, G. & Raphael, B. J., May 1 2018, In: Nature Genetics. 50, 5, p. 718-726 9 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    82 Scopus citations

  • Information value of two-prover games

    Braverman, M. & Ko, Y. K., Jan 1 2018, 9th Innovations in Theoretical Computer Science, ITCS 2018. Karlin, A. R. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 12. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 94).

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

    1 Scopus citations

  • Interactive 3D Modeling with a Generative Adversarial Network

    Liu, J., Yu, F. & Funkhouser, T., May 25 2018, Proceedings - 2017 International Conference on 3D Vision, 3DV 2017. Institute of Electrical and Electronics Engineers Inc., p. 126-134 9 p. (Proceedings - 2017 International Conference on 3D Vision, 3DV 2017).

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

    Open Access
    53 Scopus citations

  • Interactive coding over the noisy broadcast channel

    Efremenko, K., Kol, G. & Saxena, R., Jun 20 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Henzinger, M., Kempe, D. & Diakonikolas, I. (eds.). Association for Computing Machinery, p. 890-901 12 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    9 Scopus citations

  • Interactive compression to external information

    Braverman, M. & Kol, G., Jun 20 2018, STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Henzinger, M., Kempe, D. & Diakonikolas, I. (eds.). Association for Computing Machinery, p. 760-772 13 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

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

    5 Scopus citations

  • Interactive distributed proofs

    Kol, G., Oshman, R. & Saxena, R. R., Jul 23 2018, PODC 2018 - Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing. Association for Computing Machinery, p. 255-264 10 p. (Proceedings of the Annual ACM Symposium on Principles of Distributed Computing).

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

    42 Scopus citations

  • Interpretation of an individual functional genomics experiment guided by massive public data

    Lee, Y. S., Wong, A. K., Tadych, A., Hartmann, B. M., Park, C. Y., DeJesus, V. A., Ramos, I., Zaslavsky, E., Sealfon, S. C. & Troyanskaya, O. G., Dec 1 2018, In: Nature Methods. 15, 12, p. 1049-1052 4 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    2 Scopus citations

  • Introductory programming: A systematic literature review

    Luxton-Reilly, A., Simon, Albluwi, I., Becker, B. A., Giannakos, M., Kumar, A. N., Ott, L., Paterson, J., Scott, M. J., Sheard, J. & Szabo, C., Jul 2 2018, ITiCSE 2018 Companion - Proceedings Companion of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education. Scharlau, B. & Rossling, G. (eds.). Association for Computing Machinery, p. 55-106 52 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE).

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

    Open Access
    361 Scopus citations

  • Lazy self-composition for security verification

    Yang, W., Vizel, Y., Subramanyan, P., Gupta, A. & Malik, S., 2018, Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Weissenbacher, G. & Chockler, H. (eds.). Springer Verlag, p. 136-156 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10982 LNCS).

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

    Open Access
    14 Scopus citations

  • Learning a neural response metric for retinal prosthesis

    Shah, N. P., Madugula, S., Chichilnisky, E. J., Singer, Y. & Shlens, J., Jan 1 2018.

    Research output: Contribution to conference › Paper › peer-review