Research Output

Filter
Conference contribution
2019

Site-specific treatment responses in on-farm precision experimentation

Trevisan, R. G., Bullock, D. S. & Martin, N. F., Jan 1 2019, Precision Agriculture 2019 - Papers Presented at the 12th European Conference on Precision Agriculture, ECPA 2019. Stafford, J. V. (ed.). Wageningen Academic Publishers, p. 925-931 7 p. (Precision Agriculture 2019 - Papers Presented at the 12th European Conference on Precision Agriculture, ECPA 2019).

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

SMURF: Efficient and Scalable Metadata Access for Distributed Applications from Edge to the Cloud

Zhang, B. & Kosar, T., Jul 2019, Proceedings - 2019 IEEE International Conference on Edge Computing, EDGE 2019 - Part of the 2019 IEEE World Congress on Services. Bertino, E., Chang, C. K., Chen, P., Damiani, E., Goul, M. & Oyama, K. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 102-106 5 p. 8812196. (Proceedings - 2019 IEEE International Conference on Edge Computing, EDGE 2019 - Part of the 2019 IEEE World Congress on Services).

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

Social media intelligence and learning environment: An open source framework for social media data Collection, Analysis and Curation

Wang, C., Marini, L., Chin, C. L., Vance, N., Donelson, C., Meunier, P. & Yun, J. T., Sep 2019, Proceedings - IEEE 15th International Conference on eScience, eScience 2019. Institute of Electrical and Electronics Engineers Inc., p. 252-261 10 p. 9041717. (Proceedings - IEEE 15th International Conference on eScience, eScience 2019).

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

Stakeholder-Centric Analyses of Simulated Shipping Port Disruptions

Weaver, G. A., Van Moer, M. & Salo, G. R., Dec 2019, 2019 Winter Simulation Conference, WSC 2019. Institute of Electrical and Electronics Engineers Inc., p. 3128-3139 12 p. 9004700. (Proceedings - Winter Simulation Conference; vol. 2019-December).

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

Statistical Algorithmic Profiling for Randomized Approximate Programs

Joshi, K., Fernando, V. & Misailovic, S., May 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering, ICSE 2019. IEEE Computer Society, p. 608-618 11 p. 8811971. (Proceedings - International Conference on Software Engineering; vol. 2019-May).

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

Stochastic primal-dual Q-learning algorithm for discounted mdps

Lee, D. & He, N., Jul 2019, 2019 American Control Conference, ACC 2019. Institute of Electrical and Electronics Engineers Inc., p. 4897-4902 6 p. 8815275. (Proceedings of the American Control Conference; vol. 2019-July).

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

Stochastic variance reduction for deep Q-iearning

Zhao, W. Y. & Peng, J., Jan 1 2019, 18th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), p. 2318-2320 3 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 4).

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

Storm: Program reduction for testing and debugging probabilistic programming systems

