The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Wei-Ngan Chin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Wei-Ngan Chin
    Safe Fusion of Functional Expressions. [Citation Graph (1, 0)][DBLP]
    LISP and Functional Programming, 1992, pp:11-20 [Conf]
  2. Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
    Deriving Pre-Conditions for Array Bound Check Elimination. [Citation Graph (0, 0)][DBLP]
    APLAS, 2000, pp:9-21 [Conf]
  3. Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
    Higher-Order Polymorphic Sized Types for Safety Checks. [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:117-131 [Conf]
  4. Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
    Extending Sized Type with Collection Analysis. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:396-413 [Conf]
  5. Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu
    A Type-Based Approach to Parallelization (preliminary report). [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:175-192 [Conf]
  6. Hui Wu, Wei-Ngan Chin
    Variable Timestamp-Based Distributed Deadlock Detection and Resolution. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:96-105 [Conf]
  7. Gary S. H. Tan, Wei-Ngan Chin
    Load Balancing in a Neighbourhood-Based Multiprocessor. [Citation Graph (0, 0)][DBLP]
    CONPAR, 1992, pp:801-802 [Conf]
  8. Wei-Ngan Chin, Siau-Cheng Khoo, Peter Thiemann
    Synchronization Analyses for Multiple Recursion Parameters (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Dagstuhl Seminar on Partial Evaluation, 1996, pp:33-53 [Conf]
  9. Wei-Ngan Chin, Siau-Cheng Khoo, Tat-Wee Lee
    Synchronisation Analysis to Stop Tulping. [Citation Graph (0, 0)][DBLP]
    ESOP, 1998, pp:75-89 [Conf]
  10. Wei-Ngan Chin, John Darlington, Yike Guo
    Parallelizing Conditional Recurrences. [Citation Graph (0, 0)][DBLP]
    Euro-Par, Vol. I, 1996, pp:579-586 [Conf]
  11. Shengchao Qin, Wei-Ngan Chin
    Mapping Statecharts to Verilog for Hardware/Software Co-specification. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:282-300 [Conf]
  12. Shengchao Qin, Jin Song Dong, Wei-Ngan Chin
    A Semantic Foundation for TCOZ in Unifying Theories of Programming. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:321-340 [Conf]
  13. Wei-Ngan Chin, Zhenjiang Hu
    Towards a Modular Program Derivation via Fusion and Tupling. [Citation Graph (0, 0)][DBLP]
    GPCE, 2002, pp:140-155 [Conf]
  14. Wei-Ngan Chin, Akihiko Takano, Zhenjiang Hu
    Parallelization via Context Preservation. [Citation Graph (0, 0)][DBLP]
    ICCL, 1998, pp:153-0 [Conf]
  15. Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
    Charting Patterns on Price History. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:134-145 [Conf]
  16. Wei-Ngan Chin, Masami Hagiya
    A Bounds Inference Method for Vector-Based Memoisation. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:176-187 [Conf]
  17. Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen
    Verifying safety policies with size properties and alias controls. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:186-195 [Conf]
  18. Viet-Anh Vu Tran, Shengchao Qin, Wei-Ngan Chin
    An Automatic Mapping from Statecharts to Verilog. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2004, pp:187-203 [Conf]
  19. Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo
    A Lazy Divide and Conquer Approach to Constraint Solving. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2002, pp:91-0 [Conf]
  20. Wei-Ngan Chin, Florin Craciun, Siau-Cheng Khoo, Corneliu Popeea
    A flow-based approach for variant parametric types. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2006, pp:273-290 [Conf]
  21. Florin Craciun, Hong Yaw Goh, Corneliu Popeea, Wei-Ngan Chin
    Core-java: an expression-oriented java. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2006, pp:639-640 [Conf]
  22. Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi
    Calculating a New Data Mining Algorithm for Market Basket Analysis. [Citation Graph (0, 0)][DBLP]
    PADL, 2000, pp:169-184 [Conf]
  23. Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
    Deriving Pre-conditions for Array Bound Check Elimination. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:2-24 [Conf]
  24. Wei-Ngan Chin
    Fully Lazy Higher-Order Removal. [Citation Graph (0, 0)][DBLP]
    PEPM, 1992, pp:38-47 [Conf]
  25. Wei-Ngan Chin
    Towards an Automated Tupling Strategy. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:119-132 [Conf]
  26. Wei-Ngan Chin, Aik-Hui Goh, Siau-Cheng Khoo
    Effective Optimization of Multiple Traversals in Lazy Languages. [Citation Graph (0, 0)][DBLP]
    PEPM, 1999, pp:119-130 [Conf]
  27. Wei-Ngan Chin, Siau-Cheng Khoo
    Calculating Sized Types. [Citation Graph (0, 0)][DBLP]
    PEPM, 2000, pp:62-72 [Conf]
  28. Wei-Ngan Chin, Siau-Cheng Khoo, Dana N. Xu
    Extending sized type with collection analysis. [Citation Graph (0, 0)][DBLP]
    PEPM, 2003, pp:75-84 [Conf]
  29. Corneliu Popeea, Wei-Ngan Chin
    A type system for resource protocol verification and its correctness proof. [Citation Graph (0, 0)][DBLP]
    PEPM, 2004, pp:135-146 [Conf]
  30. Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard
    Region inference for an object-oriented language. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:243-254 [Conf]
  31. Wei-Ngan Chin, Siau-Cheng Khoo
    Better Consumers for Deforestation (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    PLILP, 1995, pp:223-240 [Conf]
  32. Zhenjiang Hu, Masato Takeichi, Wei-Ngan Chin
    Parallelization in Calculational Forms. [Citation Graph (0, 0)][DBLP]
    POPL, 1998, pp:316-328 [Conf]
  33. Stefan Andrei, Wei-Ngan Chin
    Incremental Satisfiability Counting for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time and Embedded Technology and Applications Symposium, 2004, pp:482-489 [Conf]
  34. Stefan Andrei, Albert Mo Kim Cheng, Wei-Ngan Chin, Mihai Lupu
    Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting. [Citation Graph (0, 0)][DBLP]
    IEEE Real-Time and Embedded Technology and Applications Symposium, 2005, pp:519-528 [Conf]
  35. Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu
    Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. [Citation Graph (0, 0)][DBLP]
    RTCSA, 2005, pp:357-360 [Conf]
  36. Wei-Ngan Chin, Siau-Cheng Khoo
    Tupling Functions with Multiple Recursion Parameters. [Citation Graph (0, 0)][DBLP]
    WSA, 1993, pp:124-140 [Conf]
  37. Wei-Ngan Chin, Siau-Cheng Khoo, Zhenjiang Hu, Masato Takeichi
    Deriving Parallel Codes via Invariants. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:75-94 [Conf]
  38. Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard
    Memory Usage Verification for OO Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 2005, pp:70-86 [Conf]
  39. Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard
    Incremental Deterministic Planning. [Citation Graph (0, 0)][DBLP]
    SYNASC, 2006, pp:93-102 [Conf]
  40. Stefan Andrei, Wei-Ngan Chin, Salvador Valerio Cavadini
    Self-embedded context-free grammars with regular counterparts. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2004, v:40, n:5, pp:349-365 [Journal]
  41. Wei-Ngan Chin, Masami Hagiya
    A Transformation Method for Dynamic-Sized Tabulation [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1995, v:32, n:2, pp:93-115 [Journal]
  42. Gary S. H. Tan, Wei-Ngan Chin
    Load Balancing and Scheduling in a Neighbourhood-Based Multiprocessor. [Citation Graph (0, 0)][DBLP]
    Computers and Artificial Intelligence, 1995, v:14, n:1, pp:- [Journal]
  43. Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras
    A Tutorial on a Monadic Approach for Expressions Evaluation. [Citation Graph (0, 0)][DBLP]
    Sci. Ann. Cuza Univ., 2002, v:12, n:, pp:1-27 [Journal]
  44. Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras
    Co-determinism and unambiguity of automata accepting finite or infinite words. [Citation Graph (0, 0)][DBLP]
    Sci. Ann. Cuza Univ., 2004, v:14, n:, pp:1-11 [Journal]
  45. Wei-Ngan Chin, Stefan Andrei, Mihai Lupu
    Specification and Validation of Global Contracts. [Citation Graph (0, 0)][DBLP]
    Sci. Ann. Cuza Univ., 2004, v:15, n:, pp:1-11 [Journal]
  46. Wei-Ngan Chin, Siau-Cheng Khoo, Neil Jones
    Redundant Call Elimination via Tupling. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:69, n:1-2, pp:1-37 [Journal]
  47. Wei-Ngan Chin, Siau-Cheng Khoo
    Better Consumers for Program Specializations. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1996, v:1996, n:4, pp:- [Journal]
  48. Zhenjiang Hu, Wei-Ngan Chin, Masato Takeichi
    Calculating a New Data Mining Algorithm for Market Basket Analysis. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 2001, v:2001, n:8, pp:- [Journal]
  49. Wei-Ngan Chin
    Safe Fusion of Functional Expressions II: Further Improvements. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1994, v:4, n:4, pp:515-555 [Journal]
  50. Stefan Andrei, Wei-Ngan Chin
    Solving a class of higher-order equations over a group structure. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2004, v:37, n:3, pp:329-341 [Journal]
  51. Wei-Ngan Chin, John Darlington
    A Higher-Order Removal Method. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1996, v:9, n:4, pp:287-322 [Journal]
  52. Wei-Ngan Chin, Olivier Danvy, Peter Thiemann
    Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2004, v:17, n:1-2, pp:5-6 [Journal]
  53. Wei-Ngan Chin, Siau-Cheng Khoo
    Calculating Sized Types. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2001, v:14, n:2-3, pp:261-300 [Journal]
  54. Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Mihai Lupu
    Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 2006, v:55, n:7, pp:830-842 [Journal]
  55. Stefan Andrei, Salvador Valerio Cavadini, Wei-Ngan Chin
    A new algorithm for regularizing one-letter context-free grammars. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:306, n:1-3, pp:113-122 [Journal]
  56. Hui Wu, Wei-Ngan Chin, Joxan Jaffar
    An Efficient Distributed Deadlock Avoidance Algorithm for the AND Model. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2002, v:28, n:1, pp:18-29 [Journal]
  57. Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin
    Automated Verification of Shape, Size and Bag Properties. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:307-320 [Conf]

  58. A Flow-Sensitive Region Inference for CLI. [Citation Graph (, )][DBLP]


  59. Inferring Disjunctive Postconditions. [Citation Graph (, )][DBLP]


  60. Memory Usage Verification Using Hip/Sleek. [Citation Graph (, )][DBLP]


  61. Enhancing Program Verification with Lemmas. [Citation Graph (, )][DBLP]


  62. An Interval-Based Inference of Variant Parametric Types. [Citation Graph (, )][DBLP]


  63. Multiple Pre/Post Specifications for Heap-Manipulating Methods. [Citation Graph (, )][DBLP]


  64. A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented Paradigm. [Citation Graph (, )][DBLP]


  65. Analysing memory resource bounds for low-level programs. [Citation Graph (, )][DBLP]


  66. A practical and precise inference and specializer for array bound checks elimination. [Citation Graph (, )][DBLP]


  67. Translation and optimization for a core calculus with exceptions. [Citation Graph (, )][DBLP]


  68. Enhancing modular OO verification with separation logic. [Citation Graph (, )][DBLP]


  69. Dual analysis for proving safety and finding bugs. [Citation Graph (, )][DBLP]


  70. A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets. [Citation Graph (, )][DBLP]


  71. Completeness of Pointer Program Verification by Separation Logic. [Citation Graph (, )][DBLP]


  72. Automated Verification of Shape and Size Properties Via Separation Logic. [Citation Graph (, )][DBLP]


  73. Runtime Checking for Separation Logic. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002