Papers in Programming Languages

• T. Zhao and Y. Li. ``Semantics of RxJS''. Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS '22), December 07, 2022, Auckland, New Zealand, 13 pages. [pdf],
  
  
• T. Zhao and Y. Li. ``A Concurrency Model for JavaScript with Cooperative Cancellation''. Proceedings of the 14th ACM SIG-PLAN International Conference on Software Language Engineering(SLE '21), October 17-18, 2021, Chicago, IL, USA.ACM, New York,NY, USA, 13 pages. [pdf],
  
  
• T. Zhao, A. Berger, and Y. Li. ``Asynchronous Monad for Reactive IoT Programming''. Proceedings of the 7th ACM SIGPLAN International Workshop on Reactive and Event-BasedLanguages and Systems (REBLS '20), November 16, 2020, Virtual,USA.ACM, New York, NY, USA, 13 pages. [pdf],
  
  
• Farhad Balali, Jessie Nouri, Adel Nasiri, and Tian Zhao, Data Intensive Industrial Asset Management: IoT-based Algorithms and Implementation, Springer, 2020.
  
  
• T. Zhao, A. Berger, and Y. Li. ``Concurrency Control of JavaScript with Arrows''. In Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems (REBLS '19), October 21, 2019, Athens, Greece. ACM, NewYork, NY, USA, 10 pages. [pdf],
  
  
• T. Zhao and X. Huang, ``Design and Implementation of DeepDSL: A DSL for Deep Learning'', Computer Languages, Systems & Structures, 2018. [pdf],
  
  
• E. Fritz and T. Zhao, ``Typing and Semantics of Asynchronous Arrows in JavaScript'', Science of Computer Programming, 2017. [pdf],
  
  
• T. Zhao, X. Huang, and Y. Cao, ``DeepDSL: A Compilation-based Domain Specific Language for Deep Learning'', 5th International Conference on Learning Representations (ICLR'17). 2017 [pdf],
  
  
• E. Fritz, J. Antony, and T. Zhao, ``Arrows in Commerical Web Applications'', HotWeb'16, Fourth IEEE Workshop on Hot Topics in Web Systems and Technologies. 2016, [pdf], [source code],
  
  
• E. Fritz and T. Zhao, ``Inferring Types of Asynchronous Arrows in JavaScript'', REBLS'15, Reactive and Event-based Languages & Systems. 2015, [pdf], [source code],
  
  
• J. Boyland and T. Zhao, ``Variable Arity for LF'', Logical Frameworks and Meta-Languages: Theory and Practice, 2014. 2014
  
  
• X. Huang, T. Zhao, and Y. Cao, "PIR: A Domain Specific Language for Multimedia Information Retrieval", International Journal of Multimedia Data Engineering and Management, 2014 [pdf],
  
  
• Xiaobing Huang, Tian Zhao, and Yu Cao, "PIR: A Domain Specific Language for Multimedia Retrieval", IEEE International Symposium on Multimedia (ISM2013) , 2013 [pdf],
  
  
• Awny Alnusair, Tian Zhao and Gongjun Yan "Rule-based Detection of Design Patterns in Program Code", International Journal on Software Tools for Technology Transfer accepted, 2013 [pdf],
  
  
• Awny Alnusair, Tian Zhao and Gongjun Yan "Recognition of Design Motifs Using Semantic Conditions", the 28th ACM Symposium On Applied Computing (SAC), 2013
  
  
• Tian Zhao "Polymorphic type inference for scripting languages with object extension", Dynamic Languages Symposium (DLS) , 2011 [pdf],
  
  
• Awny Alnusair and Tian Zhao. "Retrieving Reusable Software Components Using Enhanced Representation of Domain Knowledge", In Recent Trends in Information Reuse and Integration. Lecture Notes in Computer Science (LNCS), pp. 363-379. Springer Verlag/Wien. ISBN: 978-3-7091-0737-9. , 2011. [book chapter],
  
  
• Tian Zhao "Type inference for scripting languages with implicit extension", 2010 International Workshop on Foundations of Object-Oriented Languages (FOOL'10) , 2010 [pdf], [a revised version].
  
  
• Awny Alnusair, Tian Zhao, and Eric Bodden, "Effective API Navigation and Reuse", IEEE International Conference on Information Reuse and Integration , 2010
  
  
• Awny Alnusair and Tian Zhao, "Component Search and Reuse: An Ontology-based Approach", IEEE International Conference on Information Reuse and Integration , 2010
  
  
• Awny Alnusair and Tian Zhao, "Ontology Support for Automatic Code Recommendation", International Workshop on Ontology-Driven Software Engineering (position paper), 2009
  
  
• Awny Alnusair and Tian Zhao, "Towards a Model-driven Approach for Reverse Engineering Design Patterns" Workshop on Transformation and Weaving Ontologies in Model Driven Engineering 2009 [pdf].
  
  
• Daniel Spiewak and Tian Zhao, "ScalaQL: Language-Integrated Database Queries for Scala" 2nd International Conference on Software Language Engineering , 2009 . [pdf].
  
  
• Daniel Spiewak and Tian Zhao, "Method Proxy-Based AOP in Scala" Journal of Object Technology , Nov/Dec, 2009 . [pdf].
  
  
• Tian Zhao, Jason Baker, James Hunt, James Noble, and Jan Vitek, "Implicit Ownership Types for Memory Management", Science Of Computer Programming 71(3): 213-241 (2008), [pdf].
  
  
• C. Andreae, J. Noble, Y. Coady, C. Gibbs, J. Vitek, and T. Zhao, "Scoped Types and Aspects for Real-Time Systems", Real-Time Systems 37(1), pages 1-44, October, 2007 [pdf]. A shorter version is in proceedings of European Conference on Object-Oriented Programming, 2006 [pdf].
  
  
• Zifu Yang and Tian Zhao, "Improve Pointcut Definition with Program Views", in proceedings of Software Engineering Properties of Languages and Aspect Technologies (SPLAT 2007), a workshop affiliated with Conference on Aspect-Oriented Software Development (AOSD), March 12, 2007, Vancouver, B.C, Canada [pdf].
  
  
• A. Potanin, J. Noble, T. Zhao, and J. Vitek. "A High Integrity Profile for Memory Safe Programming in Real-time Java", The 3rd Workshop on Java Technologies for Real-time and Embedded Systems, 2005 [pdf]. Earlier draft, 2005 [pdf].
  
  
• T. Zhao and J. Boyland, "Type Annotations to Improve Stack-based Access Control", In Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005 [ps].
  
  
• T. Zhao, J. Noble, and J. Vitek. "Scoped Types for Realtime Java". Draft, 2004 [pdf]. A revised version [pdf] is In Proceedings of (RTSS 2004) The 25th IEEE International Real-Time Systems Symposium December 5-8, 2004 Lisbon, Portugal
  
  
• T. Zhao, J. Palsberg, and J. Vitek. "Type-based Confinement", Journal of Functional Programming, 16(1), page 83--128, 2006 [ps] Preliminary version is in Proceedings of Object-Oriented Programming Systems, Languages and Applications, 2003 [ps].
  
  
• K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T. Henzinger, and J. Palsberg "Stack Size Analysis for Interrupt-Driven Programs". Information and Computation, 194(2), pages 144-174, 1 November 2004, [ps]. Preliminary version is in Proceedings of Static Analysis, 10th International Symposium, SAS, 2003, June 11-13, Lecture Notes in Computer Science, 2694, Springer-Verlag, 2003, pages 109-126.. [ps]
  
  
• J. Palsberg and T. Zhao "Type Inference for Record Concatenation and Subtyping". Information and Computation, 189:54-86, 2004. [ps] Preliminary version is in Proceedings of LICS'02, Seventeenth Annual IEEE Symposium on Logic in Computer Science, Copenhagen, Denmark, July, 2002.
  
  
• S. Jha, J. Palsberg, and T. Zhao. "Efficient Type Matching". In Proceedings of FOSSACS'02, Foundations of Software Science and Computation Structures Grenoble, France, April 6-14, 2002. . [ps] Full version [ps]
  
  
• J. Palsberg, T. Zhao, and T. Jim, "Automatic Discovery of Covariant Read-Only Fields". ACM Transaction on Programming Languages and Systems, Volume 27 , Issue 1 (January 2005), page 126-162. [ps] Preliminary version is in Proceedings of International Workshop on Foundations of Object-Oriented Languages, Portland, Oregon, Jan 19, 2002. [ps]
  
  
• J. Palsberg and T. Zhao, "Efficient and Flexible Matching of Recursive Types". Information and Computation 171, 1-24, 2001. . [ps] Preliminary version is in Proceedings of LICS'00, Fifteenth Annual IEEE Symposium on Logic in Computer Science, pages 388-398, Santa Barbara, California, June 2000. [ps]
  
  

Papers in related areas

• Khaled Alrfou, Tian Zhao, and Amir Kordijaz, ``CS-UNet: A Flexible Segmentation Algorithm for Microscopy Images''. Computer Vision for Materials Science (CV4MS) Workshop, 2024. [pdf],
  
  
• Khaled Alrfou, Tian Zhao, and Amir Kordijaz, ``CS-UNet: A Generalizable and Flexible Segmentation Algorithm''. Multimedia Tools and Applications, 2024, to appear. [pdf],
  
  
• Khaled Alrfou, Amir Kordijazi, Pradeep Rohatgi, and Tian Zhao, ``Synergy of unsupervised and supervised machine learning methods for the semantic segmentation of the graphite particles in the microstructure of ductile iron''. Materials Today Communications, 2022 [online]
  
  
• Hao Wang, Yun Yuan, Xianfeng Yang, Tian Zhao, Yang Liu, ``Deep Q Learning-based Traffic Signal Control Algorithms: Model Development and Evaluation with Field Data''. Transactions on Intelligent Transportation Systems, 2022 [online]
  
  
• G. Jean-Pierre, H. Akbarihaghighat, T. Zhao, A. Berger, N. Nafsin, F. Bin Nasir, H. Bravo, J. Li, A. Nasiri, and M Nowak. ``Development of a Data Analytics Platform for an Electrical/Water Microgrid''. Proceedings of IEEE 12th International Symposium on Power Electronics for Distributed Generation Systems (PEDG 2021)
  
  
• Amir Kordijazi, Tian Zhao, Jun Zhang, Khaled Alrfou, and Pradeep Rohatgi. ``Application of Machine Learning in Design, Synthesis, and Characterization of Metal Matrix Composites: Current Status and Emerging Applications''. JOM (The Journal of The Minerals, Metals & Materials Society), 2021
  
  
• C. Zhang, T. Zhao, E. Usery, D. Varanka, and W. Li, ``Improving geospatial query performance of an interoperable geographic situation-awareness system (IGSAS) for disaster response'', Transactions in GIS, 2020
  
  
• Y. Yi, Z. Zhang, W. Zhang, C. Zhang, W. Li, and T. Zhao ``Semantic Segmentation of Urban Buildings from VHR Remote Sensing Imagery Using a Deep Convolutional Neural Network'', Remote Sensing, 2019, 11, 1774 [pdf]
  
  
• W. Zhang, W. Li, C. Zhang, and T. Zhao, ``Parallel computing solutions for Markov chain spatial sequential simulation of categorical fields'', International Journal of Digital Earth, 2018
  
  
• Zhang, C., T. Zhao, and W. Li, ``Big Geospatial Data and Geospatial Semantic Web: Current State and Future Opportunities''. In: Y. Wu, F. Hu, G. Min, and A. Zomaya (Eds.), Big Data and Computational Intelligence in Networking. Taylor & Francis LLC, CRC Press. pp. 43-64, 2017
  
  
• T. Zhao, C. Zhang, and W. Li, ``Adaptive and Optimized RDF Query Interface for Distributed WFS Data'', International Journal of Geo-Information, 2017 [draft]
  
  
• T. Zhao, C. Zhang, and W. Li, ``Projecting Distributed WFS Data As RDF Data'', CyberGIS, 2016
  
  
• T. Zhao, C. Zhang, and W. Li, ``Accessing Distributed WFS Data Through A RDF Query Interface'', GIScience, 2016
  
  
• C. Zhang, T. Zhao, and W. Li. ``Geospatial Semantic Web'', Springer. pp 194 (in press, June 2015).
  
  
• C. Zhang, T. Zhao, and W. Li, ``Towards an interoperable online volunteered geographic information system for disaster response'', Journal of Spatial Science, 2014.
  
  
• C. Zhang, T. Zhao, L. Anselin, W. Li, and K. Chen, ``A Parallel Approach for Improving Geo-SPARQL Query Performance'', International Journal of Digital Earth, 2014.
  
  
• C. Zhang, T. Zhao and W. Li ``Towards Improving Query Performance of Web Feature Services (WFS) for Disaster Response'', ISPRS Int. J. Geo-Inf. , 2013, 2(1), 67-81
  
  
• Xiaobing Huang, Tian Zhao, Yu Cao, Pierre Tirilly, and Xiangming Mu, ``Towards the Improvement of Textual Anatomy Image Classification using Image Local Features'', MMAR 2011 : The ACM International Workshop on Medical Multimedia Analysis and Retrieval , 2011 [pdf]
  
  
• Pierre Tirilly, Kun Lu, Xiangming Mu, Tian Zhao, and Yu Cao ``On modality classification and its use in text-based image retrieval in medical databases'', CBMI 2011 : 9th International Workshop on Content-Based Multimedia Indexing , 2011
  
  
• J. Zhang, Y. Gu, W. Liu, T. Zhao, X. Mu, W. Hu, ``Automatic Patient Search for Breast Cancer Clinical Trials Using Free-Text Medical Reports'', 1st ACM International Health Informatics Symposium, 2010.
  
  
• Z-R. Peng, T. Zhao, and C. Zhang, ``Geospatial Semantic Web Services: A case for transit trip planning systems'', Geospatial Web Services: Advances in Information Interoperability, book chapter, 2010.
  
  
• C. Zhang, T. Zhao, and W. Li, ``Automatic Search of Geospatial Features for Disaster and Emergency Management'', International Journal of Applied Earth Observation and Geoinformation, , 2010.
  
  
• Xiangming Mu, Jun Zhang, Wen Hu, Tian Zhao, Mark Fredette, and Guangwu Xu ``Bibliographic Latent Semantic Analysis'', International Journal of Information Technology, 2010
  
  
• C. Zhang, T. Zhao, and W. Li, ``Automatic Search of Geospatial Features for Disaster and Emergency Management'', International Journal of Applied Earth Observation and Geoinformation , 2010
  
  
• C. Zhang, T. Zhao, and W. Li, ``The framework of a geospatial semantic web based Spatial Decision Support System for Digital Earth'', International Journal of Digital Earth, 2010
  
  
• Jun Zhang, Tian Zhao, Xiangming Mu, et. al. ``Patient Information Search for Breast Cancer Clinical Trials'', AMIA Annual Meeting (poster), 2009
  
  
• C. Zhang, T. Zhao, and W. Li, ``Towards logic-based geospatial feature discovery and integration using Web Feature Service and Geospatial Semantic Web'', International Journal of Geographical Information Science, 2009
  
  
• T. Zhao, C. Zhang, M. Wei, and Z.-R. Peng, Ontology-based Geospatial Data Query and Integration, GIScience, September, 2008 [pdf]
  
  
• M. Wei, T. Zhao, E. L. Usery, and D. Varanka, A Conceptual Design Towards Semantic Geospatial Data Access GIScience, September, 2008
  
  
• C. Zhang, T. Zhao, and W. Li, "An interoperable spatial decision support system based on geospatial semantic web technologies", Geoinformatics 2008 and Joint Conference on GIS and Built Environment: The Built Environment and Its Dynamics , June, 2008
  
  
• X. Huang and T. Zhao, "Inferring Gene Regulatory Networks using Heterogeneous Microarray Data Sets", in the Proceedings of the 2nd International Conference on Bioinformatics and Biomedical Engineering, May, 2008
  
  
• T. Zhao, Z. Peng, and C. Zhang, "A Data Query and Retrieval Model of Heterogeneous Geospatial Data Based on Standard Web Service Protocols", AAG (Association of American Geographers) Annual Meeting, April, 2008
  
  
• C. Zhang, Z. Peng, and T. Zhao, "Transforming transportation data models from UML to OWL ontological representation", in the Proceedings of the Transportation Research Board (TRB) Annual Meeting, January, 2008.
  
  
• C. Zhang, W. Li, and T. Zhao, "Geospatial Data Sharing Based on Geospatial Semantic Web Technologies", Journal of Spatial Science, December 2007
  
  
• M. Wu, T. Zhao, and C. Wu, "Public Health Data Collection and Sharing Using HIPAA Messages". Journal of Medical Systems, 29(4), August, 2005