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
11 links
Michael Carbin
Researcher
PaperProgramming and Reasoning with Partial ObservabilityAuthorship / preprint / 2021PaperCryptographic Path Hardening: Hiding Vulnerabilities in Software through CryptographyAuthorship / preprint / 2012PaperTwist: Sound Reasoning for Purity and Entanglement in Quantum ProgramsAuthorship / preprint / 2022PaperOn the (In)Tractability of Reinforcement Learning for LTL ObjectivesAuthorship / preprint / 2022PaperSimplifying Dependent Reductions in the Polyhedral ModelAuthorship / preprint / 2021PaperComparing Rewinding and Fine-tuning in Neural Network PruningAuthorship / preprint / 2020PaperSCOPE: Safe Exploration for Dynamic Computer Systems OptimizationAuthorship / preprint / 2022PaperCello: Efficient Computer Systems Optimization with Predictive Early Termination and Censored RegressionAuthorship / preprint / 2022