@inproceedings{DBLP:conf/icse/MilicevicNKJ15,
  author    = {Aleksandar Milicevic and
               Joseph P. Near and
               Eunsuk Kang and
               Daniel Jackson},
  title     = {Alloy*: {A} General-Purpose Higher-Order Relational Constraint Solver (ACM SIGSOFT Distinguished Paper Award)},
  booktitle = {37th {IEEE/ACM} International Conference on Software Engineering (ICSE)},
  year      = {2015},
  url_paper = {pubs/2015/icse15-alloystar.pdf}
}

% Link originally went to http://www.gregdennis.com/alloy_mscs_2013.pdf, which is broken.
% Downloaded from http://homes.cs.washington.edu/~emina/pubs/alloy.mscs13.pdf by Matt, 2017-03-06

{"_id":"Yuww7ttuRGnX68ibG","bibbaseid":"milicevic-near-kang-jackson-alloyageneralpurposehigherorderrelationalconstraintsolveracmsigsoftdistinguishedpaperaward-2015","author_short":["Milicevic, A.","Near, J. P.","Kang, E.","Jackson, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Aleksandar"],"propositions":[],"lastnames":["Milicevic"],"suffixes":[]},{"firstnames":["Joseph","P."],"propositions":[],"lastnames":["Near"],"suffixes":[]},{"firstnames":["Eunsuk"],"propositions":[],"lastnames":["Kang"],"suffixes":[]},{"firstnames":["Daniel"],"propositions":[],"lastnames":["Jackson"],"suffixes":[]}],"title":"Alloy*: A General-Purpose Higher-Order Relational Constraint Solver (ACM SIGSOFT Distinguished Paper Award)","booktitle":"37th IEEE/ACM International Conference on Software Engineering (ICSE)","year":"2015","url_paper":"pubs/2015/icse15-alloystar.pdf","bibtex":"@inproceedings{DBLP:conf/icse/MilicevicNKJ15,\n author = {Aleksandar Milicevic and\n Joseph P. Near and\n Eunsuk Kang and\n Daniel Jackson},\n title = {Alloy*: {A} General-Purpose Higher-Order Relational Constraint Solver (ACM SIGSOFT Distinguished Paper Award)},\n booktitle = {37th {IEEE/ACM} International Conference on Software Engineering (ICSE)},\n year = {2015},\n url_paper = {pubs/2015/icse15-alloystar.pdf}\n}\n\n% Link originally went to http://www.gregdennis.com/alloy_mscs_2013.pdf, which is broken.\n% Downloaded from http://homes.cs.washington.edu/~emina/pubs/alloy.mscs13.pdf by Matt, 2017-03-06\n","author_short":["Milicevic, A.","Near, J. P.","Kang, E.","Jackson, D."],"key":"DBLP:conf/icse/MilicevicNKJ15","id":"DBLP:conf/icse/MilicevicNKJ15","bibbaseid":"milicevic-near-kang-jackson-alloyageneralpurposehigherorderrelationalconstraintsolveracmsigsoftdistinguishedpaperaward-2015","role":"author","urls":{" paper":"https://groups.csail.mit.edu/sdg/pubs/2015/icse15-alloystar.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://groups.csail.mit.edu/sdg/sdgpub.bib","dataSources":["t9Kc2YBfktMvKserb"],"keywords":[],"search_terms":["alloy","general","purpose","higher","order","relational","constraint","solver","acm","sigsoft","distinguished","paper","award","milicevic","near","kang","jackson"],"title":"Alloy*: A General-Purpose Higher-Order Relational Constraint Solver (ACM SIGSOFT Distinguished Paper Award)","year":2015}