Shang-Wei LIN
林尚威
Associate Professor
InfoComm Technology (ICT),
Singapore Institute of Technology (SIT)
shangwei.lin at singaporetech dot edu dot sg
Shang-Wei LIN's Awards
by
-
ACM SIGSOFT Distinguished Paper Award (2022)
“Finding Permission Bugs in Smart Contracts with Role Mining”, 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022). -
ACM SIGSOFT Distinguished Paper Award (2017)
“FiB: Squeezing Loop Invariants by Interpolation between Forward/Backward Predicate Transformers”, 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017). -
Best Paper Award (2017)
“Learning-Based Compositional Parameter Synthesis for Event-Recording Automata”, 37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2017).