Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Kohei Suenaga
Researcher
PaperConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative ProgramsAuthorship / preprint / 2020PaperInput Synthesis for Sampled Data Systems by Program LogicAuthorship / preprint / 2015PaperGeneralized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant SynthesisAuthorship / preprint / 2016PaperThe Lattice-Theoretic Essence of Property Directed Reachability AnalysisAuthorship / preprint / 2022PaperLearning Heuristics for Template-based CEGIS of Loop Invariants with Reinforcement LearningAuthorship / preprint / 2022PaperOblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic EncryptionAuthorship / preprint / 2022PaperGoal-Aware RSS for Complex Scenarios via Program LogicAuthorship / preprint / 2022