Michael Carbin
Orcid: 0000-0002-6928-0456
According to our database1,
Michael Carbin
authored at least 75 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proc. ACM Program. Lang., 2024
Proc. ACM Program. Lang., 2024
Proc. ACM Program. Lang., 2024
Proceedings of the Forty-first International Conference on Machine Learning, 2024
The Cost of Scaling Down Large Language Models: Reducing Model Size Affects Memory before In-context Learning.
Proceedings of the Twelfth International Conference on Learning Representations, 2024
2023
Proc. ACM Program. Lang., October, 2023
The Cost of Down-Scaling Language Models: Fact Recall Deteriorates before In-Context Learning.
CoRR, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Proc. ACM Program. Lang., 2022
Proc. ACM Program. Lang., 2022
Cello: Efficient Computer Systems Optimization with Predictive Early Termination and Censored Regression.
CoRR, 2022
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
2021
Proc. ACM Program. Lang., 2021
𝜆ₛ: computable semantics for differentiable programming with higher-order functions and datatypes.
Proc. ACM Program. Lang., 2021
Proc. ACM Program. Lang., 2021
ACM Comput. Surv., 2021
CoRR, 2021
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
Proceedings of the Onward! 2021: Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, 2021
Proceedings of the 38th International Conference on Machine Learning, 2021
Proceedings of the 9th International Conference on Learning Representations, 2021
The Lottery Tickets Hypothesis for Supervised and Self-Supervised Pre-Training in Computer Vision Models.
Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, 2021
Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021
2020
Trace types and denotational semantics for sound programmable inference in probabilistic languages.
Proc. ACM Program. Lang., 2020
λ<sub>S</sub>: Computable semantics for differentiable programming with higher-order functions and datatypes.
CoRR, 2020
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
DiffTune: Optimizing CPU Simulator Parameters with Learned Differentiable Surrogates.
Proceedings of the 53rd Annual IEEE/ACM International Symposium on Microarchitecture, 2020
Proceedings of the 37th International Conference on Machine Learning, 2020
Proceedings of the 8th International Conference on Learning Representations, 2020
2019
Proc. ACM Program. Lang., 2019
Proceedings of the 3rd Summit on Advances in Programming Languages, 2019
Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019
BHive: A Benchmark Suite and Measurement Framework for Validating x86-64 Basic Block Performance Models.
Proceedings of the IEEE International Symposium on Workload Characterization, 2019
Ithemal: Accurate, Portable and Fast Basic Block Throughput Estimation using Deep Neural Networks.
Proceedings of the 36th International Conference on Machine Learning, 2019
Proceedings of the 7th International Conference on Learning Representations, 2019
2018
Leto: verifying application-specific hardware fault tolerance with programmable execution models.
Proc. ACM Program. Lang., 2018
Ithemal: Accurate, Portable and Fast Basic Block Throughput Estimation using Deep Neural Networks.
CoRR, 2018
Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2018
Computable decision making on the reals and other spaces: via partiality and nondeterminism.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018
2017
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017
2016
Commun. ACM, 2016
2015
2014
Chisel: reliability- and accuracy-aware optimization of approximate computational kernels.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014
2013
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013
2012
Cryptographic Path Hardening: Hiding Vulnerabilities in Software through Cryptography
CoRR, 2012
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012
Proceedings of the 34th International Conference on Software Engineering, 2012
2011
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011
2010
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010
2009
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009
2007
Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2007
2006
Proceedings of the Generative Programming and Component Engineering, 2006
2005
Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2005
Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005