Research Output

2020

A comparison of peer instruction and collaborative problem solving in a computer architecture course

Herman, G. L. & Azad, S., Feb 26 2020, SIGCSE 2020 - Proceedings of the 51st ACM Technical Symposium on Computer Science Education. Association for Computing Machinery, p. 461-467 7 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

A Constructor-Based Reachability Logic for Rewrite Theories

Skeirik, S., Stefanescu, A. & Meseguer, J., Jan 1 2020, In : Fundamenta Informaticae. 173, 4, p. 315-382 68 p.

Research output: Contribution to journalArticle

A CyberGIS Approach to Spatiotemporally Explicit Uncertainty and Global Sensitivity Analysis for Agent-Based Modeling of Vector-Borne Disease Transmission

Kang, J. Y., Aldstadt, J., Vandewalle, R., Yin, D. & Wang, S., Jan 1 2020, (Accepted/In press) In : Annals of the American Association of Geographers.

Research output: Contribution to journalArticle

A deep learning approach to conflating heterogeneous geospatial data for corn yield estimation: A case study of the US Corn Belt at the county level

Jiang, H., Hu, H., Zhong, R., Xu, J., Xu, J., Huang, J., Wang, S., Ying, Y. & Lin, T., Mar 1 2020, In : Global change biology. 26, 3, p. 1754-1766 13 p.

Research output: Contribution to journalArticle

A framework for supporting the development of verifiably safe medical best practice guideline systems

Guo, C., Fu, Z., Zhang, Z., Ren, S. & Sha, L., Mar 2020, In : Journal of Systems Architecture. 104, 101693.

Research output: Contribution to journalArticle

Agricultural robotics research applicable to poultry production: A review

Ren, G., Lin, T., Ying, Y., Chowdhary, G. & Ting, K. C., Feb 2020, In : Computers and Electronics in Agriculture. 169, 105216.

Research output: Contribution to journalReview article

A guide to LIGO-Virgo detector noise and extraction of transient gravitational-wave signals

