Suman Jana
16 papers · 2012–2026 · 6 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+6 more ↓ Show less ↑
π Academic Marathon (13) π§ Keyword Pioneer π Interdisciplinary Bridge π Conference Polyglot (5) π Cross-Pollinator (3)
πΊοΈ
Taxonomy Completionist
(21)
π
Conference Polyglot
(5)
π
Academic Marathon
(13)
π₯
Mega-Team
(71)
π
Century Club
(14)
π
Conference Pioneer
Conferences
NIPS (5)
ICLR (3)
ICML (3)
ACL (2)
OSDI (2)
NAACL (1)
Top co-authors
Keywords
neural network verification
(4)
branch and bound
(3)
safety property
(2)
adversarial attack
(2)
bound propagation
(2)
mixed integer programming
(2)
logic networks
(1)
program verification
(1)
semidefinite programming
(1)
convex relaxation
(1)
linear programming
(1)
distributionally robust optimization
(1)
adversarial training
(1)
perturbation robustness
(1)
cutting plane
(1)
structural causal model
(1)
formal verification
(1)
invariant learning
(1)
network pruning
(1)
adversarial robustness
(1)
Papers
Sense and Sensitivity: Examining the Influence of Semantic Recall on Long Context Code Understanding
ACL 2026
XOXO: Stealthy Cross-Origin Context Poisoning Attacks against AI Coding Assistants
ACL 2026
CodeSCM: Causal Analysis for Multi-Modal Code Generation
NAACL 2025
Position: TrustLLM: Trustworthiness in Large Language Models
ICML 2024
Beyond Accuracy: Evaluating Self-Consistency of Code Large Language Models with IdentityChain
ICLR 2024
Exploiting Code Symmetries for Learning Program Semantics
ICML 2024
A Branch and Bound Framework for Stronger Adversarial Attacks of ReLU Networks
ICML 2022
General Cutting Planes for Bound-Propagation-Based Neural Network Verification
NIPS 2022
Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers
ICLR 2021
Beta-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Robustness Verification
NIPS 2021
DistAI: Data-Driven Automated Invariant Learning for Distributed Protocols
OSDI 2021
HYDRA: Pruning Adversarially Robust Neural Networks
NIPS 2020
CLN2INV: Learning Loop Invariants with Continuous Logic Networks
ICLR 2020
Ensuring Fairness Beyond the Training Data
NIPS 2020
Efficient Formal Safety Analysis of Neural Networks
NIPS 2018
Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels
OSDI 2012