Concepedia

Siwakorn Srisakaokul

SS

4

Publications

80

Citations

4

H-Index

2014

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

Siwakorn Srisakaokul is an author at University of Illinois Urbana-Champaign specializing in computer science, engineering, and data science.

Top concepts

EngineeringComputer ScienceData ScienceVerificationFormal MethodsSoftware DesignProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning

Publications per year

2014–2018

4

Publications

4

Multiple-Implementation Testing of Supervised Learning Software

Siwakorn Srisakaokul, Zhengkai Wu, Angello Astorga et al. · National Conference on Artificial Intelligence · 2016 · 40 citations

Software Maintenance, Engineering, Computational Testing +11

MULDEF: Multi-model-based Defense Against Adversarial Examples for Neural Networks

Siwakorn Srisakaokul, Yuhao Zhang, Zexuan Zhong et al. · arXiv (Cornell University) · 2018 · 16 citations · Full text

Hardware Security, Adversarial Examples, Engineering +15

PreInfer: Automatic Inference of Preconditions via Symbolic Analysis

Angello Astorga, Siwakorn Srisakaokul, Xusheng Xiao et al. · 2018 · 13 citations

Program Checking, Engineering, Verification +21

A type system for format strings

Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul et al. · 2014 · 11 citations

Engineering, Data Type, Automated Reasoning +7

Rows per page

1–4 of 4