Παρακολούθηση
Jan Hoffmann
Jan Hoffmann
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cmu.edu - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Multivariate amortized resource analysis
J Hoffmann, K Aehlig, M Hofmann
ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (3), 1-62, 2012
3302012
Amortized resource analysis with polynomial potential: A static inference of polynomial bounds for functional programs
J Hoffmann, M Hofmann
Programming Languages and Systems: 19th European Symposium on Programming …, 2010
1662010
Towards automatic resource bound analysis for OCaml
J Hoffmann, A Das, SC Weng
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
1622017
Compositional certified resource bounds
Q Carbonneaux, J Hoffmann, Z Shao
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015
1372015
Resource aware ML
J Hoffmann, K Aehlig, M Hofmann
Computer Aided Verification, 781-786, 2012
1182012
Bounded expectations: resource analysis for probabilistic programs
VC Ngo, Q Carbonneaux, J Hoffmann
ACM SIGPLAN Notices 53 (4), 496-512, 2018
1122018
End-to-end verification of stack-space bounds for C programs
Q Carbonneaux, J Hoffmann, T Ramananandro, Z Shao
ACM SIGPLAN Notices 49 (6), 270-281, 2014
922014
Relational cost analysis
E Çiçek, G Barthe, M Gaboardi, D Garg, J Hoffmann
ACM SIGPLAN Notices 52 (1), 316-329, 2017
902017
Automatic static cost analysis for parallel programs
J Hoffmann, Z Shao
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
902015
A linear differential transimpedance amplifier for 100-Gb/s integrated coherent optical fiber receivers
A Awny, R Nagulapalli, M Kroh, J Hoffmann, P Runge, D Micusik, ...
IEEE Transactions on Microwave Theory and Techniques 66 (2), 973-986, 2017
662017
Higher-Order Functional Reactive Programming in Bounded Space
NR Krishnaswami, N Benton, J Hoffmann
662012
Verifying and synthesizing constant-resource implementations with types
M Dehesa-Azuara, M Fredrikson, J Hoffmann
2017 IEEE Symposium on Security and Privacy (SP), 710-728, 2017
622017
Resolution trees with lemmas: Resolution refinements that characterize DLL algorithms with clause learning
SR Buss, J Hoffmann, J Johannsen
Arxiv preprint arXiv:0811.1075, 2008
622008
Automated resource analysis with Coq proof objects
Q Carbonneaux, J Hoffmann, T Reps, Z Shao
International Conference on Computer Aided Verification, 64-85, 2017
582017
Resource-guided program synthesis
T Knoth, D Wang, N Polikarpova, J Hoffmann
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
552019
Types with Potential: Polynomial Resource Bounds via Automatic Amortized Analysis
J Hoffmann
epubli, 2011
502011
PMAF: an algebraic framework for static analysis of probabilistic programs
D Wang, J Hoffmann, T Reps
ACM SIGPLAN Notices 53 (4), 513-528, 2018
452018
Characterizing progress properties of concurrent objects via contextual refinements
H Liang, J Hoffmann, X Feng, Z Shao
International Conference on Concurrency Theory, 227-241, 2013
452013
Work analysis with resource-aware session types
A Das, J Hoffmann, F Pfenning
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
442018
Type-based amortized resource analysis with integers and arrays
J Hoffmann, Z Shao
Journal of Functional Programming 25, e17, 2015
422015
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20