added recent publications

Signed-off-by: Konstantin Läufer <[email protected]>

bibs/inproceedings/2024-inproceedings-fie24.bib

@@ -0,0 +1,9 @@
+@misc{laufer2024fie,
+      title={WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+}, 
+      author={Konstantin Läufer and Gunda Mertin and George K. Thiruvathukal},
+      year={2024},
+      eprint={2407.21152},
+      archivePrefix={arXiv},
+      primaryClass={cs.SE},
+      url={https://arxiv.org/abs/2407.21152}, 
+}

bibs/inproceedings/2024-inproceedings-huiyun.bib

@@ -0,0 +1,9 @@
+@misc{peng2024largelanguagemodelsenergyefficient,
+      title={Large Language Models for Energy-Efficient Code: Emerging Results and Future Directions}, 
+      author={Huiyun Peng and Arjun Gupte and Nicholas John Eliopoulos and Chien Chou Ho and Rishi Mantri and Leo Deng and Wenxin Jiang and Yung-Hsiang Lu and Konstantin Läufer and George K. Thiruvathukal and James C. Davis},
+      year={2024},
+      eprint={2410.09241},
+      archivePrefix={arXiv},
+      primaryClass={cs.SE},
+      url={https://arxiv.org/abs/2410.09241}, 
+}

bibs/journal/2023-article-federico-sinche-IEAM.bib

@@ -0,0 +1,24 @@
+
+@article{osti_2000330,
+title = {New technologies as decision aids for the advancement of ecological risk assessment},
+author = {Chele, Federico Sinche and Jimenez‐Pazmino, Priscilla and Läufer, Konstantin},
+abstractNote = {Moore's law states that the number of transistors that can be placed on an integrated circuit doubles every two years (Moore, 1975). This has led to a steady increase in the processing power of computers over time, and technology is now enhancing and advancing software and scientific applications, which has enabled computationally intensive methods such as machine learning, data science, modeling, and simulation. The advancement of computers and data-driven algorithms is profoundly impacting people's lives. It is changing the way we work, the way we learn, and the way we interact with the world around us. Here, this editorial will discuss how scientists can benefit from the latest technology advancements and related tools by incorporating them into the ecological risk assessment (ERA) to study ecosystems as a way to create refined assessments and accelerate the turnaround times.},
+doi = {10.1002/ieam.4815},
+url = {https://www.osti.gov/biblio/2000330}, journal = {Integrated Environmental Assessment and Management},
+issn = {1551-3777},
+number = 5,
+volume = 19,
+place = {United States},
+year = {2023},
+month = {8}
+}
+A) to study ecosystems as a way to create refined assessments and accelerate the turnaround times.},
+doi = {10.1002/ieam.4815},
+url = {https://www.osti.gov/biblio/2000330}, journal = {Integrated Environmental Assessment and Management},
+issn = {1551-3777},
+number = 5,
+volume = 19,
+place = {United States},
+year = {2023},
+month = {8}
+}