Justin Hsu

Orcid: 0000-0002-8953-7060

According to our database1, Justin Hsu authored at least 73 papers between 2012 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Numerical Fuzz: A Type System for Rounding Error Analysis.
Proc. ACM Program. Lang., 2024

A Categorical Approach to DIBI Models.
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

Verifying Cake-Cutting, Faster.
Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023
Cutting the Cake: A Language for Fair Division.
Proc. ACM Program. Lang., 2023

Separated and Shared Effects in Higher-Order Languages.
CoRR, 2023

Hardware-Aware Latency Pruning for Real-Time 3D Object Detection.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Expressive Policies For Microservice Networks.
Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, 2023

2022
Symbolic execution for randomized programs.
Proc. ACM Program. Lang., 2022

A separation logic for negative dependence.
Proc. ACM Program. Lang., 2022

P4BID: information flow control in p4.
Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

Data-Driven Invariant Learning for Probabilistic Programs.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021
A pre-expectation calculus for probabilistic sensitivity.
Proc. ACM Program. Lang., 2021

Advances and Open Problems in Federated Learning.
Found. Trends Mach. Learn., 2021

Data-Driven Invariant Learning for Probabilistic Programs.
CoRR, 2021

Learning Differentially Private Mechanisms.
Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

A Quantum Interpretation of Bunched Logic & Quantum Separation Logic.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

A Bunched Logic for Conditional Independence.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time.
Proc. ACM Program. Lang., 2020

Relational proofs for quantum programs.
Proc. ACM Program. Lang., 2020

A probabilistic separation logic.
Proc. ACM Program. Lang., 2020

A Logic to Reason about Dependence and Independence.
CoRR, 2020

Analyzing Accuracy Loss in Randomized Smoothing Defenses.
CoRR, 2020

Hypothesis Testing Interpretations and Renyi Differential Privacy.
Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics, 2020

2019
Trace abstraction modulo probability.
Proc. ACM Program. Lang., 2019

Formal verification of higher-order probabilistic programs: reasoning about approximation, convergence, Bayesian inference, and optimization.
Proc. ACM Program. Lang., 2019

Relational ⋆⋆\star-Liftings for Differential Privacy.
Log. Methods Comput. Sci., 2019

Advances and Open Problems in Federated Learning.
CoRR, 2019

Kantorovich Continuity of Probabilistic Programs.
CoRR, 2019

Coupling Techniques for Reasoning about Quantum Programs.
CoRR, 2019

Scalable verification of probabilistic networks.
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Probabilistic Relational Reasoning via Metrics.
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Data Poisoning against Differentially-Private Learners: Attacks and Defenses.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Fake News Detection via NLP is Vulnerable to Adversarial Attacks.
Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

2018
Proving expected sensitivity of probabilistic programs.
Proc. ACM Program. Lang., 2018

Synthesizing coupling proofs of differential privacy.
Proc. ACM Program. Lang., 2018

Formal verification of higher-order probabilistic programs.
CoRR, 2018

Metric Semantics for Probabilistic Relational Reasoning.
CoRR, 2018

Convex Language Semantics for Nondeterministic Probabilistic Automata.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2018, 2018

Almost Sure Productivity.
Proceedings of the 45th International Colloquium on Automata, Languages, and Programming, 2018

An Assertion-Based Program Logic for Probabilistic Programs.
Proceedings of the Programming Languages and Systems, 2018

Constraint-Based Synthesis of Coupling Proofs.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017
Probabilistic Couplings for Probabilistic Reasoning.
CoRR, 2017

Reasoning about Divergences for Relaxations of Differential Privacy.
CoRR, 2017

Coupling proofs are probabilistic product programs.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

A semantic account of metric preservation.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Proving uniformity and independence by self-composition and coupling.
Proceedings of the LPAR-21, 2017

*-Liftings for Differential Privacy.
Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2016
Programming language techniques for differential privacy.
ACM SIGLOG News, 2016

Do prices coordinate markets?
SIGecom Exch., 2016

Private Matchings and Allocations.
SIAM J. Comput., 2016

Dual Query: Practical Private Query Release for High Dimensional Data.
J. Priv. Confidentiality, 2016

Advanced Probabilistic Couplings for Differential Privacy.
CoRR, 2016

Computer-Aided Verification for Mechanism Design.
Proceedings of the Web and Internet Economics - 12th International Conference, 2016

Jointly Private Convex Programming.
Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms, 2016

Proving Differential Privacy via Probabilistic Couplings.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

A Program Logic for Union Bounds.
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

Advanced Probabilistic Couplings for Differential Privacy.
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

Differentially Private Bayesian Programming.
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

Synthesizing Probabilistic Invariants via Doob's Decomposition.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
A Theory AB Toolbox.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Higher-Order Approximate Relational Refinement Types for Mechanism Design and Differential Privacy.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Relational Reasoning via Probabilistic Coupling.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Online Assignment of Heterogeneous Tasks in Crowdsourcing Markets.
Proceedings of the Third AAAI Conference on Human Computation and Crowdsourcing, 2015

2014
Really Natural Linear Indexed Type Checking.
Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages, 2014

Privately Solving Linear Programs.
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

Differential Privacy: An Economic Method for Choosing Epsilon.
Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

Proving Differential Privacy in Hoare Logic.
Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013
Differential privacy for the analyst via private equilibrium computation.
Proceedings of the Symposium on Theory of Computing Conference, 2013

Linear dependent types for differential privacy.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

System FC with explicit kind equality.
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013

2012
Distributed Private Heavy Hitters.
Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012


  Loading...