Dutta, S., Zhang, W., Huang, Z. & Misailovic, S., Aug 12 2019, ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Apel, S., Dumas, M., Russo, A. & Pfahl, D. (eds.). Association for Computing Machinery, Inc, p. 729-739 11 p. (ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

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

Target-based temporal-difference learning

Lee, D. & He, N., Jan 1 2019, 36th International Conference on Machine Learning, ICML 2019. International Machine Learning Society (IMLS), p. 6619-6628 10 p. (36th International Conference on Machine Learning, ICML 2019; vol. 2019-June).

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

Tensorflow-tracing: A performance tuning framework for production

Hashemi, S. H., Rausch, P., Rabe, B., Chou, K. Y., Liu, S., Kindratenko, V. & Campbell, R. H., Jan 1 2019, Proceedings of the 2019 USENIX Conference on Operational Machine Learning, OpML 2019. USENIX Association, p. 31-33 3 p. (Proceedings of the 2019 USENIX Conference on Operational Machine Learning, OpML 2019).

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

The economic value of on-farm precision experimentation

Bullock, D. S. & Mieno, T., Jan 1 2019, Precision Agriculture 2019 - Papers Presented at the 12th European Conference on Precision Agriculture, ECPA 2019. Stafford, J. V. (ed.). Wageningen Academic Publishers, p. 817-823 7 p. (Precision Agriculture 2019 - Papers Presented at the 12th European Conference on Precision Agriculture, ECPA 2019).

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

The origins space telescope

Leisawitz, D., Amatucci, E., Allen, L., Arenberg, J., Armus, L., Battersby, C., Beaman, B. G., Bauer, J., Bell, R., Beltran, P., Benford, D., Bergin, E., Bolognese, J., Bradford, C. M., Bradley, D., Burgarella, D., Carey, S., Carter, R., Chi, J. D., Cooray, A. & 84 others, Corsetti, J., D'Asto, T., De Beck, E., Denis, K. S., Derkacz, C., Dewell, L., Dipirro, M., Earle, C. P., East, M., Edgington, S., Ennico, K., Fantano, L., Feller, G., Flores, A., Folta, D., Fortney, J., Gavares, B. J., Generie, J., Gerin, M., Granger, Z., Greene, T. P., Griffiths, A., Harpole, G., Harvey, K., Helmich, F., Helou, G., Hilliard, L., Howard, J., Jacoby, M., Jamil, A., Jamison, T., Kaltenegger, L., Kataria, T., Knight, J. S., Knollenberg, P., Lawrence, C., Lightsey, P., Lipscy, S., Lynch, C., Mamajek, E., Martins, G., Mather, J. C., Meixner, M., Melnick, G., Milam, S., Mooney, T., Moseley, S. H., Narayanan, D., Neff, S., Nguyen, T., Nordt, A., Olson, J., Padgett, D., Petach, M., Petro, S., Pohner, J., Pontoppidan, K., Pope, A., Ramspacher, D., Rao, A., Rieke, G., Rieke, M., Roellig, T., Sakon, I., Sandin, C., Sandstrom, K., Scott, D., Seals, L., Sheth, K., Staguhn, J., Steeves, J., Stevenson, K., Stokowski, L., Stoneking, E., Su, K., Tajdaran, K., Tompkins, S., Turner, J., Vieira, J., Webster, C., Wiedner, M., Wright, E. L., Wu, C. & Zmuidzinas, J., Jan 1 2019, UV/Optical/IR Space Telescopes and Instruments: Innovative Technologies and Concepts IX. Barto, A. A., Breckinridge, J. B. & Stahl, H. P. (eds.). SPIE, 111150Q. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 11115).

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

The professionalization of cyberinfrastructure personnel?

Berente, N., Ahalt, S., Bottum, J., Brunson, D., Cutcher-Gershenfeld, J., Howison, J., King, J. L., Neeman, H., Towns, J., Wilkins-Diehr, N. & Winter, S., Jul 28 2019, Proceedings of the Practice and Experience in Advanced Research Computing: Rise of the Machines (Learning), PEARC 2019. Association for Computing Machinery, 3332225. (ACM International Conference Proceeding Series).

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

Towards a Bayesian Approach for Assessing Fault Tolerance of Deep Neural Networks

Banerjee, S. S., Cyriac, J., Jha, S., Kalbarczyk, Z. T. & Iyer, R. K., Jun 2019, Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, DSN-S 2019. Institute of Electrical and Electronics Engineers Inc., p. 25-26 2 p. 8805761. (Proceedings - 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume, DSN-S 2019).

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

Traction: Fast non-parametric improvement of estimated gene trees

Christensen, S., Molloy, E. K., Vachaspati, P. & Warnow, T., Sep 2019, 19th International Workshop on Algorithms in Bioinformatics, WABI 2019. Huber, K. T. & Gusfield, D. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 4. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 143).

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

Traction: An infrastructure for trusted alert sharing and collaborative mitigaTION

Chung, K., Cao, P., Wu, Y., Kalbarczyk, Z. T., Iyer, R. K. & Withers, A., Apr 1 2019, Proceedings of the 6th Annual Symposium on Hot Topics in the Science of Security, HotSoS 2019. Association for Computing Machinery, a27. (ACM International Conference Proceeding Series).

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

TrIMS: Transparent and isolated model sharing for low latency deep learning inference in function-as-a-service

Dakkak, A., Li, C., De Gonzalo, S. G., Xiong, J. & Hwu, W. M., Jul 2019, Proceedings - 2019 IEEE International Conference on Cloud Computing, CLOUD 2019 - Part of the 2019 IEEE World Congress on Services. Bertino, E., Chang, C. K., Chen, P., Damiani, E., Goul, M. & Oyama, K. (eds.). IEEE Computer Society, p. 372-382 11 p. 8814494. (IEEE International Conference on Cloud Computing, CLOUD; vol. 2019-July).

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

Trusted CI experiences in cybersecurity and service to open science

