Research Output

Filter
Conference contribution
2019

Solution Enumeration Abstraction: A Modeling Idiom to Enhance a Lightweight Formal Method

Sullivan, A., Marinov, D. & Khurshid, S., 2019, Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Proceedings. Ait-Ameur, Y. & Qin, S. (eds.). Springer, p. 336-352 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11852 LNCS).

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

Sorcar: Property-Driven Algorithms for Learning Conjunctive Invariants

Neider, D., Saha, S., Garg, P. & Madhusudan, P., Jan 1 2019, Static Analysis - 26th International Symposium, SAS 2019, Proceedings. Chang, B-Y. E. (ed.). Springer, p. 323-346 24 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 proceedingConference contribution

SparSDR: Sparsity-proportional Backhaul and Compute for SDRs

Khazraee, M., Guddeti, Y., Crow, S., Snoeren, A. C., Levchenko, K., Bharadia, D. & Schulman, A., Jun 12 2019, MobiSys 2019 - Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services. Association for Computing Machinery, Inc, p. 391-403 13 p. (MobiSys 2019 - Proceedings of the 17th Annual International Conference on Mobile Systems, Applications, and Services).

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

Open Access

Speculative taint tracking (STT): A comprehensive protection for speculatively accessed data

Yu, J., Yan, M., Khyzha, A., Morrison, A., Torrellas, J. & Fletcher, C. W., Oct 12 2019, MICRO 2019 - 52nd Annual IEEE/ACM International Symposium on Microarchitecture, Proceedings. IEEE Computer Society, p. 954-968 15 p. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO).

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

SPGNet: Semantic prediction guidance for scene parsing

Cheng, B., Uiuc, U., Chen, L. C., Wei, Y., Zhu, Y., Huang, Z., Xiong, J., Huang, T., Hwu, W. M. & Shi, H., Oct 2019, Proceedings - 2019 International Conference on Computer Vision, ICCV 2019. Institute of Electrical and Electronics Engineers Inc., p. 5217-5227 11 p. 9008568. (Proceedings of the IEEE International Conference on Computer Vision; vol. 2019-October).

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

Sprites and State Channels: Payment Networks that Go Faster Than Lightning

Miller, A., Bentov, I., Bakshi, S., Kumaresan, R. & McCorry, P., Jan 1 2019, Financial Cryptography and Data Security - 23rd International Conference, FC 2019, Revised Selected Papers. Goldberg, I. & Moore, T. (eds.). Springer, p. 508-526 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11598 LNCS).

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

Stardust: A deep learning serving system in IoT: Demo abstract

Yao, S., Wang, T., Li, J. & Abdelzaher, T., Nov 10 2019, SenSys 2019 - Proceedings of the 17th Conference on Embedded Networked Sensor Systems. Zhang, M. (ed.). Association for Computing Machinery, Inc, p. 402-403 2 p. (SenSys 2019 - Proceedings of the 17th Conference on Embedded Networked Sensor Systems).

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

STFNets: Learning sensing signals from the time-frequency perspective with short-time fourier neural networks

Yao, S., Piao, A., Jiang, W., Zhao, Y., Shao, H., Liu, S., Liu, D., Li, J., Wang, T., Hu, S., Su, L., Han, J. & Abdelzaher, T., May 13 2019, The Web Conference 2019 - Proceedings of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, Inc, p. 2192-2202 11 p. (The Web Conference 2019 - Proceedings of the World Wide Web Conference, WWW 2019).

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

Stochastic Control of Power Supply in Data Centers

Rovatsos, G., Zou, S., Dominguez-Garcia, A. D. & Veeravalli, V. V., Feb 19 2019, Conference Record of the 52nd Asilomar Conference on Signals, Systems and Computers, ACSSC 2018. Matthews, M. B. (ed.). IEEE Computer Society, p. 1470-1474 5 p. 8645140. (Conference Record - Asilomar Conference on Signals, Systems and Computers; vol. 2018-October).

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

Stochastic Zero-Sum Differential Games for Forward-Backward SDEs

Moon, J. & Basar, T., Dec 2019, 2019 IEEE 58th Conference on Decision and Control, CDC 2019. Institute of Electrical and Electronics Engineers Inc., p. 6350-6355 6 p. 9030147. (Proceedings of the IEEE Conference on Decision and Control; vol. 2019-December).

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

Strategic Inference with a Single Private Sample

Miehling, E., Dong, R., Langbort, C. & Basar, T., Dec 2019, 2019 IEEE 58th Conference on Decision and Control, CDC 2019. Institute of Electrical and Electronics Engineers Inc., p. 2188-2193 6 p. 9029544. (Proceedings of the IEEE Conference on Decision and Control; vol. 2019-December).

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

