Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Peiyi Tang
Exact Side Effects for Interprocedural Dependence Analysis
Related publications
Interprocedural Taint Analysis for LLVM-bitcode
Proceedings of the Institute for System Programming of RAS
Interprocedural Static Analysis of Sequencing Constraints
ACM Transactions on Software Engineering and Methodology
Software
Side Effects for Placebo Poppers
Science
Multidisciplinary
Philosophy of Science
History
Interprocedural Type Propagation for Object-Oriented Languages
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Side Effects
British Journal of General Practice
Medicine
Family Practice
Interprocedural Symbolic Range Propagation for Optimizing Compilers
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Side Effects
The Iowa Review
PARCOACH Extension for a Full-Interprocedural Collectives Verification
Interface Solutions for Interface Side Effects?
BIO Web of Conferences