Adams, A., Avila, K., Basney, J., Brunson, D., Cowles, R., Dopheide, J., Fleury, T., Heymann, E., Hudson, F., Jackson, C., Kiser, R., Krenz, M., Marsteller, J., Miller, B. P., Peisert, S., Russell, S., Sons, S., Welch, V. & Zage, J., Jul 28 2019, Proceedings of the Practice and Experience in Advanced Research Computing: Rise of the Machines (Learning), PEARC 2019. Association for Computing Machinery, 3340601. (ACM International Conference Proceeding Series).

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

Untold herstories: An homage to Siggraph

Cox, D. J., Sandor, E. & Fron, J., Jul 28 2019, ACM SIGGRAPH 2019 Panels, SIGGRAPH 2019. Association for Computing Machinery, Inc, (ACM SIGGRAPH 2019 Panels, SIGGRAPH 2019).

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

Update on k-truss Decomposition on GPU

Almasri, M., Anjum, O., Pearson, C., Qureshi, Z., Mailthody, V. S., Nagi, R., Xiong, J. & Hwu, W. M., Sep 2019, 2019 IEEE High Performance Extreme Computing Conference, HPEC 2019. Institute of Electrical and Electronics Engineers Inc., 8916285. (2019 IEEE High Performance Extreme Computing Conference, HPEC 2019).

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

Update on triangle counting on GPU

Pearson, C., Almasri, M., Anjum, O., Mailthody, V. S., Qureshi, Z., Nagi, R., Xiong, J. & Hwu, W. M., Sep 2019, 2019 IEEE High Performance Extreme Computing Conference, HPEC 2019. Institute of Electrical and Electronics Engineers Inc., 8916547. (2019 IEEE High Performance Extreme Computing Conference, HPEC 2019).

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

User attitudes towards algorithmic opacity and transparency in online reviewing platforms

Eslami, M., Vaccaro, K., Lee, M. K., Bar On, A. E., Gilbert, E. & Karahalios, K., May 2 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, (Conference on Human Factors in Computing Systems - Proceedings).

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

Using INC Within Divide-and-Conquer Phylogeny Estimation

Le, T., Sy, A., Molloy, E. K., Zhang, Q. R., Rao, S. & Warnow, T., Jan 1 2019, Algorithms for Computational Biology - 6th International Conference, AlCoB 2019, Proceedings. Martín-Vide, C., Holmes, I. & Vega-Rodríguez, M. A. (eds.). Springer-Verlag Berlin Heidelberg, p. 167-178 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11488 LNBI).

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

Using performance models to understand scalable Krylov solver performance at scale for structured grid problems

Eller, P. R., Hoefler, T. & Gropp, W., Jun 26 2019, ICS 2019 - International Conference on Supercomputing. Association for Computing Machinery, p. 138-149 12 p. (Proceedings of the International Conference on Supercomputing).

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

Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification

Sibai, H., Mokhlesi, N. & Mitra, S., Jan 1 2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings. Chen, Y-F., Cheng, C-H. & Esparza, J. (eds.). Springer, p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11781 LNCS).

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

Using the HTRC data capsule model to promote reuse and evolution of experimental analysis of digital library data: A case study of topic modeling

Bainbridge, D., Nichols, D. M., Hinze, A. & Downie, J. S., Jun 2019, Proceedings - 2019 ACM/IEEE Joint Conference on Digital Libraries, JCDL 2019. Bonn, M., Wu, D., Downie, S. J. & Martaus, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 463-464 2 p. 8791136. (Proceedings of the ACM/IEEE Joint Conference on Digital Libraries; vol. 2019-June).

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

Using virtual reality to examine the neural and physiological anxiety-related responses to balance-demanding target-reaching leaning tasks

Kaur, R., Sun, R., Ziegelman, L., Sowers, R. & Hernandez, M. E., Oct 2019, 2019 IEEE-RAS 19th International Conference on Humanoid Robots, Humanoids 2019. IEEE Computer Society, p. 313-319 7 p. 9035020. (IEEE-RAS International Conference on Humanoid Robots; vol. 2019-October).

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

Using Virtual Reality to Examine the Neural and Physiological Responses to Height and Perturbations in Quiet Standing

Kaur, R., Sun, R., Ziegelman, L., Sowers, R. & Hernandez, M. E., Jul 2019, 2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2019. Institute of Electrical and Electronics Engineers Inc., p. 5233-5236 4 p. 8857647. (Proceedings of the Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBS).

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

Wok: Statistical program slicing in production

Stoica, B. A., Sahoo, S. K., Larus, J. R. & Adve, V. S., May 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion, ICSE-Companion 2019. Institute of Electrical and Electronics Engineers Inc., p. 324-325 2 p. 8802736. (Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion, ICSE-Companion 2019).

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

