| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Cristian Gherghina, Cristina David, Shengchao Qin, Wei-Ngan Chin |
Structured Specifications for Better Verification of Heap-Manipulating Programs.  |
FM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Chenguang Luo, Wei-Ngan Chin, Guanhua He |
Automatically Refining Partial Specifications for Program Verification. |
FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina David, Wei-Ngan Chin |
Immutable specifications for more concise and precise verification. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Cristina David, Cristian Gherghina |
A HIP and SLEEK verification system. |
OOPSLA Companion |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin |
A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan Chin |
FixBag: A Fixpoint Calculator for Quantified Bag Constraints. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenguang Luo, Florin Craciun, Shengchao Qin, Guanhua He, Wei-Ngan Chin |
Verifying pointer safety for programs with unknown calls. |
J. Symb. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima |
Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion. |
Electr. Notes Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan Chin |
Loop Invariant Synthesis in a Combined Domain. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Chenguang Luo, Guanhua He, Florin Craciun, Wei-Ngan Chin |
Verifying Heap-Manipulating Programs with Unknown Procedure Calls. |
ICFEM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Corneliu Popeea, Wei-Ngan Chin |
Dual analysis for proving safety and finding bugs. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
numerical domains, static analysis |
| 1 | Ahmed Bouajjani, Wei-Ngan Chin (eds.) |
Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengyi Wang, Zongyan Qiu, Shengchao Qin, Wei-Ngan Chin |
Stack Bound Inference for Abstract Java Bytecode. |
TASE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba |
A rigorous methodology for specification and verification of business processes. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Nistor, Wei-Ngan Chin, Tiow Seng Tan, Nicolae Tapus |
Optimizing the parallel computation of linear recurrences using compact matrix representations. |
J. Parallel Distrib. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen |
Completeness of Pointer Program Verification by Separation Logic. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina David, Cristian Gherghina, Wei-Ngan Chin |
Translation and optimization for a core calculus with exceptions. |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
optimization, translation, exceptions |
| 1 | Guanhua He, Shengchao Qin, Chenguang Luo, Wei-Ngan Chin |
Memory Usage Verification Using Hip/Sleek. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Shengchao Qin (eds.) |
TASE 2009, Third IEEE International Symposium on Theoretical Aspects of Software Engineering, 29-31 July 2009, Tianjin, China |
TASE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Florin Craciun, Wei-Ngan Chin, Guanhua He, Shengchao Qin |
An Interval-Based Inference of Variant Parametric Types. |
ESOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Florin Craciun, Shengchao Qin, Wei-Ngan Chin |
A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin |
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets. |
SEFM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Corneliu Popeea, Dana N. Xu, Wei-Ngan Chin |
A practical and precise inference and specializer for array bound checks elimination. |
PEPM |
2008 |
DBLP DOI BibTeX RDF |
size properties, dependent types, safety verification |
| 1 | Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin |
Enhancing modular OO verification with separation logic. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
enhanced subsumption, lossless casting, static and dynamic specifications, separation logic, automated verification |
| 1 | Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin |
Analysing memory resource bounds for low-level programs. |
ISMM |
2008 |
DBLP DOI BibTeX RDF |
fixpoint analysis, heap space analysis, low level programs, stack space analysis |
| 1 | Alexandru Stefan, Florin Craciun, Wei-Ngan Chin |
A Flow-Sensitive Region Inference for CLI. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Huu Hai Nguyen, Wei-Ngan Chin |
Enhancing Program Verification with Lemmas. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
Lemma Proving, Lemma Application, Program Verification, Separation Logic, Entailment |
| 1 | Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin |
Runtime Checking for Separation Logic. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin |
Multiple Pre/Post Specifications for Heap-Manipulating Methods. |
HASE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin |
Automated Verification of Shape, Size and Bag Properties. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Huu Hai Nguyen, Cristina David, Shengchao Qin, Wei-Ngan Chin |
Automated Verification of Shape and Size Properties Via Separation Logic. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengchao Qin, Wei-Ngan Chin, Jifeng He, Zongyan Qiu |
From Statecharts to Verilog: a formal approach to hardware/software co-specification. |
ISSE |
2006 |
DBLP DOI BibTeX RDF |
Operational semantics, Statecharts, Hardware/software partitioning, Homomorphism, Verilog, Algebraic laws |
| 1 | Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Mihai Lupu |
Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting. |
IEEE Trans. Computers |
2006 |
DBLP DOI BibTeX RDF |
system development tools, automatic debugging, counting SAT problem, Real-time system, formal methods, timing constraint, incremental computation |
| 1 | Wei-Ngan Chin, Siau-Cheng Khoo, Neil Jones |
Redundant Call Elimination via Tupling. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard |
Incremental Deterministic Planning. |
SYNASC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Corneliu Popeea, Wei-Ngan Chin |
Inferring Disjunctive Postconditions. |
ASIAN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea |
A flow-based approach for variant parametric types. |
OOPSLA |
2006 |
DBLP DOI BibTeX RDF |
variant parametric types, constraints, genericity, subtyping, flow analysis |
| 1 | Florin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin |
Core-java: an expression-oriented java. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
type-based analysis, language design |
| 1 | Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu |
Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. |
RTCSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard |
Memory Usage Verification for OO Programs. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen |
Verifying safety policies with size properties and alias controls. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
alias control, object-based programs, size properties, dependent types, safety verification |
| 1 | Stefan Andrei, Albert Mo Kim Cheng, Wei-Ngan Chin, Mihai Lupu |
Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Wei-Ngan Chin |
Solving a class of higher-order equations over a group structure. |
J. Symb. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Wei-Ngan Chin, Salvador Valerio Cavadini |
Self-embedded context-free grammars with regular counterparts. |
Acta Inf. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras |
Co-determinism and unambiguity of automata accepting finite or infinite words. |
Sci. Ann. Cuza Univ. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Olivier Danvy, Peter Thiemann |
Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. |
Higher-Order and Symbolic Computation |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard |
Region inference for an object-oriented language. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
downcasts, method overriding, region inference, type systems, memory management, object-oriented languages |
| 1 | Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin |
An Automatic Mapping from Statecharts to Verilog. |
ICTAC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Corneliu Popeea, Wei-Ngan Chin |
A type system for resource protocol verification and its correctness proof. |
PEPM |
2004 |
DBLP DOI BibTeX RDF |
dependent type system, resource specification, protocol verification, correctness proof, path-sensitive analysis |
| 1 | Wei-Ngan Chin (eds.) |
Programming Languages and Systems: Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings |
APLAS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Stefan Andrei, Wei-Ngan Chin |
Incremental Satisfiability Counting for Real-Time Systems. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Andrei, Salvador Valerio Cavadini, Wei-Ngan Chin |
A new algorithm for regularizing one-letter context-free grammars. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
Extending sized type with collection analysis. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
collection analysis, mixed constraints, sized type, polymorphism, fix-point |
| 1 | Shengchao Qin, Jin Song Dong, Wei-Ngan Chin |
A Semantic Foundation for TCOZ in Unifying Theories of Programming. |
FME |
2003 |
DBLP DOI BibTeX RDF |
UTP, integrated formal specifications, semantics |
| 1 | Shengchao Qin, Wei-Ngan Chin |
Mapping Statecharts to Verilog for Hardware/Software Co-specification. |
FME |
2003 |
DBLP DOI BibTeX RDF |
operational semantics, Statecharts, homomorphism, Verilog |
| 1 | Hui Wu, Wei-Ngan Chin, Joxan Jaffar |
An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
distributed deadlock avoidance, partially ordered rank, wait-for graph, concurrency control |
| 1 | Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras |
A Tutorial on a Monadic Approach for Expressions Evaluation. |
Sci. Ann. Cuza Univ. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Kenichi Asai, Wei-Ngan Chin (eds.) |
Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, Asian Symposium on Partial Evaluation and Semantics-Based Program Manipulation, Aizu, Japan, September 12-14, 2002 |
ASIA-PEPM |
2002 |
DBLP BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Zhenjiang Hu |
Towards a Modular Program Derivation via Fusion and Tupling. |
GPCE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu |
A Type-Based Approach to Parallelization (preliminary report). |
APLAS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
Extending Sized Type with Collection Analysis. |
APLAS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo |
A Lazy Divide and Conquer Approach to Constraint Solving. |
ICTAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi |
Calculating a New Data Mining Algorithm for Market Basket Analysis. |
Journal of Functional and Logic Programming |
2001 |
DBLP BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Siau-Cheng Khoo |
Calculating Sized Types. |
Higher-Order and Symbolic Computation |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
Deriving Pre-conditions for Array Bound Check Elimination. |
PADO |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo |
Charting Patterns on Price History. |
ICFP |
2001 |
DBLP DOI BibTeX RDF |
Haskell |
| 1 | Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
Higher-Order Polymorphic Sized Types for Safety Checks. |
APLAS |
2001 |
DBLP BibTeX RDF |
|
| 1 | Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi |
Calculating a New Data Mining Algorithm for Market Basket Analysis. |
PADL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Siau-Cheng Khoo |
Calculating Sized Types. |
PEPM |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu |
Deriving Pre-Conditions for Array Bound Check Elimination. |
APLAS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi |
Deriving Parallel Codes via Invariants. |
SAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Aik-Hui Goh, Siau-Cheng Khoo |
Effective Optimization of Multiple Traversals in Lazy Languages. |
PEPM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin |
Parallelization in Calculational Forms. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Akihiko Takano, Zhenjiang Hu |
Parallelization via Context Preservation. (PDF / PS) |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
Context Preservation, Second-Order Generalization, Parallelization |
| 1 | Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee |
Synchronisation Analysis to Stop Tulping. |
ESOP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Meng Teo, Wei-Ngan Chin, Soon Huat Tan |
Deriving efficient parallel programs for complex recurrences. |
PASCO |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Masami Hagiya |
A Bounds Inference Method for Vector-Based Memoisation. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Siau-Cheng Khoo |
Better Consumers for Program Specializations. |
Journal of Functional and Logic Programming |
1996 |
DBLP BibTeX RDF |
|
| 1 | Wei-Ngan Chin, John Darlington |
A Higher-Order Removal Method. |
Lisp and Symbolic Computation |
1996 |
DBLP BibTeX RDF |
|
| 1 | Wei-Ngan Chin, John Darlington, Yike Guo |
Parallelizing Conditional Recurrences. |
Euro-Par, Vol. I |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann |
Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). |
Dagstuhl Seminar on Partial Evaluation |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Wu, Wei-Ngan Chin |
Variable Timestamp-Based Distributed Deadlock Detection and Resolution. |
ASIAN |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary S. H. Tan, Wei-Ngan Chin |
Load Balancing and Scheduling in a Neighbourhood-Based Multiprocessor. |
Computers and Artificial Intelligence |
1995 |
DBLP BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Masami Hagiya |
A Transformation Method for Dynamic-Sized Tabulation. |
Acta Inf. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Siau-Cheng Khoo |
Better Consumers for Deforestation (Extended Abstract) |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin |
Safe Fusion of Functional Expressions II: Further Improvements. |
J. Funct. Program. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin |
Towards an Automated Tupling Strategy. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin, Siau-Cheng Khoo |
Tupling Functions with Multiple Recursion Parameters. |
WSA |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin |
Fully Lazy Higher-Order Removal. |
PEPM |
1992 |
DBLP BibTeX RDF |
|
| 1 | Gary S. H. Tan, Wei-Ngan Chin |
Load Balancing in a Neighbourhood-Based Multiprocessor. |
CONPAR |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Ngan Chin |
Safe Fusion of Functional Expressions. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")