Structured Singular Value Control for Modular Resource Management in Multilayer Computers

Pradyumna Pothukuchi, R., Yamini Pothukuchi, S., Voulgaris, P. G. & Torrellas, J., Jan 18 2019, 2018 IEEE Conference on Decision and Control, CDC 2018. Institute of Electrical and Electronics Engineers Inc., p. 5121-5127 7 p. 8619427. (Proceedings of the IEEE Conference on Decision and Control; vol. 2018-December).

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

Task-guided pair embedding in heterogeneous network

Park, C., Kim, D., Zhu, Q., Han, J. & Yu, H., Nov 3 2019, CIKM 2019 - Proceedings of the 28th ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, p. 489-498 10 p. (International Conference on Information and Knowledge Management, Proceedings).

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

Open Access

T-DLA: An Open-source Deep Learning Accelerator for Ternarized DNN Models on Embedded FPGA

Chen, Y., Zhang, K., Gong, C., Hao, C., Zhang, X., Li, T. & Chen, D., Jul 2019, Proceedings - 2019 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2019. IEEE Computer Society, p. 13-18 6 p. 8839554. (Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI; vol. 2019-July).

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

Techniques for evolution-aware runtime verification

Legunsen, O., Zhang, Y., Hadzi-Tanovic, M., Rosu, G. & Marinov, D., Apr 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019. Institute of Electrical and Electronics Engineers Inc., p. 300-311 12 p. 8730172. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019).

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

Testing untestable neural machine translation: An industrial case

Zheng, W., Wang, W., Liu, D., Zhang, C., Zeng, Q., Deng, Y., Yang, W., He, P. & Xie, T., May 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion, ICSE-Companion 2019. Institute of Electrical and Electronics Engineers Inc., p. 314-315 2 p. 8802818. (Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion, ICSE-Companion 2019).

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

The Impact of Aggregating Distributed Energy Resources on Electricity Market Efficiency

Alshehri, K., Ndrio, M., Bose, S. & Başar, T., Apr 16 2019, 2019 53rd Annual Conference on Information Sciences and Systems, CISS 2019. Institute of Electrical and Electronics Engineers Inc., 8692823. (2019 53rd Annual Conference on Information Sciences and Systems, CISS 2019).

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

The Internet of Battlefield Things: The Next Generation of Command, Control, Communications and Intelligence (C3I) Decision-Making

Russell, S. & Abdelzaher, T., Jan 2 2019, 2018 IEEE Military Communications Conference, MILCOM 2018. Institute of Electrical and Electronics Engineers Inc., p. 737-742 6 p. 8599853. (Proceedings - IEEE Military Communications Conference MILCOM; vol. 2019-October).

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

The sixth visual object tracking VOT2018 challenge results

Kristan, M., Leonardis, A., Matas, J., Felsberg, M., Pflugfelder, R., Zajc, L. Č., Vojír̃, T., Bhat, G., Lukežič, A., Eldesokey, A., Fernández, G., García-Martín, Á., Iglesias-Arias, Á., Alatan, A. A., González-García, A., Petrosino, A., Memarmoghadam, A., Vedaldi, A., Muhič, A., He, A. & 135 others, Smeulders, A., Perera, A. G., Li, B., Chen, B., Kim, C., Xu, C., Xiong, C., Tian, C., Luo, C., Sun, C., Hao, C., Kim, D., Mishra, D., Chen, D., Wang, D., Wee, D., Gavves, E., Gundogdu, E., Velasco-Salido, E., Khan, F. S., Yang, F., Zhao, F., Li, F., Battistone, F., De Ath, G., Subrahmanyam, G. R. K. S., Bastos, G., Ling, H., Galoogahi, H. K., Lee, H., Li, H., Zhao, H., Fan, H., Zhang, H., Possegger, H., Li, H., Lu, H., Zhi, H., Li, H., Lee, H., Chang, H. J., Drummond, I., Valmadre, J., Martin, J. S., Chahl, J., Choi, J. Y., Li, J., Wang, J., Qi, J., Sung, J., Johnander, J., Henriques, J., Choi, J., van de Weijer, J., Herranz, J. R., Martínez, J. M., Kittler, J., Zhuang, J., Gao, J., Grm, K., Zhang, L., Wang, L., Yang, L., Rout, L., Si, L., Bertinetto, L., Chu, L., Che, M., Maresca, M. E., Danelljan, M., Yang, M. H., Abdelpakey, M., Shehata, M., Kang, M., Lee, N., Wang, N., Miksik, O., Moallem, P., Vicente-Moñivar, P., Senna, P., Li, P., Torr, P., Raju, P. M., Ruihe, Q., Wang, Q., Zhou, Q., Guo, Q., Martín-Nieto, R., Gorthi, R. K., Tao, R., Bowden, R., Everson, R., Wang, R., Yun, S., Choi, S., Vivas, S., Bai, S., Huang, S., Wu, S., Hadfield, S., Wang, S., Golodetz, S., Ming, T., Xu, T., Zhang, T., Fischer, T., Santopietro, V., Štruc, V., Wei, W., Zuo, W., Feng, W., Wu, W., Zou, W., Hu, W., Zhou, W., Zeng, W., Zhang, X., Wu, X., Wu, X. J., Tian, X., Li, Y., Lu, Y., Law, Y. W., Wu, Y., Demiris, Y., Yang, Y., Jiao, Y., Li, Y., Zhang, Y., Sun, Y., Zhang, Z., Zhu, Z., Feng, Z. H., Wang, Z. & He, Z., 2019, Computer Vision – ECCV 2018 Workshops, Proceedings. Leal-Taixé, L. & Roth, S. (eds.). Springer-Verlag Berlin Heidelberg, p. 3-53 51 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11129 LNCS).

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