Ligo Scientific Collaboration, T., Abbott, B. P., Abbott, R., Abbott, T. D., Abraham, S., Acernese, F., Ackley, K., Adams, C., Adya, V. B., Affeldt, C., Agathos, M., Agatsuma, K., Aggarwal, N., Aguiar, O. D., Aiello, L., Ain, A., Ajith, P., Alford, T., Allen, G., Allocca, A. & 1,117 others, Aloy, M. A., Altin, P. A., Amato, A., Ananyeva, A., Anderson, S. B., Anderson, W. G., Angelova, S. V., Antier, S., Appert, S., Arai, K., Araya, M. C., Areeda, J. S., Ar ne, M., Arnaud, N., Arun, K. G., Ascenzi, S., Ashton, G., Aston, S. M., Astone, P., Aubin, F., Aufmuth, P., Aultoneal, K., Austin, C., Avendano, V., Avila-Alvarez, A., Babak, S., Bacon, P., Badaracco, F., Bader, M. K. M., Bae, S., Baker, P. T., Baldaccini, F., Ballardin, G., Ballmer, S. W., Banagiri, S., Barayoga, J. C., Barclay, S. E., Barish, B. C., Barker, D., Barkett, K., Barnum, S., Barone, F., Barr, B., Barsotti, L., Barsuglia, M., Barta, D., Bartlett, J., Bartos, I., Bassiri, R., Basti, A., Bawaj, M., Bayley, J. C., Bazzan, M., Bécsy, B., Bejger, M., Belahcene, I., Bell, A. S., Beniwal, D., Berger, B. K., Bergmann, G., Bernuzzi, S., Bero, J. J., Berry, C. P. L., Bersanetti, D., Bertolini, A., Betzwieser, J., Bhandare, R., Bidler, J., Bilenko, I. A., Bilgili, S. A., Billingsley, G., Birch, J., Birney, R., Birnholtz, O., Biscans, S., Biscoveanu, S., Bisht, A., Bitossi, M., Bizouard, M. A., Blackburn, J. K., Blair, C. D., Blair, D. G., Blair, R. M., Bloemen, S., Bode, N., Boer, M., Boetzel, Y., Bogaert, G., Bondu, F., Bonilla, E., Bonnand, R., Booker, P., Boom, B. A., Booth, C. D., Bork, R., Boschi, V., Bose, S., Bossie, K., Bossilkov, V., Bosveld, J., Bouffanais, Y., Bozzi, A., Bradaschia, C., Brady, P. R., Bramley, A., Branchesi, M., Brau, J. E., Briant, T., Briggs, J. H., Brighenti, F., Brillet, A., Brinkmann, M., Brisson, V., Brockill, P., Brooks, A. F., Brown, D. D., Brunett, S., Buikema, A., Bulik, T., Bulten, H. J., Buonanno, A., Buskulic, D., Buy, C., Byer, R. L., Cabero, M., Cadonati, L., Cagnoli, G., Cahillane, C., Calderón Bustillo, J., Callister, T. A., Calloni, E., Camp, J. B., Campbell, W. A., Canepa, M., Cannon, K. C., Cao, H., Cao, J., Capocasa, E., Carbognani, F., Caride, S., Carney, M. F., Carullo, G., Casanueva Diaz, J., Casentini, C., Caudill, S., Cavagli, M., Cavalier, F., Cavalieri, R., Cella, G., Cerdá-Durán, P., Cerretani, G., Cesarini, E., Chaibi, O., Chakravarti, K., Chamberlin, S. J., Chan, M., Chao, S., Charlton, P., Chase, E. A., Chassande-Mottin, E., Chatterjee, D., Chaturvedi, M., Chatziioannou, K., Cheeseboro, B. D., Chen, H. Y., Chen, X., Chen, Y., Cheng, H. P., Cheong, C. K., Chia, H. Y., Chincarini, A., Chiummo, A., Cho, G., Cho, H. S., Cho, M., Christensen, N., Chu, Q., Chua, S., Chung, K. W., Chung, S., Ciani, G., Ciobanu, A. A., Ciolfi, R., Cipriano, F., Cirone, A., Clara, F., Clark, J. A., Clearwater, P., Cleva, F., Cocchieri, C., Coccia, E., Cohadon, P. F., Cohen, D., Colgan, R., Colleoni, M., Collette, C. G., Collins, C., Cominsky, L. R., Constancio, M., Conti, L., Cooper, S. J., Corban, P., Corbitt, T. R., Cordero-Carrión, I., Corley, K. R., Cornish, N., Corsi, A., Cortese, S., Costa, C. A., Cotesta, R., Coughlin, M. W., Coughlin, S. B., Coulon, J. P., Countryman, S. T., Couvares, P., Covas, P. B., Cowan, E. E., Coward, D. M., Cowart, M. J., Coyne, D. C., Coyne, R., Creighton, J. D. E., Creighton, T. D., Cripe, J., Croquette, M., Crowder, S. G., Cullen, T. J., Cumming, A., Cunningham, L., Cuoco, E., Dal Canton, T., Dálya, G., Danilishin, S. L., D'Antonio, S., Danzmann, K., Dasgupta, A., Da Silva Costa, C. F., Datrier, L. E. H., Dattilo, V., Dave, I., Davier, M., Davis, D., Daw, E. J., Debra, D., Deenadayalan, M., Degallaix, J., De Laurentis, M., Deléglise, S., Del Pozzo, W., Demarchi, L. M., Demos, N., Dent, T., De Pietri, R., Derby, J., De Rosa, R., De Rossi, C., Desalvo, R., De Varona, O., Dhurandhar, S., Díaz, M. C., Dietrich, T., Di Fiore, L., Di Giovanni, M., Di Girolamo, T., Di Lieto, A., Ding, B., Di Pace, S., Di Palma, I., Di Renzo, F., Dmitriev, A., Doctor, Z., Donovan, F., Dooley, K. L., Doravari, S., Dorrington, I., Downes, T. P., Drago, M., Driggers, J. C., Du, Z., Ducoin, J. G., Dupej, P., Dwyer, S. E., Easter, P. J., Edo, T. B., Edwards, M. C., Effler, A., Ehrens, P., Eichholz, J., Eikenberry, S. S., Eisenmann, M., Eisenstein, R. A., Essick, R. C., Estelles, H., Estevez, D., Etienne, Z. B., Etzel, T., Evans, M., Evans, T. M., Fafone, V., Fair, H., Fairhurst, S., Fan, X., Farinon, S., Farr, B., Farr, W. M., Fauchon-Jones, E. J., Favata, M., Fays, M., Fazio, M., Fee, C., Feicht, J., Fejer, M. M., Feng, F., Fernandez-Galiana, A., Ferrante, I., Ferreira, E. C., Ferreira, T. A., Ferrini, F., Fidecaro, F., Fiori, I., Fiorucci, D., Fishbach, M., Fisher, R. P., Fishner, J. M., Fitz-Axen, M., Flaminio, R., Fletcher, M., Flynn, E., Fong, H., Font, J. A., Forsyth, P. W. F., Fournier, J. D., Frasca, S., Frasconi, F., Frei, Z., Freise, A., Frey, R., Frey, V., Fritschel, P., Frolov, V. V., Fulda, P., Fyffe, M., Gabbard, H. A., Gadre, B. U., Gaebel, S. M., Gair, J. R., Gammaitoni, L., Ganija, M. R., Gaonkar, S. G., Garcia, A., García-Quirós, C., Garufi, F., Gateley, B., Gaudio, S., Gaur, G., Gayathri, V., Gemme, G., Genin, E., Gennai, A., George, D., George, J., Gergely, L., Germain, V., Ghonge, S., Ghosh, A., Ghosh, A., Ghosh, S., Giacomazzo, B., Giaime, J. A., Giardina, K. D., Giazotto, A., Gill, K., Giordano, G., Glover, L., Godwin, P., Goetz, E., Goetz, R., Goncharov, B., González, G., Gonzalez Castro, J. M., Gopakumar, A., Gorodetsky, M. L., Gossan, S. E., Gosselin, M., Gouaty, R., Grado, A., Graef, C., Granata, M., Grant, A., Gras, S., Grassia, P., Gray, C., Gray, R., Greco, G., Green, A. C., Green, R., Gretarsson, E. M., Groot, P., Grote, H., Grunewald, S., Gruning, P., Guidi, G. M., Gulati, H. K., Guo, Y., Gupta, A., Gupta, M. K., Gustafson, E. K., Gustafson, R., Haegel, L., Halim, O., Hall, B. R., Hall, E. D., Hamilton, E. Z., Hammond, G., Haney, M., Hanke, M. M., Hanks, J., Hanna, C., Hannam, M. D., Hannuksela, O. A., Hanson, J., Hardwick, T., Haris, K., Harms, J., Harry, G. M., Harry, I. W., Haster, C. J., Haughian, K., Hayes, F. J., Healy, J., Heidmann, A., Heintze, M. C., Heitmann, H., Hello, P., Hemming, G., Hendry, M., Heng, I. S., Hennig, J., Heptonstall, A. W., Vivanco, F. H., Heurs, M., Hild, S., Hinderer, T., Hoak, D., Hochheim, S., Hofman, D., Holgado, A. M., Holland, N. A., Holt, K., Holz, D. E., Hopkins, P., Horst, C., Hough, J., Howell, E. J., Hoy, C. G., Hreibi, A., Huerta, E. A., Huet, D., Hughey, B., Hulko, M., Husa, S., Huttner, S. H., Huynh-Dinh, T., Idzkowski, B., Iess, A., Ingram, C., Inta, R., Intini, G., Irwin, B., Isa, H. N., Isac, J. M., Isi, M., Iyer, B. R., Izumi, K., Jacqmin, T., Jadhav, S. J., Jani, K., Janthalur, N. N., Jaranowski, P., Jenkins, A. C., Jiang, J., Johnson, D. S., Jones, A. W., Jones, D. I., Jones, R., Jonker, R. J. G., Ju, L., Junker, J., Kalaghatgi, C. V., Kalogera, V., Kamai, B., Kandhasamy, S., Kang, G., Kanner, J. B., Kapadia, S. J., Karki, S., Karvinen, K. S., Kashyap, R., Kasprzack, M., Katsanevas, S., Katsavounidis, E., Katzman, W., Kaufer, S., Kawabe, K., Keerthana, N. V., Kéfélian, F., Keitel, D., Kennedy, R., Key, J. S., Khalili, F. Y., Khan, H., Khan, I., Khan, S., Khan, Z., Khazanov, E. A., Khursheed, M., Kijbunchoo, N., Kim, A. X., Kim, C., Kim, J. C., Kim, K., Kim, W., Kim, W. S., Kim, Y. M., Kimball, C., King, E. J., King, P. J., Kinley-Hanlon, M., Kirchhoff, R., Kissel, J. S., Kleybolte, L., Klika, J. H., Klimenko, S., Knowles, T. D., Koch, P., Koehlenbeck, S. M., Koekoek, G., Koley, S., Kondrashov, V., Kontos, A., Koper, N., Korobko, M., Korth, W. Z., Kowalska, I., Kozak, D. B., Kringel, V., Krishnendu, N., Królak, A., Kuehn, G., Kumar, A., Kumar, P., Kumar, R., Kumar, S., Kuo, L., Kutynia, A., Kwang, S., Lackey, B. D., Lai, K. H., Lam, T. L., Landry, M., Lane, B. B., Lang, R. N., Lange, J., Lantz, B., Lanza, R. K., Larson, S., Lartaux-Vollard, A., Lasky, P. D., Laxen, M., Lazzarini, A., Lazzaro, C., Leaci, P., Leavey, S., Lecoeuche, Y. K., Lee, C. H., Lee, H. K., Lee, H. M., Lee, H. W., Lee, J., Lee, K., Lehmann, J., Lenon, A., Leroy, N., Letendre, N., Levin, Y., Li, J., Li, K. J. L., Li, T. G. F., Li, X., Lin, F., Linde, F., Linker, S. D., Littenberg, T. B., Liu, J., Liu, X., Lo, R. K. L., Lockerbie, N. A., London, L. T., Longo, A., Lorenzini, M., Loriette, V., Lormand, M., Losurdo, G., Lough, J. D., Lousto, C. O., Lovelace, G., Lower, M. E., Lück, H., Lumaca, D., Lundgren, A. P., Lynch, R., Ma, Y., Macas, R., Macfoy, S., Macinnis, M., Macleod, D. M., Macquet, A., Magaña-Sandoval, F., Magaña Zertuche, L., Magee, R. M., Majorana, E., Maksimovic, I., Malik, A., Man, N., Mandic, V., Mangano, V., Mansell, G. L., Manske, M., Mantovani, M., Marchesoni, F., Marion, F., Márka, S., Márka, Z., Markakis, C., Markosyan, A. S., Markowitz, A., Maros, E., Marquina, A., Marsat, S., Martelli, F., Martin, I. W., Martin, R. M., Martynov, D. V., Mason, K., Massera, E., Masserot, A., Massinger, T. J., Masso-Reid, M., Mastrogiovanni, S., Matas, A., Matichard, F., Matone, L., Mavalvala, N., Mazumder, N., McCann, J. J., McCarthy, R., McClelland, D. E., McCormick, S., McCuller, L., McGuire, S. C., McIver, J., McManus, D. J., McRae, T., McWilliams, S. T., Meacher, D., Meadors, G. D., Mehmet, M., Mehta, A. K., Meidam, J., Melatos, A., Mendell, G., Mercer, R. A., Mereni, L., Merilh, E. L., Merzougui, M., Meshkov, S., Messenger, C., Messick, C., Metzdorff, R., Meyers, P. M., Miao, H., Michel, C., Middleton, H., Mikhailov, E. E., Milano, L., Miller, A. L., Miller, A., Millhouse, M., Mills, J. C., Milovich-Goff, M. C., Minazzoli, O., Minenkov, Y., Mishkin, A., Mishra, C., Mistry, T., Mitra, S., Mitrofanov, V. P., Mitselmakher, G., Mittleman, R., Mo, G., Moffa, D., Mogushi, K., Mohapatra, S. R. P., Montani, M., Moore, C. J., Moraru, D., Moreno, G., Morisaki, S., Mours, B., Mow-Lowry, C. M., Mukherjee, A., Mukherjee, D., Mukherjee, S., Mukund, N., Mullavey, A., Munch, J., Muñiz, E. A., Muratore, M., Murray, P. G., Nagar, A., Nardecchia, I., Naticchioni, L., Nayak, R. K., Neilson, J., Nelemans, G., Nelson, T. J. N., Nery, M., Neunzert, A., Ng, K. Y., Ng, S., Nguyen, P., Nichols, D., Nissanke, S., Nocera, F., North, C., Nuttall, L. K., Obergaulinger, M., Oberling, J., O'Brien, B. D., O'Dea, G. D., Ogin, G. H., Oh, J. J., Oh, S. H., Ohme, F., Ohta, H., Okada, M. A., Oliver, M., Oppermann, P., Oram, R. J., O'Reilly, B., Ormiston, R. G., Ortega, L. F., O'Shaughnessy, R., Ossokine, S., Ottaway, D. J., Overmier, H., Owen, B. J., Pace, A. E., Pagano, G., Page, M. A., Pai, A., Pai, S. A., Palamos, J. R., Palashov, O., Palomba, C., Pal-Singh, A., Pan, H. W., Pang, B., Pang, P. T. H., Pankow, C., Pannarale, F., Pant, B. C., Paoletti, F., Paoli, A., Parida, A., Parker, W., Pascucci, D., Pasqualetti, A., Passaquieti, R., Passuello, D., Patil, M., Patricelli, B., Pearlstone, B. L., Pedersen, C., Pedraza, M., Pedurand, R., Pele, A., Penn, S., Perez, C. J., Perreca, A., Pfeiffer, H. P., Phelps, M., Phukon, K. S., Piccinni, O. J., Pichot, M., Piergiovanni, F., Pillant, G., Pinard, L., Pirello, M., Pitkin, M., Poggiani, R., Pong, D. Y. T., Ponrathnam, S., Popolizio, P., Porter, E. K., Powell, J., Prajapati, A. K., Prasad, J., Prasai, K., Prasanna, R., Pratten, G., Prestegard, T., Privitera, S., Prodi, G. A., Prokhorov, L. G., Puncken, O., Punturo, M., Puppo, P., Pürrer, M., Qi, H., Quetschke, V., Quinonez, P. J., Quintero, E. A., Quitzow-James, R., Raab, F. J., Radkins, H., Radulescu, N., Raffai, P., Raja, S., Rajan, C., Rajbhandari, B., Rakhmanov, M., Ramirez, K. E., Ramos-Buades, A., Rana, J., Rao, K., Rapagnani, P., Raymond, V., Razzano, M., Read, J., Regimbau, T., Rei, L., Reid, S., Reitze, D. H., Ren, W., Ricci, F., Richardson, C. J., Richardson, J. W., Ricker, P. M., Riles, K., Rizzo, M., Robertson, N. A., Robie, R., Robinet, F., Rocchi, A., Rolland, L., Rollins, J. G., Roma, V. J., Romanelli, M., Romano, R., Romel, C. L., Romie, J. H., Rose, K., Rosińska, D., Rosofsky, S. G., Ross, M. P., Rowan, S., Rüdiger, A., Ruggi, P., Rutins, G., Ryan, K., Sachdev, S., Sadecki, T., Sakellariadou, M., Salconi, L., Saleem, M., Samajdar, A., Sammut, L., Sanchez, E. J., Sanchez, L. E., Sanchis-Gual, N., Sandberg, V., Sanders, J. R., Santiago, K. A., Sarin, N., Sassolas, B., Sathyaprakash, B. S., Saulson, P. R., Sauter, O., Savage, R. L., Schale, P., Scheel, M., Scheuer, J., Schmidt, P., Schnabel, R., Schofield, R. M. S., Schönbeck, A., Schreiber, E., Schulte, B. W., Schutz, B. F., Schwalbe, S. G., Scott, J., Scott, S. M., Seidel, E., Sellers, D., Sengupta, A. S., Sennett, N., Sentenac, D., Sequino, V., Sergeev, A., Setyawati, Y., Shaddock, D. A., Shaffer, T., Shahriar, M. S., Shaner, M. B., Shao, L., Sharma, P., Shawhan, P., Shen, H., Shink, R., Shoemaker, D. H., Shoemaker, D. M., Shyamsundar, S., Siellez, K., Sieniawska, M., Sigg, D., Silva, A. D., Singer, L. P., Singh, N., Singhal, A., Sintes, A. M., Sitmukhambetov, S., Skliris, V., Slagmolen, B. J. J., Slaven-Blair, T. J., Smith, J. R., Smith, R. J. E., Somala, S., Son, E. J., Sorazu, B., Sorrentino, F., Souradeep, T., Sowell, E., Spencer, A. P., Srivastava, A. K., Srivastava, V., Staats, K., Stachie, C., Standke, M., Steer, D. A., Steinke, M., Steinlechner, J., Steinlechner, S., Steinmeyer, D., Stevenson, S. P., Stocks, D., Stone, R., Stops, D. J., Strain, K. A., Stratta, G., Strigin, S. E., Strunk, A., Sturani, R., Stuver, A. L., Sudhir, V., Summerscales, T. Z., Sun, L., Sunil, S., Suresh, J., Sutton, P. J., Swinkels, B. L., Szczepańczyk, M. J., Tacca, M., Tait, S. C., Talbot, C., Talukder, D., Tanner, D. B., Tápai, M., Taracchini, A., Tasson, J. D., Taylor, R., Thies, F., Thomas, M., Thomas, P., Thondapu, S. R., Thorne, K. A., Thrane, E., Tiwari, S., Tiwari, S., Tiwari, V., Toland, K., Tonelli, M., Tornasi, Z., Torres-Forné, A., Torrie, C. I., Töyr, D., Travasso, F., Traylor, G., Tringali, M. C., Trovato, A., Trozzo, L., Trudeau, R., Tsang, K. W., Tse, M., Tso, R., Tsukada, L., Tsuna, D., Tuyenbayev, D., Ueno, K., Ugolini, D., Unnikrishnan, C. S., Urban, A. L., Usman, S. A., Vahlbruch, H., Vajente, G., Valdes, G., Van Bakel, N., Van Beuzekom, M., Van Den Brand, J. F. J., Van Den Broeck, C., Vander-Hyde, D. C., Van Heijningen, J. V., Van Der Schaaf, L., Van Veggel, A. A., Vardaro, M., Varma, V., Vass, S., Vasúth, M., Vecchio, A., Vedovato, G., Veitch, J., Veitch, P. J., Venkateswara, K., Venugopalan, G., Verkindt, D., Vetrano, F., Viceré, A., Viets, A. D., Vine, D. J., Vinet, J. Y., Vitale, S., Vo, T., Vocca, H., Vorvick, C., Vyatchanin, S. P., Wade, A. R., Wade, L. E., Wade, M., Walet, R., Walker, M., Wallace, L., Walsh, S., Wang, G., Wang, H., Wang, J. Z., Wang, W. H., Wang, Y. F., Ward, R. L., Warden, Z. A., Warner, J., Was, M., Watchi, J., Weaver, B., Wei, L. W., Weinert, M., Weinstein, A. J., Weiss, R., Wellmann, F., Wen, L., Wessel, E. K., Weßels, P., Westhouse, J. W., Wette, K., Whelan, J. T., Whiting, B. F., Whittle, C., Wilken, D. M., Williams, D., Williamson, A. R., Willis, J. L., Willke, B., Wimmer, M. H., Winkler, W., Wipf, C. C., Wittel, H., Woan, G., Woehler, J., Wofford, J. K., Worden, J., Wright, J. L., Wu, D. S., Wysocki, D. M., Xiao, L., Yamamoto, H., Yancey, C. C., Yang, L., Yap, M. J., Yazback, M., Yeeles, D. W., Yu, H., Yu, H., Yuen, S. H. R., Yvert, M., Zadrożny, A. K., Zanolin, M., Zelenova, T., Zendri, J. P., Zevin, M., Zhang, J., Zhang, L., Zhang, T., Zhao, C., Zhou, M., Zhou, Z., Zhu, X. J., Zucker, M. E. & Zweizig, J., Feb 6 2020, In : Classical and Quantum Gravity. 37, 5, 055002.

