Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 3.

Article

Zhang, Xin and Grigore, Radu and Si, Xujie and Naik, Mayur (2017) Effective Interactive Resolution of Static Analysis Alarms. Proceedings of the ACM on Programming Languages, 1 (1). E-ISSN 2475-1421. (In press) (Full text available)
[img]
Preview

Conference or workshop item

Zhang, Xin and Mangal, Ravi and Grigore, Radu and Naik, Mayur and Yang, Hongseok (2014) On abstraction refinement for program analyses in Datalog. In: Programming Language Design and Implementation, 9 June 2014 - 11 June 2014, Edinburgh, UK. (doi:https://doi.org/10.1145/2594291.2594327) (Full text available)
[img]
Preview

Wang, Xinming and Zhao, Gansen and Zhang, Xin and Jin, Beihong (2005) An Agent-Based Model For Web Services Transaction Processing. In: 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'05). (doi:https://doi.org/10.1109/EEE.2005.30) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

This list was generated on Tue Sep 26 15:29:03 2017 BST.