BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × China
1 × Estonia
1 × Germany
1 × Hungary
1 × Turkey
1 × United Kingdom
14 × USA
3 × Canada
3 × France
Collaborated with:
L.Ceze J.Toman T.Bergan A.Sampson ∅ B.P.Wood M.Nita J.G.Morrisett M.F.Ringenburg K.F.Moore K.Morton M.Balazinska C.S.Gordon M.D.Ernst B.S.Lerner C.Chambers L.Effinger-Dean D.Perelman S.Gulwani W.Dietl M.W.Hicks T.Jim J.Devietti H.Venter M.Kehrt M.Kim D.Notkin S.Zdancewic B.Boston P.Provost J.D.Mackinlay T.Ball M.Flower Talia Ringer D.Schwartz-Narbonne S.Tasiran M.Cao M.D.Bond E.Mullen Daryl Zuniga Z.Tatlock J.Bornholt E.Torlak I.Ackerman B.Lucia H.Boehm J.Nelson O.Anderson P.Panchekha T.Mytkowicz K.S.McKinley E.Fortuna D.Gnanapragasam Y.Wang J.Cheney T.Shpeisman V.Menon A.Adl-Tabatabai S.Balensiefer R.L.Hudson B.Saha
Talks about:
data (8) program (7) type (6) level (5) dynam (5) languag (4) memori (4) multithread (3) transact (3) approxim (3)

Person: Dan Grossman

DBLP DBLP: Grossman:Dan

Facilitated 2 volumes:

PASTE 2007Ed
PLDI 2018Ed

Contributed to:

ASPLOS 20152015
OOPSLA 20152015
ASPLOS 20142014
OOPSLA 20142014
PLDI 20142014
VLDB 20142014
ECOOP 20132013
OOPSLA 20132013
PLDI 20132013
OOPSLA 20122012
PLDI 20122012
ASPLOS 20112011
PLDI 20112011
ASPLOS 20102010
OOPSLA 20102010
SIGMOD 20102010
CC 20082008
ICFP 20082008
POPL 20082008
ICSE 20072007
OOPSLA 20072007
PLDI 20072007
ICFP 20052005
ISMM 20042004
ESOP 20022002
PLDI 20022002
ICFP 19991999
ECOOP 20162016
OOPSLA 20172017
ECOOP 20182018
PLDI 20162016
POPL 20162016
POPL 20192019

Wrote 38 papers:

ASPLOS-2015-RingenburgSACG #approximate #debugging #monitoring #quality #source code
Monitoring and Debugging the Quality of Results in Approximate Programs (MFR, AS, IA, LC, DG), pp. 399–411.
OOPSLA-2015-BostonSGC #approximate #flexibility #probability #programming #type inference
Probability type inference for flexible approximate programming (BB, AS, DG, LC), pp. 470–487.
ASPLOS-2014-WoodCG #detection #low level
Low-level detection of language-level data races with LARD (BPW, LC, DG), pp. 671–686.
OOPSLA-2014-BerganGC #execution #parallel #source code #symbolic computation #thread
Symbolic execution of multithreaded programs from arbitrary program contexts (TB, DG, LC), pp. 491–506.
PLDI-2014-PerelmanGGP #synthesis #testing
Test-driven synthesis (DP, SG, DG, PP), p. 43.
PLDI-2014-SampsonPMMGC #probability #verification
Expressing and verifying probabilistic assertions (AS, PP, TM, KSM, DG, LC), p. 14.
VLDB-2014-MortonBGM #challenge
Support the Data Enthusiast: Challenges for Next-Generation Data-Analysis Systems (KM, MB, DG, JDM), pp. 453–456.
ECOOP-2013-GordonDEG #java #user interface
Java UI: Effects for Controlling UI Object Access (CSG, WD, MDE, DG), pp. 179–204.
OOPSLA-2013-BerganCG #parallel #source code #thread
Input-covering schedules for multithreaded programs (TB, LC, DG), pp. 677–692.
PLDI-2013-GordonEG #alias #refinement
Rely-guarantee references for refinement types over aliased mutable data (CSG, MDE, DG), pp. 73–84.
OOPSLA-2012-Effinger-DeanLCGB #concurrent #detection #named
IFRit: interference-free regions for dynamic data-race detection (LED, BL, LC, DG, HJB), pp. 467–484.
PLDI-2012-PerelmanGBG
Type-directed completion of partial expressions (DP, SG, TB, DG), pp. 275–286.
ASPLOS-2011-DeviettiNBCG #consistency #named
RCDC: a relaxed consistency deterministic computer (JD, JN, TB, LC, DG), pp. 67–78.
PLDI-2011-SampsonDFGCG #approximate #data type #named #power management
EnerJ: approximate data types for safe and general low-power computation (AS, WD, EF, DG, LC, DG), pp. 164–174.
ASPLOS-2010-BerganADCG #compilation #execution #named #parallel #runtime #thread
CoreDet: a compiler and runtime system for deterministic multithreaded execution (TB, OA, JD, LC, DG), pp. 53–64.
OOPSLA-2010-LernerVG #aspect-oriented #javascript #using
Supporting dynamic, third-party code customizations in JavaScript using aspects (BSL, HV, DG), pp. 361–376.
OOPSLA-2010-WoodSCG #communication #composition #specification
Composable specifications for structured shared-memory communication (BPW, AS, LC, DG), pp. 140–159.
SIGMOD-2010-MortonBG #graph #named #pipes and filters
ParaTimer: a progress indicator for MapReduce DAGs (KM, MB, DG), pp. 507–518.
CC-2008-NitaG #automation #c #multi
Automatic Transformation of Bit-Level C Code to Support Multiple Equivalent Data Layouts (MN, DG), pp. 85–99.
ICFP-2008-Effinger-DeanKG #ml #transaction
Transactional events for ML (LED, MK, DG), pp. 103–114.
POPL-2008-MooreG #semantics #transaction
High-level small-step operational semantics for transactions (KFM, DG), pp. 51–62.
POPL-2008-NitaGC #bytecode #formal method #low level #platform
A theory of platform-dependent low-level software (MN, DG, CC), pp. 209–220.
ICSE-2007-KimNG #automation
Automatic Inference of Structural Changes for Matching across Program Versions (MK, DN, DG), pp. 333–343.
OOPSLA-2007-Grossman #garbage collection #memory management #transaction
The transactional memory / garbage collection analogy (DG), pp. 695–706.
PLDI-2007-LernerFGC #error message
Searching for type-error messages (BSL, MF, DG, CC), pp. 425–434.
PLDI-2007-ShpeismanMABGHMS #order
Enforcing isolation and ordering in STM (TS, VM, ARAT, SB, DG, RLH, KFM, BS), pp. 78–88.
ICFP-2005-RingenburgG #named
AtomCaml: first-class atomicity via rollback (MFR, DG), pp. 92–104.
ISMM-2004-HicksMGJ #experience
Experience with safe manual memory-management in cyclone (MWH, JGM, DG, TJ), pp. 73–84.
ESOP-2002-Grossman #imperative
Existential Types for Imperative Languages (DG), pp. 21–35.
PLDI-2002-GrossmanMJHWC #memory management
Region-Based Memory Management in Cyclone (DG, JGM, TJ, MWH, YW, JC), pp. 282–293.
ICFP-1999-ZdancewicGM #programming language #proving
Principals in Programming Languages: A Syntactic Proof Technique (SZ, DG, JGM), pp. 197–207.
ECOOP-2016-TomanG #debugging #named
Staccato: A Bug Finder for Dynamic Configuration Updates (JT, DG), p. 25.
OOPSLA-2017-RingerGST #generative
A solver-aided language for test input generation (TR, DG, DSN, ST), p. 24.
OOPSLA-2017-WoodCBG #bias #concurrent #detection
Instrumentation bias for dynamic data race detection (BPW, MC, MDB, DG), p. 31.
ECOOP-2018-TomanG #analysis #named
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates (JT, DG), p. 32.
PLDI-2016-MullenZTG #optimisation
Verified peephole optimizations for CompCert (EM, DZ, ZT, DG), pp. 448–461.
POPL-2016-BornholtTGC #optimisation #sketching #synthesis
Optimizing synthesis with metasketches (JB, ET, DG, LC), pp. 775–788.
POPL-2019-TomanG #abstract interpretation #framework #named
Concerto: a framework for combined concrete and abstract interpretation (JT, DG), p. 29.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.