Avraham Shinnar
发表
Joshua S. Auerbach,
Martin Hirzel,
Jérôme Siméon,
2017,
Proc. ACM Program. Lang..
Julian Dolby,
Jenna Reinen,
Avraham Shinnar,
2018,
ArXiv.
Marco Pistoia,
Anindya Banerjee,
Avraham Shinnar,
2009,
PLAS '09.
David Cunningham,
Vijay A. Saraswat,
Benjamin Herta,
2012,
Proc. VLDB Endow..
Parikshit Ram,
Martin Hirzel,
Avraham Shinnar,
2020,
ArXiv.
Nathan Fulton,
Avraham Shinnar,
Koundinya Vajjha,
2020,
CPP.
Adam Chlipala,
J. Gregory Morrisett,
Gregory Malecha,
2009,
ICFP.
Marco Pistoia,
Anindya Banerjee,
Avraham Shinnar,
2009,
SIGP.
David Grove,
Olivier Tardieu,
Benjamin Herta,
2019,
ACM Trans. Program. Lang. Syst..
Matthew Arnold,
David Grove,
Olivier Tardieu,
2016,
IBM J. Res. Dev..
Silvia Crafa,
David Cunningham,
Olivier Tardieu,
2013,
ECOOP.
Martin Hirzel,
Jérôme Siméon,
Louis Mandel,
2017,
SNAPL.
Jérôme Siméon,
Avraham Shinnar,
2016,
A List of Successes That Can Change the World.
Martin Hirzel,
Louis Mandel,
Avraham Shinnar,
2018,
ArXiv.
Parikshit Ram,
Subhrajit Roy,
Martin Hirzel,
2019,
ArXiv.
Joshua S. Auerbach,
Martin Hirzel,
Jérôme Siméon,
2017,
SIGMOD Conference.
J. Gregory Morrisett,
Gregory Malecha,
Ryan Wisnesky,
2010,
POPL '10.
Julian Dolby,
Jenna Reinen,
Avraham Shinnar,
2018,
MAPL@PLDI.
Martin Hirzel,
Jérôme Siméon,
Avraham Shinnar,
2015,
Dagstuhl Artifacts Ser..
Martin Hirzel,
Jérôme Siméon,
Louis Mandel,
2017,
Onward!.
David Cunningham,
David Grove,
Olivier Tardieu,
2016,
ACM Trans. Parallel Comput..
Margo I. Seltzer,
Uri Braun,
Avraham Shinnar,
2008,
HotSec.
Martin Hirzel,
Avraham Shinnar,
Jason Tsay,
2020,
2020 IEEE/ACM 17th International Conference on Mining Software Repositories (MSR).
Mark Plesko,
Timothy L. Harris,
Avraham Shinnar,
2006,
PLDI '06.
Julian Dolby,
Martin Hirzel,
Evelyn Duesterwald,
2018,
Onward!.
Martin Hirzel,
Louis Mandel,
Avraham Shinnar,
2019,
MAPL@PLDI.
Michael Pradel,
Martin Hirzel,
Avraham Shinnar,
2019,
ArXiv.
Martin Hirzel,
Jérôme Siméon,
Louis Mandel,
2018,
REBLS@SPLASH.
David Cunningham,
David Grove,
Olivier Tardieu,
2012
.
Joshua S. Auerbach,
Martin Hirzel,
Jérôme Siméon,
2017,
SIGMOD Conference.
Martin Hirzel,
Jérôme Siméon,
Avraham Shinnar,
2015,
ECOOP.
Lars Birkedal,
J. Gregory Morrisett,
Aleksandar Nanevski,
2008,
ICFP.
Lars Birkedal,
Aleksandar Nanevski,
Avraham Shinnar,
2008,
ICFP 2008.
David Cunningham,
Olivier Tardieu,
Vijay Saraswat,
2012,
CP 2012.
Martin Hirzel,
Louis Mandel,
Avraham Shinnar,
2018,
ArXiv.
Avraham Shinnar,
Greg Morrisett,
G. Morrisett,
2011
.
Michael Pradel,
Martin Hirzel,
Avraham Shinnar,
2021,
ISSTA.
Martin Hirzel,
Avraham Shinnar,
Javier Burroni,
2021,
Artifact Digital Object Group.
Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming
Martin Hirzel,
Avraham Shinnar,
Javier Burroni,
2021,
PLDI.
David Cunningham,
David Grove,
Bard Bloom,
2012
.
Adam Chlipala,
J. Gregory Morrisett,
Gregory Malecha,
2009,
ICFP.