@inproceedings{marques2025-explodejs,title={Automated Exploit Generation for Node.js Packages},author={Marques, Filipe and Ferreira, Mafalda and Nascimento, Andr\'{e} and Coimbra, Miguel E. and Santos, Nuno and Jia, Limin and Fragoso Santos, Jos\'{e}},booktitle={Proceedings of the 46th ACM SIGPLAN Conference on Programming Language Design and Implementation},year={2025},month=jun,journal={Proc. ACM Program. Lang.},publisher={Association for Computing Machinery},address={New York, NY, USA},volume={9},number={Pldi},numpages={26},doi={10.1145/3729304},url={https://doi.org/10.1145/3729304}}
2023
MSc Thesis
A Typed Intermediate Language for Specifying the ECMAScript Standard
@mastersthesis{nascimento2023-tesl,title={A Typed Intermediate Language for Specifying the ECMAScript Standard},author={Nascimento, Andr\'{e}},year={2023},month=nov,school={Instituto Superior T\'{e}cnico},address={Lisbon, Portugal},copyright={embargoed-access}}