Seguir
Dan Grossman
Dan Grossman
Computer Science, University of Washington
Dirección de correo verificada de cs.washington.edu - Página principal
Título
Citado por
Citado por
Año
Cyclone: a safe dialect of C.
T Jim, JG Morrisett, D Grossman, MW Hicks, J Cheney, Y Wang
USENIX Annual Technical Conference, General Track, 275-288, 2002
11102002
EnerJ: Approximate data types for safe and general low-power computation
A Sampson, W Dietl, E Fortuna, D Gnanapragasam, L Ceze, D Grossman
ACM SIGPLAN Notices 46 (6), 164-174, 2011
9842011
Region-based memory management in Cyclone
D Grossman, G Morrisett, T Jim, M Hicks, Y Wang, J Cheney
Proceedings of the ACM SIGPLAN 2002 Conference on Programming language …, 2002
5342002
Learning Bayesian network classifiers by maximizing conditional likelihood
D Grossman, P Domingos
Proceedings of the twenty-first international conference on Machine learning, 46, 2004
4462004
CoreDet: A compiler and runtime system for deterministic multithreaded execution
T Bergan, O Anderson, J Devietti, L Ceze, D Grossman
Proceedings of the fifteenth International Conference on Architectural …, 2010
3882010
TALx86: A realistic typed assembly language
K Crary, N Glew, D Grossman, R Samuels, F Smith, D Walker, S Weirich, ...
1999 ACM SIGPLAN Workshop on Compiler Support for System Software Atlanta …, 1999
3221999
ParaTimer: a progress indicator for MapReduce DAGs
K Morton, M Balazinska, D Grossman
Proceedings of the 2010 ACM SIGMOD International Conference on Management of …, 2010
2382010
Enforcing isolation and ordering in STM
T Shpeisman, V Menon, AR Adl-Tabatabai, S Balensiefer, D Grossman, ...
Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007
2342007
Automatic inference of structural changes for matching across program versions
M Kim, D Notkin, D Grossman
29th International Conference on Software Engineering (ICSE'07), 333-343, 2007
1942007
Estimating the progress of MapReduce pipelines
K Morton, A Friesen, M Balazinska, D Grossman
2010 IEEE 26th International Conference on Data Engineering (ICDE 2010), 681-684, 2010
1912010
Type-safe multithreading in Cyclone
D Grossman
ACM Sigplan Notices 38 (3), 13-25, 2003
1912003
High-level small-step operational semantics for transactions
KF Moore, D Grossman
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008
1422008
Type-directed completion of partial expressions
D Perelman, S Gulwani, T Ball, D Grossman
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012
1302012
Computer Science Curricula 2013
Joint Task Force on Computing Curricula
ACM/Association for Computing Machinery, 2013
1292013
AtomCaml: first-class atomicity via rollback
MF Ringenburg, D Grossman
ACM SIGPLAN Notices 40 (9), 92-104, 2005
1292005
RCDC: a relaxed consistency deterministic computer
J Devietti, J Nelson, T Bergan, L Ceze, D Grossman
ACM SIGARCH Computer Architecture News 39 (1), 67-78, 2011
1272011
Searching for type-error messages
BS Lerner, M Flower, D Grossman, C Chambers
ACM SIGPLAN Notices 42 (6), 425-434, 2007
1232007
Expressing and verifying probabilistic assertions
A Sampson, P Panchekha, T Mytkowicz, KS McKinley, D Grossman, ...
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
1222014
IFRit: Interference-free regions for dynamic data-race detection
L Effinger-Dean, B Lucia, L Ceze, D Grossman, HJ Boehm
Proceedings of the ACM international conference on Object oriented …, 2012
1212012
Optimizing synthesis with metasketches
J Bornholt, E Torlak, D Grossman, L Ceze
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
1122016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20