Tightening Mutual Information Based Bounds on Generalization Error

Bu, Y., Zou, S. & Veeravalli, V. V., Jul 2019, 2019 IEEE International Symposium on Information Theory, ISIT 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 587-591 5 p. 8849590. (IEEE International Symposium on Information Theory - Proceedings; vol. 2019-July).

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

Towards automated safety vetting of PLC code in real-world plants

Zhang, M., Chen, C. Y., Kao, B. C., Qamsane, Y., Shao, Y., Lin, Y., Shi, E., Mohan, S., Barton, K., Moyne, J. & Mao, Z. M., May 2019, Proceedings - 2019 IEEE Symposium on Security and Privacy, SP 2019. Institute of Electrical and Electronics Engineers Inc., p. 522-538 17 p. 8835244. (Proceedings - IEEE Symposium on Security and Privacy; vol. 2019-May).

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

TxProbe: Discovering Bitcoin’s Network Topology Using Orphan Transactions

Delgado-Segura, S., Bakshi, S., Pérez-Solà, C., Litton, J., Pachulski, A., Miller, A. & Bhattacharjee, B., Jan 1 2019, Financial Cryptography and Data Security - 23rd International Conference, FC 2019, Revised Selected Papers. Goldberg, I. & Moore, T. (eds.). Springer, p. 550-566 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11598 LNCS).

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

Understanding and Improving Regression Test Selection in Continuous Integration

Shi, A., Zhao, P. & Marinov, D., Oct 2019, Proceedings - 2019 IEEE 30th International Symposium on Software Reliability Engineering, ISSRE 2019. Wolter, K., Schieferdecker, I., Gallina, B., Cukier, M., Natella, R., Ivaki, N. & Laranjeiro, N. (eds.). IEEE Computer Society, p. 228-238 11 p. 8987498. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2019-October).

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

Understanding priority-based scheduling of graph algorithms on a shared-memory platform

Yesil, S., Heidarshenas, A., Morrison, A. & Torrellas, J., Nov 17 2019, Proceedings of SC 2019: The International Conference for High Performance Computing, Networking, Storage and Analysis. IEEE Computer Society, a46. (International Conference for High Performance Computing, Networking, Storage and Analysis, SC).

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

Understanding security vulnerabilities in file systems

Cai, M., Huang, H. & Huang, J., Aug 19 2019, Proceedings of the 10th ACM SIGOPS Asia-Pacific Workshop on Systems, APSys 2019. Association for Computing Machinery, Inc, p. 8-15 8 p. (Proceedings of the 10th ACM SIGOPS Asia-Pacific Workshop on Systems, APSys 2019).

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

Understanding the effect of the combination of navigation tools in learning spatial knowledge

Dey, S., Fu, W. T. & Karahalios, K., Oct 19 2019, Proceedings - SUI 2019: ACM Conference on Spatial User Interaction. Spencer, S. N. (ed.). Association for Computing Machinery, Inc, a14. (Proceedings - SUI 2019: ACM Conference on Spatial User Interaction).

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

Unsupervised Fact-finding with Multi-modal Data in Social Sensing

Shao, H., Yao, S., Zhao, Y., Su, L., Wang, Z., Liu, D., Liu, S., Kaplan, L. & Abdelzaher, T., Jul 2019, FUSION 2019 - 22nd International Conference on Information Fusion. Institute of Electrical and Electronics Engineers Inc., 9011270. (FUSION 2019 - 22nd International Conference on Information Fusion).

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 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

What can you learn from an IP?

Patil, S. & Borisov, N., Jul 22 2019, ANRW 2019 - Proceedings of the 2019 Applied Networking Research Workshop. Association for Computing Machinery, Inc, p. 45-51 7 p. (ANRW 2019 - Proceedings of the 2019 Applied Networking Research Workshop).

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