Research output: Contribution to journalReview article

Open Access

A Linux in unikernel clothing

Kuo, H. C., Williams, D., Koller, R. & Mohan, S., Apr 15 2020, Proceedings of the 15th European Conference on Computer Systems, EuroSys 2020. Association for Computing Machinery, Inc, (Proceedings of the 15th European Conference on Computer Systems, EuroSys 2020).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Aloe: Verifying reliability of approximate programs in the presence of recovery mechanisms

Joshi, K., Fernando, V. & Misailovic, S., Feb 22 2020, CGO 2020 - Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization. Mars, J., Tang, L., Xue, J. & Wu, P. (eds.). Association for Computing Machinery, Inc, p. 56-67 12 p. (CGO 2020 - Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

An attentive fine-grained entity typing model with latent type representation

Lin, Y. & Ji, H., Jan 1 2020, 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. 6197-6202 6 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 proceedingConference contribution

Anchor box optimization for object detection

Zhong, Y., Wang, J., Peng, J. & Zhang, L., Mar 2020, Proceedings - 2020 IEEE Winter Conference on Applications of Computer Vision, WACV 2020. Institute of Electrical and Electronics Engineers Inc., p. 1275-1283 9 p. 9093498. (Proceedings - 2020 IEEE Winter Conference on Applications of Computer Vision, WACV 2020).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

An incentive compatible, efficient market for air traffic flow management

Mehta, R. & Vazirani, V. V., May 24 2020, In : Theoretical Computer Science. 818, p. 41-50 10 p.

Research output: Contribution to journalArticle

Anomaly detection in traffic surveillance videos with GAN-based future frame prediction

Nguyen, K. T., Dinh, D. T., Do, M. N. & Tran, M. T., Jun 8 2020, ICMR 2020 - Proceedings of the 2020 International Conference on Multimedia Retrieval. Association for Computing Machinery, Inc, p. 457-463 7 p. (ICMR 2020 - Proceedings of the 2020 International Conference on Multimedia Retrieval).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A partial-dithering strategy for edge-illumination X-ray phase-contrast tomography enabled by a joint reconstruction method

Chen, Y., Hagen, C. K., Olivo, A. & Anastasio, M. A., May 21 2020, In : Physics in medicine and biology. 65, 10, 105007.

Research output: Contribution to journalArticle

A partial evaluation framework for order-sorted equational programs modulo axioms

Alpuente, M., Cuenca-Ortega, A., Escobar, S. & Meseguer, J., Jan 2020, In : Journal of Logical and Algebraic Methods in Programming. 110, 100501.

Research output: Contribution to journalArticle

Open Access

Approximating Nash social welfare under submodular valuations through (un)matchings

Garg, J., Kulkarni, P. & Kulkarni, R., Jan 1 2020, 31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020. Chawla, S. (ed.). Association for Computing Machinery, p. 2673-2687 15 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2020-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Approximating text-to-pattern Hamming distances

Chan, T. M., Golan, S., Kociumaka, T., Kopelowitz, T. & Porat, E., Jun 8 2020, STOC 2020 - Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing. Makarychev, K., Makarychev, Y., Tulsiani, M., Kamath, G. & Chuzhoy, J. (eds.). Association for Computing Machinery, p. 643-656 14 p. (Proceedings of the Annual ACM Symposium on Theory of Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Approximation algorithms for scheduling C-benevolent jobs on weighted machines

Yu, G. & Jacobson, S. H., Apr 2 2020, In : IISE Transactions. 52, 4, p. 432-443 12 p.

Research output: Contribution to journalArticle

A preclinical small animal imaging platform combining multi-angle photoacoustic and fluorescence projections into co-registered 3D maps

Thompson, W., Yu, A., Dumani, D. S., Cook, J., Anastasio, M. A., Emelianov, S. Y. & Ermilov, S. A., 2020, Photons Plus Ultrasound: Imaging and Sensing 2020. Oraevsky, A. A. & Wang, L. V. (eds.). SPIE, 112400L. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE; vol. 11240).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Asymptotic analysis for multi-objective sequential stochastic assignment problems

Yu, G., Jacobson, S. H. & Kiyavash, N., Feb 17 2020, In : Stochastics. 92, 2, p. 223-264 42 p.

Research output: Contribution to journalArticle

Atomicity checking in linear time using vector clocks

Mathur, U. & Viswanathan, M., Mar 9 2020, ASPLOS 2020 - 25th International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 183-199 17 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

A toroidal maxwell-cremona-delaunay correspondence

Erickson, J. & Lin, P., Jun 1 2020, 36th International Symposium on Computational Geometry, SoCG 2020. Cabello, S. & Chen, D. Z. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, LIPIcs-SoCG-2020-40. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 164).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

