S. Burckhardt

发表

Sebastian Burckhardt, John Erickson, Madan Musuvathi, 2010, OSDI.

Sebastian Burckhardt, Madan Musuvathi, M. Musuvathi, 2008, CAV.

M. Musuvathi, S. Burckhardt, A. Bouajjani, 2011 .

Sebastian Burckhardt, Nikolai Tillmann, Jonathan de Halleux, 2015, 2015 2nd ACM International Conference on Mobile Software Engineering and Systems.

Sebastian Burckhardt, Madan Musuvathi, Vasu Singh, 2010 .

Christoph L. Gillum, Christopher S. Meiklejohn, S. Burckhardt, 2022, Proc. VLDB Endow..

Sebastian Burckhardt, Nikolai Tillmann, Michal Moskal, 2014 .

Sebastian Burckhardt, Nikolai Tillmann, Jonathan de Halleux, 2013, PLDI.

Sebastian Burckhardt, Tim Coppieters, S. Burckhardt, 2018, OOPSLA 2018.

Sebastian Burckhardt, Tim Coppieters, S. Burckhardt, 2018, Proc. ACM Program. Lang..

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin, 2007, PLDI '07.

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin, 2007 .

Sebastian Burckhardt, Hongseok Yang, Alexey Gotsman, 2014, POPL.

Sebastian Burckhardt, Benjamin P. Wood, Daan Leijen, 2012, ECOOP.

Sebastian Burckhardt, Hagit Attiya, Hongseok Yang, 2020, Theor. Comput. Sci..

Sebastian Burckhardt, Hagit Attiya, Hongseok Yang, 2016, PODC.

Sebastian Burckhardt, Muntasir Raihan Rahman, Philip A. Bernstein, 2017, Proc. ACM Program. Lang..

Sebastian Burckhardt, Ryan Newton, Badrish Chandramouli, 2020, Proc. VLDB Endow..

Pravesh Kothari, Sebastian Burckhardt, Santosh Nagarakatte, 2010, ASPLOS XV.

Wolfram Schulte, S. Burckhardt, Daan Leijen, 2009, OOPSLA '09.

Sebastian Burckhardt, Daan Leijen, Manuel Fahndrich, 2014 .

Sebastian Burckhardt, Nikolai Tillmann, Jun Kato, 2013, PLDI.

Sebastian Burckhardt, Wolfgang De Meuter, Tim Coppieters, 2016, PaPoC@EuroSys.

Sebastian Burckhardt, Michal Moskal, S. Burckhardt, 2015 .

Sebastian Burckhardt, S. Burckhardt, 2014, Found. Trends Program. Lang..

Sebastian Burckhardt, Hongseok Yang, Alexey Gotsman, 2013 .

Sebastian Burckhardt, Daan Leijen, Shmuel Sagiv, 2012, ESOP.

Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, 2015, ECOOP.

Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, 2015 .

Sebastian Burckhardt, Daan Leijen, S. Burckhardt, 2011, ESOP.

S. Burckhardt, B. Chandramouli, Tianyu Li, 2023, Proc. ACM Manag. Data.

Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin, 2005, VMCAI.

Sebastian Burckhardt, Nikolai Tillmann, Jonathan de Halleux, 2012, SIGSOFT FSE.

Sebastian Burckhardt, Mohamed Faouzi Atig, Ahmed Bouajjani, 2010, POPL '10.

Sebastian Burckhardt, Madan Musuvathi, Chris Dern, 2010, PLDI '10.

Sebastian Burckhardt, Milo M. K. Martin, Santosh Nagarakatte, 2012, PLDI.

Sebastian Burckhardt, Ganesh Gopalakrishnan, Judith Bishop, 2011, SIGCSE.

Sebastian Burckhardt, Thomas Ball, Madan Musuvathi, 2010, TACAS.

Sebastian Burckhardt, Mohamed Faouzi Atig, Ahmed Bouajjani, 2012, ESOP.

Sebastian Burckhardt, Madanlal Musuvathi, M. Musuvathi, 2008 .

Sebastian Burckhardt, Madan Musuvathi, Vasu Singh, 2010, CC.

Sebastian Burckhardt, Konstantinos Kallas, David Justo, 2021, Proc. ACM Program. Lang..