When CTC Training Meets Acoustic Landmarks

He, D., Yang, X., Lim, B. P., Liang, Y., Hasegawa-Johnson, M. & Chen, D., May 2019, 2019 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 5996-6000 5 p. 8683607. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2019-May).

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

Who Shares What with Whom? Information Sharing Preferences in the Online and Offline Worlds

Liu, C., Huang, H. Y., Albarracin, D. & Bashir, M., Jan 1 2019, Advances in Human Factors in Cybersecurity - Proceedings of the AHFE 2018 International Conference on Human Factors in Cybersecurity, 2018. Ahram, T. Z. & Nicholson, D. (eds.). Springer-Verlag Berlin Heidelberg, p. 149-158 10 p. (Advances in Intelligent Systems and Computing; vol. 782).

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

Zeno: Distributed stochastic gradient descent with suspicion-based fault-tolerance

Xie, C., Koyejo, O. & Gupta, I., Jan 1 2019, 36th International Conference on Machine Learning, ICML 2019. International Machine Learning Society (IMLS), p. 11928-11944 17 p. (36th International Conference on Machine Learning, ICML 2019; vol. 2019-June).

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

μl2Q: An Ultra-Low Loss Quantization Method for DNN Compression

Gong, C., Li, T., Lu, Y., Hao, C., Zhang, X., Chen, D. & Chen, Y., Jul 2019, 2019 International Joint Conference on Neural Networks, IJCNN 2019. Institute of Electrical and Electronics Engineers Inc., 8851699. (Proceedings of the International Joint Conference on Neural Networks; vol. 2019-July).

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

2018

A 42pJ/decision 3.12TOPS/W robust in-memory machine learning classifier with on-chip training

Gonugondla, S. K., Kang, M. & Shanbhag, N., Mar 8 2018, 2018 IEEE International Solid-State Circuits Conference, ISSCC 2018. Institute of Electrical and Electronics Engineers Inc., p. 490-492 3 p. (Digest of Technical Papers - IEEE International Solid-State Circuits Conference; vol. 61).

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

A bank angle protection method based on exponential potential functions

Sun, D. & Hovakimyan, N., 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

A bayesian multi-armed bandit approach for identifying human vulnerabilities

Miehling, E., Xiao, B., Poovendran, R. & Başar, T., Jan 1 2018, Decision and Game Theory for Security - 9th International Conference, GameSec 2018, Proceedings. Bushnell, L., Poovendran, R. & Basar, T. (eds.). Springer-Verlag Berlin Heidelberg, p. 521-539 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11199 LNCS).

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

A Case for Packageless Processors

Pal, S., Petrisko, D., Bajwa, A. A., Gupta, P., Iyer, S. S. & Kumar, R., Mar 27 2018, Proceedings - 24th IEEE International Symposium on High Performance Computer Architecture, HPCA 2018. IEEE Computer Society, p. 466-479 14 p. (Proceedings - International Symposium on High-Performance Computer Architecture; vol. 2018-February).

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

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 characteristic study of parameterized unit tests in .NET open source projects

Lam, W., Srisakaokul, S., Bassett, B., Mahdian, P., Xie, T., Lakshman, P. & De Halleux, J., Jul 1 2018, 32nd European Conference on Object-Oriented Programming, ECOOP 2018. Millstein, T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 109).

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

A Command-by-Intent Architecture for Battlefield Information Acquisition Systems

Lee, J., Hao, Y., Abdelzaher, T., Marcus, K. & Hobbs, R., Sep 5 2018, 2018 21st International Conference on Information Fusion, FUSION 2018. Institute of Electrical and Electronics Engineers Inc., p. 2298-2305 8 p. 8455376. (2018 21st International Conference on Information Fusion, FUSION 2018).

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

A Consensus Problem in Mean Field Setting with Noisy Measurements of Target

Basar, T., Aug 9 2018, 2018 Annual American Control Conference, ACC 2018. Institute of Electrical and Electronics Engineers Inc., p. 6521-6526 6 p. 8431664. (Proceedings of the American Control Conference; vol. 2018-June).

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

A Constrained Maximum Likelihood Estimator for Unguided Social Sensing

Shao, H., Yao, S., Zhao, Y., Zhang, C., Han, J., Kaplan, L., Su, L. & Abdelzaher, T., Oct 8 2018, INFOCOM 2018 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., p. 2429-2437 9 p. 8486306. (Proceedings - IEEE INFOCOM; vol. 2018-April).

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

A constructor-based reachability logic for rewrite theories

Skeirik, S., Stefanescu, A. & Meseguer, J., Jan 1 2018, Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (eds.). Springer-Verlag Berlin Heidelberg, p. 201-217 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10855 LNCS).

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