Tian Zhao

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Trans. GIS, 2020

Asynchronous monad for reactive IoT programming.

[BibT_eX]

[DOI]

Adam Berger

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.

[BibT_eX]

[DOI]

Remote. Sens., 2019

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

[BibT_eX]

[DOI]

Int. J. Digit. Earth, 2019

Concurrency control of JavaScript with arrows.

[BibT_eX]

[DOI]

Adam Berger

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

[BibT_eX]

[DOI]

Zhijie Zhang

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

2017

Typing and semantics of asynchronous arrows in JavaScript.

[BibT_eX]

[DOI]

Eric Fritz

Sci. Comput. Program., 2017

Adaptive and Optimized RDF Query Interface for Distributed WFS Data.

[BibT_eX]

[DOI]

ISPRS Int. J. Geo Inf., 2017

2016

Arrows in Commercial Web Applications.

[BibT_eX]

[DOI]

Eric Fritz

Jose Antony

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.

[BibT_eX]

[DOI]

Earth Sci. Informatics, 2015

A parallel approach for improving Geo-SPARQL query performance.

[BibT_eX]

[DOI]

Int. J. Digit. Earth, 2015

2014

Rule-based detection of design patterns in program code.

[BibT_eX]

[DOI]

Gongjun Yan

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

2013

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

[BibT_eX]

[DOI]

ISPRS Int. J. Geo Inf., 2013

Automatic recognition of design motifs using semantic conditions.

[BibT_eX]

[DOI]

Gongjun Yan

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

2011

Polymorphic type inference for scripting languages with object extensions.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Int. J. Digit. Earth, 2010

Automatic search of geospatial features for disaster and emergency management.

[BibT_eX]

[DOI]

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

Using Semantic Inference for Software Understanding and Design Recovery.

[BibT_eX]

[DOI]

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

Effective API navigation and reuse.

[BibT_eX]

[DOI]

Eric Bodden

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

Component search and reuse: An ontology-based approach.

[BibT_eX]

[DOI]

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

2009

Method Proxy-Based AOP in Scala.

[BibT_eX]

[DOI]

Daniel Spiewak

J. Object Technol., 2009

ScalaQL: Language-Integrated Database Queries for Scala.

[BibT_eX]

[DOI]

Daniel Spiewak

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

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

[BibT_eX]

[DOI]

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

Using Ontology Reasoning for Reverse Engineering Design Patterns.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2009

2008

Ontology-Based Geospatial Data Query and Integration.

[BibT_eX]

[DOI]

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

2006

Type-based confinement.

[BibT_eX]

[DOI]

Jan Vitek

J. Funct. Program., 2006

2005

Automatic discovery of covariant read-only fields.

[BibT_eX]

[DOI]

Trevor Jim

ACM Trans. Program. Lang. Syst., 2005

2004

Type inference for record concatenation and subtyping.

[BibT_eX]

[DOI]

Inf. Comput., 2004

Stack size analysis for interrupt-driven programs.

[BibT_eX]

[DOI]

Krishnendu Chatterjee

Inf. Comput., 2004

2003

Lightweight confinement for featherweight Java.

[BibT_eX]

[DOI]

Jan Vitek

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

2002

Efficient Type Inference for Record Concatenation and Subtyping.

[BibT_eX]

[DOI]

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

Efficient Type Matching.

[BibT_eX]

[DOI]

Somesh Jha

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

2001

Efficient and Flexible Matching of Recursive Types.

[BibT_eX]

[DOI]