E. Torlak
发表
Emina Torlak,
Zoran Popovic,
Eric Butler,
2017,
FDG.
Emina Torlak,
Zoran Popovic,
Eric Butler,
2018,
VMCAI.
Z. Popovic,
Eric Butler,
E. Torlak,
2017
.
E. Torlak,
J. Toman,
Stuart Pernsteiner,
2015
.
E. Torlak,
James Bornholt,
Emina Torlak,
2016
.
E. Torlak,
J. Foster,
Niki Vazou,
2018
.
E. Torlak,
Helgi Sigurbjarnarson,
James Bornholt,
2019
.
R. Bodík,
E. Torlak,
S. Chandra,
2010
.
E. Torlak,
D. Jackson,
2006
.
Emina Torlak,
Daniel Jackson,
E. Torlak,
2006
.
Marten van Dijk,
E. Torlak,
B. Gassend,
2005
.
E. Torlak,
A. Donaldson,
2020
.
Michael D. Ernst,
Konstantin Weitz,
A. Krishnamurthy,
2016
.
E. Torlak,
D. Jackson,
J. Edwards,
2003
.
Emina Torlak,
Satish Chandra,
Rastislav Bodik,
2010
.
E. Torlak,
2003
.
Alvin Cheung,
Michael D. Ernst,
Emina Torlak,
2020
.
Emina Torlak,
Jialin Li,
Xi Wang,
2016,
International Conference on Architectural Support for Programming Languages and Operating Systems.
Michael D. Ernst,
Emina Torlak,
Konstantin Weitz,
2016,
OOPSLA.
Michael D. Ernst,
Konstantin Weitz,
A. Krishnamurthy,
2016
.
Emina Torlak,
James Bornholt,
E. Torlak,
2017,
PLDI 2017.
Rajeev Alur,
Garvit Juniwal,
Milo M. K. Martin,
2013,
2013 Formal Methods in Computer-Aided Design.
Emina Torlak,
Rastislav Bodík,
Satish Chandra,
2015,
Onward!.
Emina Torlak,
Daniel Jackson,
E. Torlak,
2007,
TACAS.
Emina Torlak,
Rastislav Bodík,
R. Bodík,
2013,
Onward!.
E. Torlak,
James Bornholt,
2018,
Artifact Digital Object Group.
Emina Torlak,
Rastislav Bodík,
Satish Chandra,
2011,
2011 33rd International Conference on Software Engineering (ICSE).
Emina Torlak,
E. Torlak,
2009
.
Emina Torlak,
E. Torlak,
2004
.
E. Torlak,
D. Jackson,
2004
.
Emina Torlak,
Daniel Jackson,
Jonathan Edwards,
2004,
ISSTA '04.
Emina Torlak,
Rastislav Bodík,
R. Bodík,
2012,
CAV.
Michael D. Ernst,
Emina Torlak,
Calvin Loncaric,
2018,
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).
Michael D. Ernst,
Emina Torlak,
Calvin Loncaric,
2016,
PLDI.
Emina Torlak,
Dan Grossman,
Luis Ceze,
2016,
POPL.
An Wang,
Emina Torlak,
Rastislav Bodík,
2019,
ASPLOS.
Emina Torlak,
James Bornholt,
E. Torlak,
2018,
Proc. ACM Program. Lang..
Emina Torlak,
Rastislav Bodík,
R. Bodík,
2014,
PLDI.
Srinivas Devadas,
Emina Torlak,
Marten van Dijk,
2008,
TSEC.
Xi Wang,
Emina Torlak,
Luke Nelson,
2017,
SOSP.
Emina Torlak,
Jeffrey S. Foster,
Niki Vazou,
2017,
VMCAI.
Srinivas Devadas,
Emina Torlak,
Marten van Dijk,
2005,
ArXiv.
Frank Tip,
Emina Torlak,
Manu Sridharan,
2010,
ECOOP.
Emina Torlak,
E. Torlak,
2012,
SIGSOFT FSE.
Emina Torlak,
Andrew Baumann,
Ronghui Gu,
2019,
SOSP.
Emina Torlak,
Joseph P. Near,
Mana Taghdiri,
2013,
Mathematical Structures in Computer Science.
Joseph P. Near,
Gregory D. Dennis,
Niranjan Kumar,
2011
.
Rastislav Bodik,
Emina Torlak,
Yu Feng,
2020,
2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Emina Torlak,
Rastislav Bodík,
Yu Feng,
2019,
ArXiv.
Michael D. Ernst,
Emina Torlak,
Jonathan Jacky,
2018
.
Emina Torlak,
Satish Chandra,
Vijayaraghavan Murali,
2014,
VSTTE.
Felix Sheng-Ho Chang,
Emina Torlak,
Daniel Jackson,
2008,
FM.
Emina Torlak,
Xi Wang,
James Bornholt,
2018,
OSDI.
Emina Torlak,
Xi Wang,
Jacob Van Geffen,
2020,
OSDI.
Emina Torlak,
Rastislav Bodík,
Rohin Shah,
2016,
ArXiv.
Emina Torlak,
Xi Wang,
Luke Nelson,
2020,
ACM SIGOPS Oper. Syst. Rev..
Emina Torlak,
Pavel Panchekha,
E. Torlak,
2016,
OOPSLA.
E. Torlak,
J. Andrade,
Ana Paula Freneda de Freitas,
2022
.
Isil Dillig,
Emina Torlak,
Xi Wang,
2020,
CAV.
Xi Wang,
Emina Torlak,
Jialin Li,
2016,
ASPLOS.