| Higher-order approximate relational refinement types for mechanism design and differential privacy G Barthe, M Gaboardi, EJ Gallego Arias, J Hsu, A Roth, PY Strub ACM SIGPLAN Notices 50 (1), 55-68, 2015 | 100 | 2015 |
| Dual query: Practical private query release for high dimensional data M Gaboardi, EJG Arias, J Hsu, A Roth, ZS Wu International Conference on Machine Learning, 1170-1178, 2014 | 90 | 2014 |
| Proving differential privacy in Hoare logic G Barthe, M Gaboardi, EJG Arias, J Hsu, C Kunz, PY Strub 2014 IEEE 27th Computer Security Foundations Symposium, 411-424, 2014 | 63 | 2014 |
| Differentially private bayesian programming G Barthe, GP Farina, M Gaboardi, EJG Arias, A Gordon, J Hsu, PY Strub Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016 | 40 | 2016 |
| jsCoq: Towards hybrid theorem proving interfaces EJG Arias, B Pin, P Jouvelot arXiv preprint arXiv:1701.07125, 2017 | 32 | 2017 |
| Really natural linear indexed type checking AA De Amorim, M Gaboardi, EJ Gallego Arias, J Hsu Proceedings of the 26nd 2014 International Symposium on Implementation and …, 2014 | 28 | 2014 |
| SerAPI: Machine-friendly, data-centric serialization for Coq EJG Arias | 22 | 2016 |
| Computer-aided verification for mechanism design G Barthe, M Gaboardi, EJG Arias, J Hsu, A Roth, PY Strub Web and Internet Economics: 12th International Conference, WINE 2016 …, 2016 | 19 | 2016 |
| Sensitivity analysis using type-based constraints L d'Antoni, M Gaboardi, EJ Gallego Arias, A Haeberlen, B Pierce Proceedings of the 1st annual workshop on Functional programming concepts in …, 2013 | 17 | 2013 |
| Certified graph view maintenance with regular datalog A Bonifati, S Dumbrava, EJG Arias Theory and Practice of Logic Programming 18 (3-4), 372-389, 2018 | 12 | 2018 |
| A proposal for disequality constraints in Curry EJG Arias, JM Carballo, JMR Poza Electronic Notes in Theoretical Computer Science 177, 269-285, 2007 | 12 | 2007 |
| Mutation analysis for coq A Celik, K Palmskog, M Parovic, EJG Arias, M Gligoric 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 11 | 2019 |
| mCoq: mutation analysis for Coq verification projects K Jain, K Palmskog, A Celik, EJG Arias, M Gligoric Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 7 | 2020 |
| Logic programming in tabular allegories EJ Gallego Arias, J B Lipton Technical Communications of the 28th International Conference on Logic …, 2012 | 7 | 2012 |
| First-order unification using variable-free relational algebra EJG Arias, J Lipton, J Mariño, P Nogueira Logic Journal of the IGPL 19 (6), 790-820, 2011 | 6 | 2011 |
| Constraint logic programming with a relational machine EJ Gallego Arias, J Lipton, J Mariño Formal Aspects of Computing 29, 97-124, 2017 | 5 | 2017 |
| An overview of the Sloth2005 Curry system: system description EJ Gallego Arias, J Marino Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic …, 2005 | 4 | 2005 |
| Type-based sensitivity analysis L D’Antoni, M Gaboardi, EJG Arias, A Haeberlen, BC Pierce Unpublished manuscript, 2013 | 3 | 2013 |
| Impulse-response and cad-model-based physical modeling in faust PA Grumiaux, R Michon, EJG Arias, P Jouvelot Linux Audio Conférence 2017, 151-153, 2017 | 2 | 2017 |
| Declarative compilation for constraint logic programming EJG Arias, J Lipton, J Mariño Logic-Based Program Synthesis and Transformation: 24th International …, 2015 | 2 | 2015 |
Justin HsuCornell UniversityVerified email at justinhsu.net