2018

AccDNN: An IP-Based DNN Generator for FPGAs

Zhang, X., Wang, J., Zhu, C., Lin, Y., Xiong, J., Hwu, W. M. & Chen, D., Sep 7 2018, Proceedings - 26th IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2018. Institute of Electrical and Electronics Engineers Inc., 1 p. 8457659. (Proceedings - 26th IEEE International Symposium on Field-Programmable Custom Computing Machines, FCCM 2018).

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

A clustering approach for analyzing the computability of building code requirements

Zhang, R. & El-Gohary, N. M., Jan 1 2018, Construction Research Congress 2018: Construction Information Technology - Selected Papers from the Construction Research Congress 2018. Wang, C., Berryman, C., Harris, R., Harper, C. & Lee, Y. (eds.). American Society of Civil Engineers, p. 86-95 10 p. (Construction Research Congress 2018: Construction Information Technology - Selected Papers from the Construction Research Congress 2018; vol. 2018-April).

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

Acquiring metadata to support biographies of museum artefacts

Zhao, C., Twidale, M. B. & Nichols, D. M., Jan 1 2018, Maturity and Innovation in Digital Libraries - 20th International Conference on Asia-Pacific Digital Libraries, ICADL 2018, Proceedings. Žumer, M., Hinze, A. & Dobreva, M. (eds.). Springer-Verlag Berlin Heidelberg, p. 304-315 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11279 LNCS).

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

Active sampling-based binary verification of dynamical systems

Quindlen, J. F., Topcu, U., Chowdhary, G. & How, J. P., Jan 1 2018, AIAA Guidance, Navigation, and Control. 210039 ed. American Institute of Aeronautics and Astronautics Inc, AIAA, (AIAA Guidance, Navigation, and Control Conference, 2018; no. 210039).

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

Active Sampling for Closed-Loop Statistical Verification of Uncertain Nonlinear Systems

Quindlen, J. F., Topcu, U., Chowdhary, G. & How, J. P., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., p. 6259-6265 7 p. 8431662. (Proceedings of the American Control Conference; vol. 2018-June).

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

A fast and massively-parallel inverse solver for multiple-scattering tomographic image reconstruction

Hidayetoglu, M., Pearson, C., El Hajj, I., Gurel, L., Chew, W. C. & Hwu, W. M., Aug 3 2018, Proceedings - 2018 IEEE 32nd International Parallel and Distributed Processing Symposium, IPDPS 2018. Institute of Electrical and Electronics Engineers Inc., p. 64-74 11 p. 8425161. (Proceedings - 2018 IEEE 32nd International Parallel and Distributed Processing Symposium, IPDPS 2018).

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

Affective Driver State Monitoring for Personalized, Adaptive ADAS

Govindarajan, V., Driggs-Campbell, K. & Bajcsy, R., Dec 7 2018, 2018 IEEE Intelligent Transportation Systems Conference, ITSC 2018. Institute of Electrical and Electronics Engineers Inc., p. 1017-1022 6 p. 8569585. (IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC; vol. 2018-November).

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

AIM: AN ABSTRACTION for IMPROVING MACHINE LEARNING PREDICTION

Stodden, V., Wu, X. & Sochat, V., Aug 17 2018, 2018 IEEE Data Science Workshop, DSW 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 150-154 5 p. 8439914. (2018 IEEE Data Science Workshop, DSW 2018 - Proceedings).

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

Algorithmic attack synthesis using hybrid dynamics of power grid critical infrastructures

Huang, Z., Etigowni, S., Garcia, L., Mitra, S. & Zonouz, S., Jul 19 2018, Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018. Institute of Electrical and Electronics Engineers Inc., p. 151-162 12 p. 8416479. (Proceedings - 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2018).

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

AliDrone: Enabling trustworthy proof-of-alibi for commercial drone compliance

Liu, T., Hojjati, A., Bates, A. & Nahrstedt, K., Jul 19 2018, Proceedings - 2018 IEEE 38th International Conference on Distributed Computing Systems, ICDCS 2018. Institute of Electrical and Electronics Engineers Inc., p. 841-852 12 p. (Proceedings - International Conference on Distributed Computing Systems; vol. 2018-July).

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

Amber∗: Enabling precise full-system simulation with detailed modeling of all ssd resources

Gouk, D., Kwon, M., Zhang, J., Koh, S., Choi, W., Kim, N. S., Kandemir, M. & Jung, M., Dec 12 2018, Proceedings - 51st Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2018. IEEE Computer Society, p. 469-481 13 p. 8574562. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO; vol. 2018-October).

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

