Sorin Lerner

发表

Sorin Lerner, Tal Garfinkel, Shravan Narayan, 2020, USENIX Security Symposium.
Sorin Lerner, Dimitar Bounov, Rami Gökhan Kici, 2016, NDSS.
Sorin Lerner, Rajesh Gupta, Sudipta Kundu, 2007, ICCAD 2007.
Sorin Lerner, Pavel Panchekha, Zachary Tatlock, 2018, PLDI.
Sorin Lerner, Alan Leung, Sorin Lerner, 2017, 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Frederic Sala, Lara Dolecek, Sorin Lerner, 2015, it Inf. Technol..
Ross Tate, Sorin Lerner, Daan Leijen, 2010 .
Sorin Lerner, Kirill Levchenko, Zhaomo Yang, 2017, USENIX Security Symposium.
Sorin Lerner, Westley Weimer, Sriram K. Rajamani, 2002, SAS.
Sorin Lerner, Ranjit Jhala, Marc Andrysco, 2016, POPL.
Sorin Lerner, Alan Leung, John Sarracino, 2015, PLDI.
Sorin Lerner, Hovav Shacham, Ranjit Jhala, 2015, 2015 IEEE Symposium on Security and Privacy.
William G. Griswold, Sorin Lerner, Stephen R. Foster, 2015, CHI.
Sorin Lerner, Ranjit Jhala, Zachary Tatlock, 2008, OOPSLA '08.
Sorin Lerner, Zachary Tatlock, Dongseok Jang, 2012, USENIX Security Symposium.
Sorin Lerner, Gregory Malecha, Daniel Ricketts, 2016, 2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS).
Sorin Lerner, Hovav Shacham, Deian Stefan, 2020, PLDI.
Sorin Lerner, Manish Gupta, Rajesh Gupta, 2012, PLDI.
Sorin Lerner, Nadia Polikarpova, Shraddha Barke, 2019, ArXiv.
Sorin Lerner, Todd D. Millstein, Craig Chambers, 2005, POPL '05.
Sorin Lerner, Todd D. Millstein, Craig Chambers, 2005, COCV@ETAPS.
William G. Griswold, Sorin Lerner, Stephen R. Foster, 2015, FDG.
Sorin Lerner, Rajesh Gupta, Sudipta Kundu, 2007, 2007 IEEE/ACM International Conference on Computer-Aided Design.
Sorin Lerner, Ranjit Jhala, Jan Wen Voung, 2007, ESEC-FSE '07.
Sorin Lerner, Lawrence K. Saul, Laurens van der Maaten, 2010, NIPS.
Sorin Lerner, Rajesh Gupta, Sudipta Kundu, 2011 .
Sorin Lerner, Rajesh K. Gupta, Sudipta Kundu, 2010, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
William G. Griswold, Sorin Lerner, Macneil Shonle, 2012, TSEM.
Sorin Lerner, Ronnie I. Chaiken, Redmond Wa, 2000 .
Sorin Lerner, Rajesh Gupta, Sudipta Kundu, 2008, CAV.
William G. Griswold, Sorin Lerner, Sarah Esper, 2014 .
Sorin Lerner, Zachary Tatlock, Sorin Lerner, 2010, PLDI '10.
Sorin Lerner, Gregory Malecha, Daniel Ricketts, 2016, 2016 International Conference on Embedded Software (EMSOFT).
Sorin Lerner, Zachary Tatlock, Dongseok Jang, 2014, NDSS.
Sorin Lerner, Zachary Tatlock, Dongseok Jang, 2014, PLDI.
Sorin Lerner, Ranjit Jhala, Marc Andrysco, 2016 .
William G. Griswold, Sorin Lerner, Brian Nguyen, 2020, 2020 IEEE 32nd Conference on Software Engineering Education and Training (CSEE&T).
Sorin Lerner, Dan Grossman, Alex Sanchez-Stern, 2020, CPP.
Ross Tate, Sorin Lerner, Alan Leung, 2011, PLDI '11.
Sorin Lerner, Hovav Shacham, Deian Stefan, 2020 .
William G. Griswold, Sorin Lerner, Macneil Shonle, 2011, PLATEAU '11.
William G. Griswold, Sorin Lerner, Massimiliano Menarini, 2018, CHI.
William G. Griswold, Sorin Lerner, Macneil Shonle, 2007, ESEC-FSE '07.
Sorin Lerner, Rajesh Gupta, Sudipta Kundu, 2011 .
Sorin Lerner, Manuvir Das, Mark Seigle, 2002, PLDI '02.
Sorin Lerner, Zachary Tatlock, Sudipta Kundu, 2009, PLDI '09.
Sorin Lerner, Todd D. Millstein, Craig Chambers, 2003, PLDI '03.
Sorin Lerner, Ranjit Jhala, Yuvraj Agarwal, 2012, HotPower.
Sorin Lerner, David Grove, Craig Chambers, 2002, POPL '02.
Michael Stepp, Ross Tate, Sorin Lerner, 2010, POPL '10.
William G. Griswold, Sorin Lerner, Macneil Shonle, 2008, WRT '08.
Sorin Lerner, Ravi Chugh, Jeffrey A. Meister, 2009, PLDI '09.
Sorin Lerner, Craig Chambers, Erika Rice Scherpelz, 2007, PLDI '07.
William G. Griswold, Sorin Lerner, Macneil Shonle, 2006 .
Sorin Lerner, Ranjit Jhala, David Shuffelton, 2007, 29th International Conference on Software Engineering (ICSE'07).
William G. Griswold, Sorin Lerner, Macneil Shonle, 2008, PASTE '08.
Michael Stepp, Ross Tate, Sorin Lerner, 2009, POPL '09.
Sorin Lerner, Tal Garfinkel, Shravan Narayan, 2019, ArXiv.
Miroslav Krstic, Sorin Lerner, Imoleayo Abel, 2018, 2018 Annual American Control Conference (ACC).
Sorin Lerner, Lawrence K. Saul, Yousef Alhessi, 2019, MAPL@PLDI.
Sorin Lerner, Ben Wiedermann, John Sarracino, 2017, CHI.
Sorin Lerner, Pavel Panchekha, Zachary Tatlock, 2017, ArXiv.
Sorin Lerner, Hila Peleg, Nadia Polikarpova, 2020, UIST.
William G. Griswold, Sorin Lerner, Stephen R. Foster, 2012, 2012 34th International Conference on Software Engineering (ICSE).
Sorin Lerner, Gregory Malecha, Daniel Ricketts, 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Sorin Lerner, Dimitar Bounov, Alan Leung, 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Sorin Lerner, Rajesh Gupta, Sudipta Kundu, 2009, IPSJ Trans. Syst. LSI Des. Methodol..
Sorin Lerner, Hila Peleg, Nadia Polikarpova, 2021, ESEC/SIGSOFT FSE.
Sorin Lerner, Deian Stefan, Alex Sanchez-Stern, 2021, Artifact Digital Object Group.
Sorin Lerner, Hila Peleg, Nadia Polikarpova, 2021, Proc. ACM Program. Lang..
Sorin Lerner, Hadi Esmaeilzadeh, Alric Althoff, 2021, 2021 IEEE International Symposium on High-Performance Computer Architecture (HPCA).
Sorin Lerner, Deian Stefan, Alex Sanchez-Stern, 2021, PLDI.
Michael Stepp, Ross Tate, Sorin Lerner, 2010, POPL.
William G. Griswold, Sorin Lerner, Macneil Shonle, 2008 .
Sorin Lerner, Todd D. Millstein, Craig Chambers, 2005, POPL.
Sorin Lerner, Ranjit Jhala, Rakesh Kumar, 2013 .
Sorin Lerner, Ravi Chugh, Ranjit Jhala, 2011 .