| 2025 |
J |
jnl |
CoRR
Haritha Ananthakrishnan, Julian Dolby, Harsha Kokel, Horst Samulowitz, Kavitha Srinivas
|
| 2025 |
J |
jnl |
CoRR
Sola Shirai, Kavitha Srinivas, Julian Dolby, Michael Katz, Horst Samulowitz, Shirin Sohrabi
|
| 2025 |
A |
conf |
ECOOP
Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
|
| 2025 |
A* |
conf |
ICDE
Aamod Khatiwada, Harsha Kokel, Ibrahim Abdelaziz, Subhajit Chaudhury, Julian Dolby, Oktie Hassanzadeh, Zhenhan Huang, Tejaswini Pedapati, Horst Samulowitz, Kavitha Srinivas
|
| 2024 |
J |
jnl |
CoRR
Karl Munson, Chih-Kai Ting, Serenity Wade, Anish Savla, Julian Dolby, Kiran Kate, Kavitha Srinivas
|
| 2024 |
J |
jnl |
CoRR
Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
|
| 2024 |
J |
jnl |
Softw. Pract. Exp.
Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
|
| 2024 |
J |
jnl |
CoRR
Aamod Khatiwada, Harsha Kokel, Ibrahim Abdelaziz, Subhajit Chaudhury, Julian Dolby, Oktie Hassanzadeh, Zhenhan Huang, Tejaswini Pedapati, Horst Samulowitz, Kavitha Srinivas
|
| 2023 |
J |
jnl |
Proc. VLDB Endow.
Ibrahim Abdelaziz, Julian Dolby, Udayan Khurana, Horst Samulowitz, Kavitha Srinivas
|
| 2023 |
J |
jnl |
CoRR
Kavitha Srinivas, Julian Dolby, Ibrahim Abdelaziz, Oktie Hassanzadeh, Harsha Kokel, Aamod Khatiwada, Tejaswini Pedapati, Subhajit Chaudhury, Horst Samulowitz
|
| 2023 |
A |
conf |
ICST
Linghui Luo, Goran Piskachev, Ranjith Krishnamurthy, Julian Dolby, Eric Bodden, Martin Schäf
|
| 2023 |
A* |
conf |
IJCAI
Ibrahim Abdelaziz, Julian Dolby, Udayan Khurana, Horst Samulowitz, Kavitha Srinivas
|
| 2023 |
J |
jnl |
CoRR
Wenting Zhao, Ibrahim Abdelaziz, Julian Dolby, Kavitha Srinivas, Mossad Helali, Essam Mansour
|
| 2022 |
J |
jnl |
Proc. VLDB Endow.
Mossad Helali, Essam Mansour, Ibrahim Abdelaziz, Julian Dolby, Kavitha Srinivas
|
| 2022 |
J |
jnl |
CoRR
Julian Dolby, Jason Tsay, Martin Hirzel
|
| 2022 |
— |
conf |
MAPS@PLDI
Julian Dolby, Jason Tsay, Martin Hirzel
|
| 2022 |
A* |
conf |
AAAI
Ibrahim Abdelaziz, Julian Dolby, Jamie P. McCusker, Kavitha Srinivas
|
| 2022 |
J |
jnl |
CoRR
Ibrahim Abdelaziz, Julian Dolby, Kavitha Srinivas
|
| 2022 |
— |
conf |
ESEC/SIGSOFT FSE
Joanna C. S. Santos, Julian Dolby
|
| 2022 |
A |
conf |
ISSTA
Ingkarat Rak-amnouykit, Ana L. Milanova, Guillaume Baudart, Martin Hirzel, Julian Dolby
|
| 2021 |
J |
jnl |
CoRR
Mossad Helali, Essam Mansour, Ibrahim Abdelaziz, Julian Dolby, Kavitha Srinivas
|
| 2021 |
J |
jnl |
IEEE Trans. Software Eng.
Karim Ali, Xiaoni Lai, Zhaoyi Luo, Ondrej Lhoták, Julian Dolby, Frank Tip
|
| 2021 |
B |
conf |
K-CAP
Ibrahim Abdelaziz, Julian Dolby, Jamie P. McCusker, Kavitha Srinivas
|
| 2021 |
J |
jnl |
CoRR
Ibrahim Abdelaziz, Julian Dolby, Jamie P. McCusker, Kavitha Srinivas
|
| 2021 |
— |
conf |
NeurIPS Datasets and Benchmarks
Ruchir Puri, David S. Kung, Geert Janssen, Wei Zhang, Giacomo Domeniconi, Vladimir Zolotov, Julian Dolby, Jie Chen, Mihir R. Choudhury, Lindsey Decker, Veronika Thost, Luca Buratti, Saurabh Pujar, Shyam Ramji, Ulrich Finkler, Susan Malaika, Frederick Reiss
|
| 2021 |
J |
jnl |
CoRR
Ruchir Puri, David S. Kung, Geert Janssen, Wei Zhang, Giacomo Domeniconi, Vladimir Zolotov, Julian Dolby, Jie Chen, Mihir R. Choudhury, Lindsey Decker, Veronika Thost, Luca Buratti, Saurabh Pujar, Ulrich Finkler
|
| 2020 |
— |
conf |
ISWC (Demos/Industry)
Ibrahim Abdelaziz, Kavitha Srinivas, Julian Dolby, Jamie P. McCusker
|
| 2020 |
A* |
conf |
PLDI
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-hung Lin, Lukás Holík, Wei-Cheng Wu
|
| 2020 |
J |
jnl |
CoRR
Kavitha Srinivas, Ibrahim Abdelaziz, Julian Dolby, Jamie P. McCusker
|
| 2020 |
C |
conf |
DLS
Ingkarat Rak-amnouykit, Daniel McCrevan, Ana L. Milanova, Martin Hirzel, Julian Dolby
|
| 2020 |
— |
conf |
ESEC/SIGSOFT FSE
Daniil Tiganov, Jeff Cho, Karim Ali, Julian Dolby
|
| 2020 |
J |
jnl |
Dagstuhl Artifacts Ser.
Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis
|
| 2020 |
A |
conf |
ECOOP
Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis
|
| 2019 |
A |
conf |
ECOOP
Linghui Luo, Julian Dolby, Eric Bodden
|
| 2019 |
B |
conf |
ESWC
Veronika Thost, Julian Dolby
|
| 2018 |
J |
jnl |
CoRR
Julian Dolby, Avraham Shinnar, Allison Allain, Jenna M. Reinen
|
| 2018 |
— |
conf |
MAPL@PLDI
Julian Dolby, Avraham Shinnar, Allison Allain, Jenna M. Reinen
|
| 2018 |
J |
jnl |
CoRR
Jinqiu Yang, Erik Wittern, Annie T. T. Ying, Julian Dolby, Lin Tan
|
| 2018 |
— |
ed. |
ISSTA/ECOOP Workshops
Julian Dolby, William G. J. Halfond, Ashish Mishra
|
| 2018 |
— |
conf |
DSA
Xin Li, Hua Vy Le Thanh, Yuxin Deng, Julian Dolby
|
| 2018 |
J |
jnl |
CoRR
Kavitha Srinivas, Abraham Gale, Julian Dolby
|
| 2018 |
— |
conf |
Onward!
Guillaume Baudart, Julian Dolby, Evelyn Duesterwald, Martin Hirzel, Avraham Shinnar
|
| 2018 |
— |
conf |
ISWC (P&D/Industry/BlueSky)
Veronika Thost, Julian Dolby
|
| 2018 |
— |
conf |
HotSoS
Yao Dong, Ana L. Milanova, Julian Dolby
|
| 2018 |
B |
conf |
PPoPP
Yao Dong, Ana L. Milanova, Julian Dolby
|
| 2018 |
C |
conf |
PPDP
José Fragoso Santos, Petar Maksimovic, Théotime Grohens, Julian Dolby, Philippa Gardner
|
| 2018 |
A |
conf |
MSR
Jinqiu Yang, Erik Wittern, Annie T. T. Ying, Julian Dolby, Lin Tan
|
| 2017 |
— |
conf |
WAPI@ICSE
Erik Wittern, Annie T. T. Ying, Yunhui Zheng, Jim Alain Laredo, Julian Dolby, Christopher C. Young, Aleksander Slominski
|
| 2017 |
J |
jnl |
CoRR
Erik Wittern, Annie T. T. Ying, Yunhui Zheng, Jim Alain Laredo, Julian Dolby, Christopher C. Young, Aleksander Slominski
|
| 2017 |
J |
jnl |
CoRR
Erik Wittern, Annie T. T. Ying, Yunhui Zheng, Julian Dolby, Jim Alain Laredo
|
| 2017 |
A* |
conf |
ICSE
Erik Wittern, Annie T. T. Ying, Yunhui Zheng, Julian Dolby, Jim Alain Laredo
|
| 2017 |
J |
jnl |
CoRR
Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby
|
| 2017 |
A |
conf |
MSR
Marianna Rapoport, Philippe Suter, Erik Wittern, Ondrej Lhoták, Julian Dolby
|
| 2017 |
J |
jnl |
Formal Methods Syst. Des.
Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Murphy Berzish, Julian Dolby, Xiangyu Zhang
|
| 2016 |
— |
conf |
WISE (2)
Mihaela A. Bornea, Julian Dolby, Achille Fokoue, Anastasios Kementsietsidis, Kavitha Srinivas, Mandana Vaziri
|
| 2016 |
— |
conf |
ISWC (2)
Julian Dolby, Achille Fokoue, Mariano Rodriguez-Muro, Kavitha Srinivas, Wen Sun
|
| 2016 |
A* |
conf |
ASE
Sungho Lee, Julian Dolby, Sukyoung Ryu
|
| 2016 |
— |
conf |
PPPJ
Vivek Kumar, Julian Dolby, Stephen M. Blackburn
|
| 2016 |
— |
conf |
PPPJ
Yao Dong, Ana L. Milanova, Julian Dolby
|
| 2016 |
— |
conf |
SIGSOFT FSE
Shiyi Wei, Omer Tripp, Barbara G. Ryder, Julian Dolby
|
| 2016 |
J |
jnl |
Dagstuhl Reports
Julian Dolby, Orna Grumberg, Peter Müller, Omer Tripp
|
| 2015 |
— |
conf |
CAV (1)
Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby, Xiangyu Zhang
|
| 2015 |
A* |
conf |
ASE
Yoonseok Ko, Hongki Lee, Julian Dolby, Sukyoung Ryu
|
| 2015 |
— |
conf |
MobileDeLi
Julian Dolby
|
| 2015 |
A |
conf |
ISSTA
Wei Huang, Yao Dong, Ana L. Milanova, Julian Dolby
|
| 2015 |
J |
jnl |
ACM Trans. Softw. Eng. Methodol.
Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip
|
| 2014 |
— |
conf |
WISE (1)
Achille Fokoue, Mihaela A. Bornea, Julian Dolby, Anastasios Kementsietsidis, Kavitha Srinivas
|
| 2014 |
A |
conf |
ECOOP
Karim Ali, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip
|
| 2014 |
— |
conf |
PLAS@ECOOP
Julian Dolby
|
| 2013 |
— |
ch. |
Aliasing in Object-Oriented Programming
Manu Sridharan, Satish Chandra, Julian Dolby, Stephen J. Fink, Eran Yahav
|
| 2013 |
— |
conf |
SIGMOD Conference
Mihaela A. Bornea, Julian Dolby, Anastasios Kementsietsidis, Kavitha Srinivas, Patrick Dantressangle, Octavian Udrea, Bishwaranjan Bhattacharjee
|
| 2013 |
A* |
conf |
PLDI
Jeff Huang, Charles Zhang, Julian Dolby
|
| 2013 |
A* |
conf |
ICSE
Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek
|
| 2013 |
A* |
conf |
PLDI
Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip
|
| 2013 |
A* |
conf |
ICSE
Asger Feldthaus, Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip
|
| 2013 |
— |
conf |
ESEC/SIGSOFT FSE
Peng Liu, Julian Dolby, Charles Zhang
|
| 2012 |
J |
jnl |
ACM Trans. Program. Lang. Syst.
Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek
|
| 2012 |
A |
conf |
ECOOP
Manu Sridharan, Julian Dolby, Satish Chandra, Max Schäfer, Frank Tip
|
| 2012 |
J |
jnl |
IEEE Trans. Software Eng.
Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia
|
| 2012 |
A* |
conf |
PLDI
Boris Petrov, Martin T. Vechev, Manu Sridharan, Julian Dolby
|
| 2011 |
A* |
conf |
ICSE
Shay Artzi, Julian Dolby, Simon Holm Jensen, Anders Møller, Frank Tip
|
| 2011 |
J |
jnl |
Int. J. Softw. Tools Technol. Transf.
Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri
|
| 2011 |
B |
conf |
RV
William N. Sumner, Christian Hammer, Julian Dolby
|
| 2011 |
A* |
conf |
ICSE
Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip
|
| 2011 |
A |
conf |
ISSTA
Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, Ryan Berg
|
| 2010 |
A |
conf |
ECOOP
Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek
|
| 2010 |
A |
conf |
ECOOP
Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip
|
| 2010 |
A |
conf |
ISSTA
Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia
|
| 2010 |
J |
jnl |
IEEE Trans. Software Eng.
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst
|
| 2010 |
A* |
conf |
PLDI
Emina Torlak, Mandana Vaziri, Julian Dolby
|
| 2010 |
— |
conf |
ICSE (1)
Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia
|
| 2009 |
B |
conf |
CC
Nalini Vasudevan, Olivier Tardieu, Julian Dolby, Stephen A. Edwards
|
| 2009 |
Misc |
conf |
ISWC
Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Edith Schonberg, Kavitha Srinivas
|
| 2009 |
B |
conf |
VMCAI
Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri
|
| 2009 |
A* |
conf |
ICSE
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Barbara G. Ryder, Julian Dolby
|
| 2009 |
J |
jnl |
J. Web Semant.
Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Edith Schonberg, Kavitha Srinivas
|
| 2008 |
A* |
conf |
ICSE
Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip
|
| 2008 |
A |
conf |
ISSTA
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst
|
| 2008 |
Misc |
conf |
ISWC
Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Li Ma, Edith Schonberg, Kavitha Srinivas, Xingzhi Sun
|
| 2007 |
A |
conf |
ECOOP
Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby
|
| 2007 |
— |
conf |
ESEC/SIGSOFT FSE
Julian Dolby, Mandana Vaziri, Frank Tip
|
| 2007 |
— |
conf |
ISWC/ASWC
Chintan Patel, James J. Cimino, Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Li Ma, Edith Schonberg, Kavitha Srinivas
|
| 2007 |
— |
conf |
ISWC/ASWC
Julian Dolby, James Fan, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Li Ma, J. William Murdock, Kavitha Srinivas, Christopher A. Welty
|
| 2007 |
A* |
conf |
AAAI
Julian Dolby, Achille Fokoue, Aditya Kalyanpur, Aaron Kershenbaum, Edith Schonberg, Kavitha Srinivas, Li Ma
|
| 2007 |
— |
conf |
OOPSLA Companion
Sean McDirmid, Robert M. Fuhrer, Julian Dolby, Eugene Vigdorchik
|
| 2006 |
A* |
conf |
POPL
Mandana Vaziri, Frank Tip, Julian Dolby
|
| 2006 |
— |
conf |
OOPSLA Companion
Philippe Charles, Julian Dolby, Robert M. Fuhrer, Stanley M. Sutton Jr., Mandana Vaziri
|
| 2005 |
A |
conf |
ECOOP
Robert M. Fuhrer, Frank Tip, Adam Kiezun, Julian Dolby, Markus Keller
|
| 2005 |
J |
jnl |
IBM Syst. J.
Bowen Alpern, Steve Augart, Stephen M. Blackburn, Maria A. Butrico, Anthony Cocchi, Perry Cheng, Julian Dolby, Stephen J. Fink, David Grove, Michael Hind, Kathryn S. McKinley, Mark F. Mergen, J. Eliot B. Moss, Ton Anh Ngo, Vivek Sarkar, Martin Trapp
|
| 2004 |
A |
conf |
ECOOP
Bjorn De Sutter, Frank Tip, Julian Dolby
|
| 2004 |
— |
conf |
OOPSLA Companion
Darrell Reimer, Edith Schonberg, Kavitha Srinivas, Harini Srinivasan, Julian Dolby, Aaron Kershenbaum, Larry Koved
|
| 2002 |
— |
conf |
Java Virtual Machine Research and Technology Symposium
Bowen Alpern, Maria A. Butrico, Anthony Cocchi, Julian Dolby, Stephen J. Fink, David Grove, Ton Ngo
|
| 2001 |
Misc |
conf |
HiPC
Vivek Sarkar, Julian Dolby
|
| 2000 |
A* |
conf |
PLDI
Julian Dolby, Andrew A. Chien
|
| 1998 |
A |
conf |
OOPSLA
Julian Dolby, Andrew A. Chien
|
| 1998 |
J |
jnl |
Softw. Pract. Exp.
Andrew A. Chien, Julian Dolby, Bishwaroop Ganguly, Vijay Karamcheti, Xingbin Zhang
|
| 1997 |
A* |
conf |
PLDI
Julian Dolby
|
| 1997 |
— |
conf |
ISCOPE
Andrew A. Chien, Julian Dolby, Bishwaroop Ganguly, Vijay Karamcheti, Xingbin Zhang
|
| 1997 |
C |
conf |
HIPS
Andrew A. Chien, Julian Dolby, Bishwaroop Ganguly, Vijay Karamcheti, Xingbin Zhang
|
| 1996 |
— |
conf |
ISOTAS
Andrew A. Chien, Uday S. Reddy, John Plevyak, Julian Dolby
|
| 1994 |
— |
conf |
Specification of Parallel Algorithms
Andrew A. Chien, Mark Straka, Julian Dolby, Vijay Karamcheti, John Plevyak, Xingbin Zhang
|