AutoDNNchip: An automated DNN chip predictor and builder for both FPGAs and ASICs

Xu, P., Zhang, X., Hao, C., Zhao, Y., Zhang, Y., Wang, Y., Li, C., Guan, Z., Chen, D. & Lin, Y., Feb 23 2020, FPGA 2020 - 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays. Association for Computing Machinery, Inc, p. 40-50 11 p. (FPGA 2020 - 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

A validated scoring rubric for explain-in-plain-english questions

Chen, B., Azad, S., Haldar, R., West, M. & Zilles, C., Feb 26 2020, SIGCSE 2020 - Proceedings of the 51st ACM Technical Symposium on Computer Science Education. Association for Computing Machinery, p. 563-569 7 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Axiomatic thinking for information retrieval: introduction to special issue

Amigó, E., Fang, H., Mizzaro, S. & Zhai, C., Jun 1 2020, In : Information Retrieval Journal. 23, 3, p. 187-190 4 p.

Research output: Contribution to journalEditorial

Open Access

Better data structures for colored orthogonal range reporting

Chan, T. M. & Nekrich, Y., Jan 1 2020, 31st Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2020. Chawla, S. (ed.). Association for Computing Machinery, p. 627-636 10 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms; vol. 2020-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Bloom Filter Based Low-Latency Provenance Embedding Schemes in Wireless Networks

Harshan, J., Vithalkar, A., Jhunjhunwala, N., Kabra, M., Manav, P. & Hu, Y. C., May 2020, 2020 IEEE Wireless Communications and Networking Conference, WCNC 2020 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 9120640. (IEEE Wireless Communications and Networking Conference, WCNC; vol. 2020-May).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Challenges and Opportunities in the Detection of Safety-Critical Cyberphysical Attacks

Lin, H., Alemzadeh, H., Kalbarczyk, Z. & Iyer, R., Mar 2020, Computer, 53, 3, p. 26-37 12 p.

Research output: Contribution to specialist publicationArticle

Challenges in quantifying an adversary’s cyber access to critical infrastructures

Nicol, D. M., Jan 1 2020, Critical Information Infrastructures Security - 14th International Conference, CRITIS 2019, Revised Selected Papers. Nadjm-Tehrani, S. (ed.). Springer, p. 18-28 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11777 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Characterization of SARS-CoV-2 viral diversity within and across hosts

Sashittal, P., Luo, Y., Peng, J. & El-Kebir, M., May 13 2020, (In preparation) Cold Spring Harbor Laboratory Press, 36 p. (bioRxiv).

Research output: Working paper

Cognitive Mapping and Planning for Visual Navigation

Gupta, S., Tolani, V., Davidson, J., Levine, S., Sukthankar, R. & Malik, J., May 1 2020, In : International Journal of Computer Vision. 128, 5, p. 1311-1330 20 p.

Research output: Contribution to journalArticle

Collective development of large scale data science products via modularized assignments: An experience report

Bhavya, Boughoula, A., Green, A. & Zhai, C. X., Feb 26 2020, SIGCSE 2020 - Proceedings of the 51st ACM Technical Symposium on Computer Science Education. Association for Computing Machinery, p. 1200-1206 7 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Collective Multi-type Entity Alignment between Knowledge Graphs

Zhu, Q., Wei, H., Sisman, B., Zheng, D., Faloutsos, C., Dong, X. L. & Han, J., Apr 20 2020, The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020. Association for Computing Machinery, Inc, p. 2241-2252 12 p. (The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

CoMID: Context-Based Multiinvariant Detection for Monitoring Cyber-Physical Software

Qin, Y., Xie, T., Xu, C., Astorga, A. & Lu, J., Mar 1 2020, In : IEEE Transactions on Reliability. 69, 1, p. 106-123 18 p., 8809357.

Research output: Contribution to journalArticle

Comparison of data-acquisition designs for single-shot edge-illumination X-ray phase-contrast tomography

Chen, Y., Zhou, W., Hagen, C. K., Olivo, A. & Anastasio, M. A., Jan 1 2020, In : Optics Express. 28, 1, p. 1-19 19 p.

Research output: Contribution to journalArticle

Complex heterogeneity learning: A theoretical and empirical study

Yang, P., Tan, Q. & He, J., Nov 2020, In : Pattern Recognition. 107, 107519.

Research output: Contribution to journalArticle

Conference Virtualization

Hierons, R. M. & Xie, T., Jun 1 2020, In : Software Testing Verification and Reliability. 30, 4-5, e1749.

Research output: Contribution to journalEditorial

Open Access

Control Systems for Computing Systems: Making computers efficient with modular, coordinated, and robust control

Pothukuchi, R. P., Pothukuchi, S. Y., Voulgaris, P. G. & Torrellas, J., Apr 2020, In : IEEE Control Systems. 40, 2, p. 30-55 26 p., 9036110.

Research output: Contribution to journalArticle

Creating Foundations for Secure Microarchitectures with Data-Oblivious ISA Extensions

Yu, J., Hsiung, L., Hajj, M. E. & Fletcher, C. W., May 1 2020, In : IEEE Micro. 40, 3, p. 99-107 9 p., 9057402.

Research output: Contribution to journalArticle

Cross-lingual structure transfer for relation and event extraction

Subburathinam, A., Lu, D., Ji, H., May, J., Chang, S. F., Sil, A. & Voss, C., 2020, 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. 313-325 13 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 proceedingConference contribution

CrossWeigh: Training named entity tagger from imperfect annotations

Wang, Z., Shang, J., Liu, L., Lu, L., Liu, J. & Han, J., Jan 1 2020, 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. 5154-5163 10 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 proceedingConference contribution

CrowdQM: Learning Aspect-Level User Reliability and Comment Trustworthiness in Discussion Forums

Morales, A., Narang, K., Sundaram, H. & Zhai, C., 2020, Advances in Knowledge Discovery and Data Mining - 24th Pacific-Asia Conference, PAKDD 2020, Proceedings. Lauw, H. W., Lim, E-P., Wong, R. C-W., Ntoulas, A., Ng, S-K. & Pan, S. J. (eds.). Springer, p. 592-605 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12084 LNAI).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Crowd Teaching with Imperfect Labels

Zhou, Y., Nelakurthi, A. R., MacIejewski, R., Fan, W. & He, J., Apr 20 2020, The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020. Association for Computing Machinery, Inc, p. 110-121 12 p. (The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Deciding Differential Privacy for Programs with Finite Inputs and Outputs

Barthe, G., Chadha, R., Jagannath, V., Sistla, A. P. & Viswanathan, M., Jul 8 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020. Association for Computing Machinery, p. 141-154 14 p. 3394796. (ACM International Conference Proceeding Series).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Decomposing Arrangements of Hyperplanes: VC-Dimension, Combinatorial Dimension, and Point Location

Ezra, E., Har-Peled, S., Kaplan, H. & Sharir, M., Jul 1 2020, In : Discrete and Computational Geometry. 64, 1, p. 109-173 65 p.

Research output: Contribution to journalArticle

Deep multiplex graph infomax: Attentive multiplex network embedding using global information

Park, C., Han, J. & Yu, H., Jun 7 2020, In : Knowledge-Based Systems. 197, 105861.

Research output: Contribution to journalArticle

Depth-bounding is effective: Improvements and evaluation of unsupervised PCFG induction

Jin, L., Doshi-Velez, F., Miller, T., Schuler, W. & Schwartz, L., Jan 1 2020, Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, EMNLP 2018. Riloff, E., Chiang, D., Hockenmaier, J. & Tsujii, J. (eds.). Association for Computational Linguistics, p. 2721-2731 11 p. (Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, EMNLP 2018).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Deriving high-spatiotemporal-resolution leaf area index for agroecosystems in the U.S. Corn Belt using Planet Labs CubeSat and STAIR fusion data

Kimm, H., Guan, K., Jiang, C., Peng, B., Gentry, L. F., Wilkin, S., Wang, S., Cai, Y., Bernacchi, C. J., Peng, J. & Luo, Y., Mar 15 2020, In : Remote Sensing of Environment. 239, 111615.

Research output: Contribution to journalArticle

Direct numerical simulation of rotating ellipsoidal particles using moving nonconforming Schwarz-spectral element method

Mittal, K., Dutta, S. & Fischer, P., Jun 15 2020, In : Computers and Fluids. 205, 104556.

Research output: Contribution to journalArticle