A metasurface-inspired focusing collector for concentrated solar power applications

Ding, Q., Barna, S., Jacobs, K., Choubal, A., Mensing, G., Zhang, Z., Yamada, K., Tirawat, R., Kincaid, N., Zhu, G., Wendelin, T., Guo, L. J., Ferreira, P. & Toussaint, K. C., Jan 1 2018, Frontiers in Optics, FIO 2018. OSA - The Optical Society, (Optics InfoBase Conference Papers; vol. Part F114-FIO 2018).

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

A ML-based runtime system for executing dataflow graphs on heterogeneous processors

Banerjee, S. S., Athreya, A. P., Kalbarczyk, Z., Lumetta, S. & Iyer, R. K., Oct 11 2018, SoCC 2018 - Proceedings of the 2018 ACM Symposium on Cloud Computing. Association for Computing Machinery, Inc, 1 p. (SoCC 2018 - Proceedings of the 2018 ACM Symposium on Cloud Computing).

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

A network-centric hardware/algorithm co-design to accelerate distributed training of deep neural networks

Li, Y., Park, J., Alian, M., Yuan, Y., Qu, Z., Pan, P., Wang, R., Schwing, A., Esmaeilzadeh, H. & Kim, N. S., Dec 12 2018, Proceedings - 51st Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2018. IEEE Computer Society, p. 175-188 14 p. 8574540. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO; vol. 2018-October).

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

Application-Transparent near-memory processing architecture with memory channel network

Alian, M., Min, S. W., Asgharimoghaddam, H., Dhar, A., Wang, D. K., Roewer, T., McPadden, A., O'Halloran, O., Chen, D., Xiong, J., Kim, D., Hwu, W. M. & Kim, N. S., Dec 12 2018, Proceedings - 51st Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2018. IEEE Computer Society, p. 802-814 13 p. 8574587. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO; vol. 2018-October).

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

Approximate partial order reduction

Fan, C., Huang, Z. & Mitra, S., Jan 1 2018, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Proceedings. Havelund, K., Roscoe, B., de Vink, E. & Peleska, J. (eds.). Springer-Verlag Berlin Heidelberg, p. 588-607 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10951 LNCS).

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

Approximate Transformations as Mutation Operators

Hariri, F., Shi, A., Legunsen, O., Gligoric, M., Khurshid, S. & Misailovic, S., May 25 2018, Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation, ICST 2018. Institute of Electrical and Electronics Engineers Inc., p. 285-296 12 p. (Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation, ICST 2018).

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

Are Profile Hidden Markov Models Identifiable?

Pattabiraman, S. & Warnow, T., Aug 15 2018, ACM-BCB 2018 - Proceedings of the 2018 ACM International Conference on Bioinformatics, Computational Biology, and Health Informatics. Association for Computing Machinery, Inc, p. 448-456 9 p. (ACM-BCB 2018 - Proceedings of the 2018 ACM International Conference on Bioinformatics, Computational Biology, and Health Informatics).

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

A system-general model for the detection of gaming the system behavior in CTAT and LearnSphere

Paquette, L., Baker, R. S. & Moskal, M., Jan 1 2018, Artificial Intelligence in Education - 19th International Conference, AIED 2018, Proceedings. Luckin, R., Porayska-Pomsta, K., du Boulay, B., Mavrikis, M., Penstein Rosé, C., McLaren, B., Martinez-Maldonado, R. & Hoppe, H. U. (eds.). Springer-Verlag Berlin Heidelberg, p. 257-260 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10948 LNAI).

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

At the Nexus of Data and Collections: New Affordances in the Age of Mass-Scale Digital Libraries

Stephen Downie, J., Lorang, E., Soh, L. K., Bainbridge, D., McIntyre, S. & Page, K., May 23 2018, JCDL 2018 - Proceedings of the 18th ACM/IEEE Joint Conference on Digital Libraries. Institute of Electrical and Electronics Engineers Inc., p. 313-314 2 p. (Proceedings of the ACM/IEEE Joint Conference on Digital Libraries).

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

Audio Based Handwriting Input for Tiny Mobile Devices

Yu, T., Jin, H. & Nahrstedt, K., Jun 26 2018, Proceedings - IEEE 1st Conference on Multimedia Information Processing and Retrieval, MIPR 2018. Institute of Electrical and Electronics Engineers Inc., p. 130-135 6 p. (Proceedings - IEEE 1st Conference on Multimedia Information Processing and Retrieval, MIPR 2018).

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