Emina Torlak
发表
Rajeev Alur,
Rastislav Bodik,
Garvit Juniwal,
2013,
FMCAD 2013.
Emina Torlak,
Rastislav Bodík,
R. Bodík,
2012,
CAV.
Emina Torlak,
E. Torlak,
2004
.
Emina Torlak,
Xi Wang,
Luke Nelson,
2020,
ACM SIGOPS Oper. Syst. Rev..
Michael D. Ernst,
Emina Torlak,
Konstantin Weitz,
2017,
Proc. ACM Program. Lang..
Emina Torlak,
Pavel Panchekha,
E. Torlak,
2016,
OOPSLA.
Isil Dillig,
Emina Torlak,
Xi Wang,
2020,
CAV.
Emina Torlak,
Rastislav Bodík,
R. Bodík,
2014,
PLDI.
Rajeev Alur,
Garvit Juniwal,
Milo M. K. Martin,
2013,
2013 Formal Methods in Computer-Aided Design.
Emina Torlak,
Zoran Popovic,
Eric Butler,
2018,
VMCAI.
Xi Wang,
Michael D. Ernst,
Emina Torlak,
2016,
CAV.
Emina Torlak,
Rastislav Bodik,
2014
.
An Wang,
Emina Torlak,
Rastislav Bodík,
2019,
ASPLOS.
Emina Torlak,
Jialin Li,
Xi Wang,
2016,
International Conference on Architectural Support for Programming Languages and Operating Systems.
Emina Torlak,
Dan Grossman,
Luis Ceze,
2016,
POPL.
Emina Torlak,
Satish Chandra,
Vijayaraghavan Murali,
2014,
VSTTE.
Michael D. Ernst,
Emina Torlak,
Calvin Loncaric,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Emina Torlak,
Daniel Jackson,
E. Torlak,
2007,
TACAS.
Felix Sheng-Ho Chang,
Emina Torlak,
Daniel Jackson,
2008,
FM.
Xi Wang,
Emina Torlak,
Jialin Li,
2016,
ASPLOS.
Emina Torlak,
Rastislav Bodík,
Satish Chandra,
2015,
Onward!.
Michael D. Ernst,
Emina Torlak,
Calvin Loncaric,
2016,
PLDI.
Emina Torlak,
Xi Wang,
Jacob Van Geffen,
2020,
OSDI.
Emina Torlak,
Stuart Pernsteiner,
John Toman,
2015,
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Emina Torlak,
Rastislav Bodík,
Satish Chandra,
2011,
2011 33rd International Conference on Software Engineering (ICSE).
Emina Torlak,
Rastislav Bodík,
Rohin Shah,
2016,
ArXiv.
Emina Torlak,
Daniel Jackson,
Jonathan Edwards,
2004,
SIGSOFT '04/FSE-12.
Michael D. Ernst,
Emina Torlak,
Jonathan Jacky,
2016,
Lecture Notes in Computer Science.
Emina Torlak,
Daniel Jackson,
Jonathan Edwards,
2004,
ISSTA '04.
Emina Torlak,
Jeffrey S. Foster,
Niki Vazou,
2017,
VMCAI.
Xi Wang,
Emina Torlak,
Luke Nelson,
2017,
SOSP.
Emina Torlak,
E. Torlak,
2012,
SIGSOFT FSE.
Emina Torlak,
Rastislav Bodík,
R. Bodík,
2013,
Onward!.
Xi Wang,
Michael D. Ernst,
Emina Torlak,
2015,
SNAPL.
Emina Torlak,
James Bornholt,
2018
.
Emina Torlak,
Stephen Chang,
Alex Knauth,
2018,
Proc. ACM Program. Lang..
Emina Torlak,
James Bornholt,
Sorawee Porncharoenwase,
2020,
VMCAI.
Michael D. Ernst,
Emina Torlak,
Konstantin Weitz,
2016,
OOPSLA.
Emina Torlak,
Joseph P. Near,
Mana Taghdiri,
2013,
Mathematical Structures in Computer Science.
Emina Torlak,
Zoran Popovic,
Eric Butler,
2017,
FDG.
Alvin Cheung,
Michael D. Ernst,
Emina Torlak,
2020
.
Emina Torlak,
Julian Dolby,
Mandana Vaziri,
2010,
PLDI '10.
Emina Torlak,
Zoran Popovic,
Eric Butler,
2016,
ITS.
Srinivas Devadas,
Emina Torlak,
Marten van Dijk,
2006,
ArXiv.
Emina Torlak,
Satish Chandra,
Rastislav Bodik,
2010
.
Emina Torlak,
Rastislav Bodík,
Yu Feng,
2019,
ArXiv.
Srinivas Devadas,
Emina Torlak,
Marten van Dijk,
2008,
TSEC.
Emina Torlak,
James Bornholt,
E. Torlak,
2017,
PLDI 2017.
Emina Torlak,
James Bornholt,
E. Torlak,
2018,
Proc. ACM Program. Lang..
Srinivas Devadas,
Emina Torlak,
Marten van Dijk,
2005,
ArXiv.
Emina Torlak,
E. Torlak,
2009
.
Michael D. Ernst,
Emina Torlak,
Jonathan Jacky,
2018
.
Emina Torlak,
Xi Wang,
James Bornholt,
2018,
OSDI.
Emina Torlak,
Robert Biddle,
Tijs van der Storm,
2017,
Onward!.
Emina Torlak,
Satish Chandra,
2010,
2010 ACM/IEEE 32nd International Conference on Software Engineering.
Rastislav Bodik,
Emina Torlak,
Yu Feng,
2020,
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Frank Tip,
Emina Torlak,
Manu Sridharan,
2010,
ECOOP.
Emina Torlak,
Andrew Baumann,
Ronghui Gu,
2019,
SOSP.
Emina Torlak,
Daniel Jackson,
E. Torlak,
2006
.
Emina Torlak,
Satish Chandra,
Vijayaraghavan Murali,
2014
.
Emina Torlak,
Dan Grossman,
Luis Ceze,
2015
.