Sotabase

Career

· Research Group Member, PolyArch Research Laboratory, UCLA2021–

Publications (165)

Many-core compiler fuzzing
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2015
229
cited
GPUVerify: a verifier for GPU kernels
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2012
184
cited
Automated testing of graphics shader compilers
Proc. ACM Program. Lang. · 2017
145
cited
GPU concurrency Weak behaviours and programming assumptions
2015
135
cited
Software Verification Using k-Induction
Sensors Applications Symposium · 2011
124
cited
Symmetry in temporal logic model checking
CSUR · 2006
116
cited
PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming
International Conference on Parallel Architectures and Compilation Techniques · 2015
112
cited
Certified Roundoff Error Bounds Using Semidefinite Programming
ACM Transactions on Mathematical Software · 2015
96
cited
Engineering a Static Verification Tool for GPU Kernels
International Conference on Computer Aided Verification · 2014
70
cited
Concurrency testing using schedule bounding: an empirical study
ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming · 2014
69
cited
Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis
Euromicro Conference on Real-Time Systems · 2013
62
cited
GrayC: Greybox Fuzzing of Compilers and Analysers for C
International Symposium on Software Testing and Analysis · 2023
62
cited
Offload - Automating Code Migration to Heterogeneous Multicore Systems
International Conference on High Performance Embedded Architectures and Compilers · 2010
56
cited
Metamorphic Testing for (Graphics) Compilers
International Workshop on Metamorphic Testing · 2016
53
cited
The Design and Implementation of a Verification Technique for GPU Kernels
ACM Transactions on Programming Languages and Systems · 2015
53
cited
Compiler fuzzing: how much does it matter?
Proc. ACM Program. Lang. · 2019
51
cited
Floating-point symbolic execution: A case study in N-version programming
International Conference on Automated Software Engineering · 2017
48
cited
Symmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs
International Conference on Computer Aided Verification · 2011
48
cited
Test-case reduction and deduplication almost for free with transformation-based compiler testing
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2021
48
cited
Automatic Symmetry Detection for Model Checking Using Computational Group Theory
World Congress on Formal Methods · 2005
45
cited
Sotabase