Dan Grossman

发表

Benjamin Hindman, Dan Grossman, Benjamin Hindman, 2006, MSPC '06.

Michael D. Ernst, Dan Grossman, Colin S. Gordon, 2013, ECOOP.

Dan Grossman, Brandon Lucia, Hans-Juergen Boehm, 2012, OOPSLA '12.

Dan Grossman, D. Grossman, 2006, TOPL.

Dan Grossman, Laura Effinger-Dean, Matthew Kehrt, 2008, ICFP 2008.

Dan Grossman, Eva Darulova, Zachary Tatlock, 2019, ArXiv.

Dan Grossman, D. Grossman, 2007, OOPSLA.

Dan Grossman, Luis Ceze, Werner Dietl, 2011, PLDI '11.

Dan Grossman, William Pugh, Jeremy Manson, 2006, MSPC '06.

James Cheney, Dan Grossman, Trevor Jim, 2002, USENIX Annual Technical Conference, General Track.

Michael D. Ernst, Dan Grossman, Colin S. Gordon, 2012, TLDI '12.

Dan Grossman, 2012 .

Dan Grossman, Trevor Jim, Greg Morrisett, 2000 .

Dan Grossman, Benjamin S. Lerner, D. Grossman, 2012, DLS.

Dan Grossman, J. Gregory Morrisett, Steve Zdancewic, 1999, ICFP '99.

