Tian Zhao

According to our database, Tian Zhao authored at least 41 papers between 2001 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Semantics of RxJS.

Tian Zhao, Yonglun Li

Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2022

2021

A concurrency model for JavaScript with cooperative cancellation.

Tian Zhao, Yonglun Li

Proceedings of the SLE '21: 14th ACM SIGPLAN International Conference on Software Language Engineering, Chicago, IL, USA, October 17, 2021

2020

Improving geospatial query performance of an interoperable geographic situation-awareness system for disaster response.

Chuanrong Zhang, Tian Zhao, E. Lynn Usery, Dalia Varanka, Wei Li

Trans. GIS, 2020

Asynchronous monad for reactive IoT programming.

Tian Zhao, Adam Berger, Yonglun Li

Proceedings of the REBLS 2020: Proceedings of the 7th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2020

2019

Semantic Segmentation of Urban Buildings from VHR Remote Sensing Imagery Using a Deep Convolutional Neural Network.

Yaning Yi, Zhijie Zhang, Wanchang Zhang, Chuanrong Zhang, Weidong Li, Tian Zhao

Remote. Sens., 2019

Parallel computing solutions for Markov chain spatial sequential simulation of categorical fields.

Weixing Zhang, Weidong Li, Chuanrong Zhang, Tian Zhao

Int. J. Digit. Earth, 2019

Concurrency control of JavaScript with arrows.

Tian Zhao, Adam Berger, Yonglun Li

Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2019

2018

Scalable Spatial Join for WFS Clients (Short Paper).

Tian Zhao, Chuanrong Zhang, Zhijie Zhang

Proceedings of the 10th International Conference on Geographic Information Science, 2018

2017

Typing and semantics of asynchronous arrows in JavaScript.

Eric Fritz, Tian Zhao

Sci. Comput. Program., 2017

Adaptive and Optimized RDF Query Interface for Distributed WFS Data.

Tian Zhao, Chuanrong Zhang, Weidong Li

ISPRS Int. J. Geo Inf., 2017

2016

Arrows in Commercial Web Applications.

Eric Fritz, Jose Antony, Tian Zhao

Proceedings of the Fourth IEEE Workshop on Hot Topics in Web Systems and Technologies, 2016

2015

A Map-Reduce based parallel approach for improving query performance in a geospatial semantic web for disaster response.

Chuanrong Zhang, Tian Zhao, Luc Anselin, Weidong Li, Ke Chen

Earth Sci. Informatics, 2015

A parallel approach for improving Geo-SPARQL query performance.

Tian Zhao, Chuanrong Zhang, Luc Anselin, Weidong Li, Ke Chen

Int. J. Digit. Earth, 2015

2014

Rule-based detection of design patterns in program code.

Awny Alnusair, Tian Zhao, Gongjun Yan

Int. J. Softw. Tools Technol. Transf., 2014

2013

Towards Improving Query Performance of Web Feature Services (WFS) for Disaster Response.

Chuanrong Zhang, Tian Zhao, Weidong Li

ISPRS Int. J. Geo Inf., 2013

Automatic recognition of design motifs using semantic conditions.

Awny Alnusair, Tian Zhao, Gongjun Yan

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

2011

Polymorphic type inference for scripting languages with object extensions.

Tian Zhao

Proceedings of the 7th Symposium on Dynamic Languages, 2011

2010

Towards logic-based geospatial feature discovery and integration using web feature service and geospatial semantic web.

Chuanrong Zhang, Tian Zhao, Weidong Li, Jeffrey P. Osleeb

Int. J. Geogr. Inf. Sci., 2010

The framework of a geospatial semantic web-based spatial decision support system for Digital Earth.

Chuanrong Zhang, Tian Zhao, Weidong Li

Int. J. Digit. Earth, 2010

Automatic search of geospatial features for disaster and emergency management.

Chuanrong Zhang, Tian Zhao, Weidong Li

Int. J. Appl. Earth Obs. Geoinformation, 2010

Using Semantic Inference for Software Understanding and Design Recovery.

Awny Alnusair, Tian Zhao

Proceedings of the Seventh International Conference on Information Technology: New Generations, 2010

Effective API navigation and reuse.

Awny Alnusair, Tian Zhao, Eric Bodden

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2010

Component search and reuse: An ontology-based approach.

Awny Alnusair, Tian Zhao

Proceedings of the IEEE International Conference on Information Reuse and Integration, 2010

2009

Method Proxy-Based AOP in Scala.

Daniel Spiewak, Tian Zhao

J. Object Technol., 2009

ScalaQL: Language-Integrated Database Queries for Scala.

Daniel Spiewak, Tian Zhao

Proceedings of the Software Language Engineering, Second International Conference, 2009

Towards a Model-driven Approach for Reverse Engineering Design Patterns.

Awny Alnusair, Tian Zhao

Proceedings of the 2nd International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering, 2009

Using Ontology Reasoning for Reverse Engineering Design Patterns.

Awny Alnusair, Tian Zhao

Proceedings of the Models in Software Engineering, 2009

2008

Implicit ownership types for memory management.

Tian Zhao, Jason Baker, James Hunt, James Noble, Jan Vitek

Sci. Comput. Program., 2008

Ontology-Based Geospatial Data Query and Integration.

Tian Zhao, Chuanrong Zhang, Mingzhen Wei, Zhong-Ren Peng

Proceedings of the Geographic Information Science, 5th International Conference, 2008

2007

Scoped types and aspects for real-time Java memory management.

Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao

Real Time Syst., 2007

2006

Type-based confinement.

Tian Zhao, Jens Palsberg, Jan Vitek

J. Funct. Program., 2006

Scoped Types and Aspects for Real-Time Java.

Chris Andreae, Yvonne Coady, Celina Gibbs, James Noble, Jan Vitek, Tian Zhao

Proceedings of the ECOOP 2006, 2006

2005

Automatic discovery of covariant read-only fields.

Jens Palsberg, Tian Zhao, Trevor Jim

ACM Trans. Program. Lang. Syst., 2005

2004

Type inference for record concatenation and subtyping.

Jens Palsberg, Tian Zhao

Inf. Comput., 2004

Stack size analysis for interrupt-driven programs.

Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg

Inf. Comput., 2004

Scoped Types for Real-Time Java.

Tian Zhao, James Noble, Jan Vitek

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

2003

Lightweight confinement for featherweight Java.

Tian Zhao, Jens Palsberg, Jan Vitek

Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2003

2002

Type matching and type inference for object-oriented systems

Tian Zhao

PhD thesis, 2002

Efficient Type Inference for Record Concatenation and Subtyping.

Jens Palsberg, Tian Zhao

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002

Efficient Type Matching.

Somesh Jha, Jens Palsberg, Tian Zhao

Proceedings of the Foundations of Software Science and Computation Structures, 2002

2001

Efficient and Flexible Matching of Recursive Types.

Jens Palsberg, Tian Zhao

Inf. Comput., 2001