Michael Carbin
Michael Carbin
Bestätigte E-Mail-Adresse bei csail.mit.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
The lottery ticket hypothesis: Finding sparse, trainable neural networks
J Frankle, M Carbin
arXiv preprint arXiv:1803.03635, 2018
723*2018
Automatically patching errors in deployed software
JH Perkins, S Kim, S Larsen, S Amarasinghe, J Bachrach, M Carbin, ...
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009
4252009
Dynamic knobs for responsive power-aware computing
H Hoffmann, S Sidiroglou, M Carbin, S Misailovic, A Agarwal, M Rinard
ACM SIGARCH computer architecture news 39 (1), 199-212, 2011
3792011
Verifying quantitative reliability for programs that execute on unreliable hardware
M Carbin, S Misailovic, MC Rinard
ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages …, 2013
2792013
Using datalog with binary decision diagrams for program analysis
J Whaley, D Avots, M Carbin, MS Lam
Asian Symposium on Programming Languages and Systems, 97-118, 2005
2132005
Context-sensitive program analysis as database queries
MS Lam, J Whaley, VB Livshits, MC Martin, D Avots, M Carbin, C Unkel
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on …, 2005
2122005
Chisel: Reliability-and accuracy-aware optimization of approximate computational kernels
S Misailovic, M Carbin, S Achour, Z Qi, MC Rinard
ACM Sigplan Notices 49 (10), 309-328, 2014
1882014
Proving acceptability properties of relaxed nondeterministic approximate programs
M Carbin, D Kim, S Misailovic, MC Rinard
PLDI: Programming Languages Design and Implementation 47 (6), 169-180, 2012
1112012
Detecting and escaping infinite loops with jolt
M Carbin, S Misailovic, M Kling, MC Rinard
European Conference on Object-Oriented Programming, 609-633, 2011
812011
Stabilizing the lottery ticket hypothesis
J Frankle, GK Dziugaite, DM Roy, M Carbin
arXiv preprint arXiv:1903.01611, 2019
74*2019
Automatically identifying critical input regions and code in applications
M Carbin, MC Rinard
Proceedings of the 19th international symposium on Software testing and …, 2010
672010
Automatic input rectification
F Long, V Ganesh, M Carbin, S Sidiroglou, M Rinard
2012 34th International Conference on Software Engineering (ICSE), 80-90, 2012
642012
Configuration of isolated extensions and device drivers
GC Hunt, JR Larus, MA Fähndrich, O Hodson, DR Tarditi, M Spear, ...
US Patent 8,074,231, 2011
552011
Transactional collection classes
BD Carlstrom, A McDonald, M Carbin, C Kozyrakis, K Olukotun
Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of …, 2007
552007
Reflective program generation with patterns
M Fähndrich, M Carbin, JR Larus
Proceedings of the 5th international conference on Generative programming …, 2006
532006
Bypass virtualization
IITJ Purtell, W Chun, M Carbin
US Patent 8,065,687, 2011
512011
Bolt: on-demand infinite loop escape in unmodified binaries
M Kling, S Misailovic, M Carbin, M Rinard
ACM SIGPLAN Notices 47 (10), 431-450, 2012
392012
Ithemal: Accurate, portable and fast basic block throughput estimation using deep neural networks
C Mendis, A Renda, S Amarasinghe, M Carbin
International Conference on Machine Learning, 4505-4515, 2019
302019
Comparing rewinding and fine-tuning in neural network pruning
A Renda, J Frankle, M Carbin
arXiv preprint arXiv:2003.02389, 2020
272020
Verified integrity properties for safe approximate program transformations
M Carbin, D Kim, S Misailovic, MC Rinard
Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013
272013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20