Miryung Kim, David Notkin, Dan Grossman, 2007, 29th International Conference on Software Engineering (ICSE'07).

Dan Grossman, Benjamin P. Wood, Luis Ceze, 2010, OOPSLA.

Dan Grossman, John Leo, Talia Ringer, 2020, PLDI.

Dan Grossman, Zachary Tatlock, Eric Mullen, 2016, PLDI.

Dan Grossman, D. Grossman, 2003, TLDI '03.

Magdalena Balazinska, Dan Grossman, Hannaneh Hajishirzi, 2016, ArXiv.

Gorry Fairhurst, Carsten Bormann, Dan Grossman, 2004, RFC.

James Cheney, Dan Grossman, Trevor Jim, 2002, PLDI '02.

Dan Grossman, J. Gregory Morrisett, Steve Zdancewic, 2000, TOPL.

Sumit Gulwani, Dan Grossman, Daniel Perelman, 2014, PLDI.

Dan Grossman, Juha Heinänen, D. Grossman, 1993, RFC.

Dan Grossman, Benjamin P. Wood, Luis Ceze, 2011, MSPC '11.

Dan Grossman, Craig Chambers, Marius Nita, 2008, POPL '08.

Dan Grossman, Luis Ceze, Joseph Devietti, 2010, ASPLOS XV.

Dan Grossman, Luis Ceze, Tom Bergan, 2014, OOPSLA 2014.

Dan Grossman, Trevor Jim, J. Gregory Morrisett, 2003, Journal of Functional Programming.

Emina Torlak, Dan Grossman, Luis Ceze, 2016, POPL.

Dan Grossman, Henry Holtzman, Marie-Jose Montpetit, 2009, 2009 6th IEEE Consumer Communications and Networking Conference.

Dan Grossman, Benjamin S. Lerner, Herman Venter, 2010, OOPSLA.

Dan Grossman, Michael F. Ringenburg, D. Grossman, 2005, TLDI '05.

Dan Grossman, Talia Ringer, Nathaniel Yazdani, 2018, CPP.

Dan Grossman, Benjamin P. Wood, Luis Ceze, 2012, ISCA 2012.

Dan Grossman, John Toman, 2019, Proc. ACM Program. Lang..

Magdalena Balazinska, Dan Grossman, Jock D. Mackinlay, 2014, Proc. VLDB Endow..

Michael D. Ernst, Dan Grossman, Colin S. Gordon, 2013, PLDI.

Dan Grossman, Michael F. Ringenburg, 2005, ICFP '05.

Dan Grossman, Michael Hohmuth, Luke Yen, 2010, 2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture.

Dan Grossman, Steve Zdancewic, D. Grossman, 1999 .

Dan Grossman, J. Gregory Morrisett, J. G. Morrisett, 2000, Types in Compilation.

Dan Grossman, Benjamin P. Wood, Luis Ceze, 2012, 2012 39th Annual International Symposium on Computer Architecture (ISCA).

Michael D. Ernst, Dan Grossman, Colin S. Gordon, 2013, PLDI.

Dan Grossman, Emerson R. Murphy-Hill, D. Grossman, 2014, FOSE.

Dan Grossman, Serdar Tasiran, Daniel Schwartz-Narbonne, 2017, Proc. ACM Program. Lang..

Dan Grossman, Luis Ceze, Joseph Devietti, 2010, ASPLOS 2010.

Dan Grossman, Carl Ebeling, Benjamin Ylvisaker, 2008 .

Dan Grossman, John Toman, D. Grossman, 2016, ECOOP.

Dan Grossman, Craig Chambers, Benjamin S. Lerner, 2006, ML '06.

Dan Grossman, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, 2007, PLDI '07.

Magdalena Balazinska, Dan Grossman, Abram L. Friesen, 2010, 2010 IEEE 26th International Conference on Data Engineering (ICDE 2010).

Magdalena Balazinska, Dan Grossman, Kristi Morton, 2010, SIGMOD Conference.

Sumit Gulwani, Dan Grossman, Judith Bishop, 2015 .

Dan Grossman, David Walker, Stephanie Weirich, 1999 .

Sorin Lerner, Dan Grossman, Alex Sanchez-Stern, 2020, CPP.

Michael W. Godfrey, Dan Grossman, 1999, SIGCSE '99.

Dan Grossman, Armando Fox, Janet Burge, 2015, SIGCSE.

Dan Grossman, Greg Morrisett, G. Morrisett, 2000 .

James Cheney, Dan Grossman, Michael Hicks, 2001 .

Dan Grossman, Zachary Tatlock, Chandrakana Nandi, 2017, SNAPL.

Miryung Kim, David Notkin, Dan Grossman, 2013, IEEE Transactions on Software Engineering.

Dan Grossman, Luis Ceze, Adrian Sampson, 2013, IEEE Spectrum.

Dan Grossman, Jacob Nelson, Luis Ceze, 2011, ASPLOS XVI.

Dan Grossman, Luis Ceze, Kathryn S. McKinley, 2014, PLDI.

Dan Grossman, Trevor Jim, Greg Morrisett, 2000 .

Dan Grossman, John Toman, 2017, SNAPL.

Dan Grossman, Kathryn S. McKinley, Adrian Sampson, 2017, MAPL@PLDI.

Dan Grossman, Pavel Panchekha, Zachary Tatlock, 2018, Proc. ACM Program. Lang..

Dan Grossman, Michael Hicks, Trevor Jim, 2003 .

Dan Grossman, Nikhil Swamy, Trevor Jim, 2006, Sci. Comput. Program..

Dan Grossman, Trevor Jim, J. Gregory Morrisett, 2004, ISMM '04.

Alvin Cheung, Michael D. Ernst, Emina Torlak, 2020 .

Andrew G. Malis, Dan Grossman, Eric Hoffman, 1995, RFC.

Dan Grossman, Benjamin S. Lerner, D. Grossman, 2010, APLWACA '10.

Dan Grossman, Katherine F. Moore, D. Grossman, 2008, POPL '08.

Dan Grossman, Michael F. Ringenburg, D. Grossman, 2005, CCS '05.

Dan Grossman, Luis Ceze, Adrian Sampson, 2014 .

Magdalena Balazinska, Dan Grossman, Christopher Olston, 2011, ScienceCloud '11.

Dan Grossman, Laura Effinger-Dean, Michael Schmitz, 2009, PLACES.

Dan Grossman, Ruth E. Anderson, D. Grossman, 2012, SIGCSE '12.

Dan Grossman, Benjamin P. Wood, Michael D. Bond, 2017, Proc. ACM Program. Lang..

Dan Grossman, Kathleen Fisher, 2011 .

Dan Grossman, Greg Morrisett, D. Grossman, 2003 .

Michael D. Ernst, Dan Grossman, Matthew J. Parkinson, 2017, ACM Trans. Program. Lang. Syst..

Dan Grossman, Franziska Roesner, Talia Ringer, 2016, CCS.

Dan Grossman, Luis Ceze, Tom Bergan, 2013, OOPSLA.

Dan Grossman, Zachary Tatlock, James R. Wilcox, 2018, CPP.

Dan Grossman, Luis Ceze, Adrian Sampson, 2015, OOPSLA.

Dan Grossman, Carl Ebeling, Jacob Nelson, 2011, HotPar.

Dan Grossman, Laura Effinger-Dean, Matthew Kehrt, 2008, ICFP.

Dan Grossman, Bill Zorn, Zach Tatlock, 2019, CoNGA'19.

Dan Grossman, Eva Darulova, Zachary Tatlock, 2019, ArXiv.

Dan Grossman, Luis Ceze, Adrian Sampson, 2015, ASPLOS.

Dan Grossman, David Walker, Yannis Smaragdakis, 2010, SIGP.

Dan Grossman, Benjamin P. Wood, Luis Ceze, 2014, ASPLOS.

Sumit Gulwani, Dan Grossman, Thomas Ball, 2012, PLDI.

Dan Grossman, Craig Chambers, Benjamin S. Lerner, 2007, PLDI '07.

Dan Grossman, D. Grossman, 2002, RFC.

James Cheney, Dan Grossman, Michael Hicks, 2001 .

Dan Grossman, John Toman, 2016, Dagstuhl Artifacts Ser..

Magdalena Balazinska, Dan Grossman, Jock D. Mackinlay, 2014 .

Dan Grossman, Max Willsey, Chandrakana Nandi, 2021, Proc. ACM Program. Lang..

Dan Grossman, Luis Ceze, Joseph McMahan, 2021, PLDI.

Dan Grossman, Luis Ceze, Hadi Esmaeilzadeh, 2012 .

Dan Grossman, Brandon Lucia, Luis Ceze, .

Dan Grossman, Zachary Tatlock, Eric Mullen, 2014 .

Dan Grossman, Luis Ceze, Adrian Sampson, 2014 .

Dan Grossman, Laura Effinger-Dean, 2010 .

Dan Grossman, Luis Ceze, Kathryn S. McKinley, 2014 .

Dan Grossman, Aaron Kimball, D. Grossman, 2007 .

Emina Torlak, Dan Grossman, Luis Ceze, 2015 .