search

soarlab / soarlab.github.io

BSD 3-Clause "New" or "Revised" License
0 stars 4 forks source link

Make all bibtex entries consistent #10

Closed zvonimir closed 4 years ago

zvonimir commented 4 years ago

This is the format/order that I like for LNCS papers:

@inproceedings{atva2018-bhr,
  author = {Marek Baranowski and Shaobo He and Zvonimir Rakamari\'c},
  title = {Verifying {Rust} Programs with {SMACK}},
  booktitle = {Proceedings of the 16th International Symposium on
    Automated Technology for Verification and Analysis (ATVA)},
  series = {Lecture Notes in Computer Science},
  volume = {11138},
  publisher = {Springer},
  editor = {Shuvendu K. Lahiri and Chao Wang},
  year = {2018},
  pages = {528--535},
  doi = {10.1007/978-3-030-01090-4_32}
}

There is something similar for IEEE/ACM papers too. You can double-check all of this using wayback machine, for example: https://web.archive.org/web/20160908235511/http://soarlab.org/2007/10/verifying-heap-manipulating-programs-in-an-smt-framework/

zvonimir commented 4 years ago

We'll be going through papers one-by-one, which is when this will get fixed.