Luís Pina

According to our database, Luís Pina authored at least 20 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Jmvx: Fast Multi-threaded Multi-version Execution and Record-Replay for Managed Languages.

David Schwartz, Ankith Kowshik, Luís Pina

Proc. ACM Program. Lang., 2024

An Empirical Examination of Fuzzer Mutator Performance.

James Kukucka, Luís Pina, Paul Ammann, Jonathan Bell

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution (Artifact).

Ugnius Rumsevicius, Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina

Dagstuhl Artifacts Ser., 2023

Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution.

Ugnius Rumsevicius, Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

SaBRe: load-time selective binary rewriting.

Paul-Antoine Arras, Anastasios Andronidis, Luís Pina, Karolis Mituzas, Qianyi Shu, Daniel Grumberg, Cristian Cadar

Int. J. Softw. Tools Technol. Transf., 2022

CONFETTI: Amplifying Concolic Guidance for Fuzzers.

James Kukucka, Luís Pina, Paul Ammann, Jonathan Bell

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Reproducibility in Computational Linguistics: Is Source Code Enough?

Mohammad Arvan, Luís Pina, Natalie Parde

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

2021

Dynamic Software Updates for Unmodified Browsers through Multi-Version Execution.

Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina

CoRR, 2021

2019

MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution.

Luís Pina, Anastasios Andronidis, Michael Hicks, Cristian Cadar

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018

CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs.

Jonathan Bell, Luís Pina

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

<i>FreeDA</i>: deploying incompatible stock dynamic analyses in production via multi-version execution.

Luís Pina, Anastasios Andronidis, Cristian Cadar

Proceedings of the 15th ACM International Conference on Computing Frontiers, 2018

2017

A DSL Approach to Reconcile Equivalent Divergent Program Executions.

Luís Pina, Daniel Grumberg, Anastasios Andronidis, Cristian Cadar

Proceedings of the 2017 USENIX Annual Technical Conference, 2017

2016

Tedsuto: A General Framework for Testing Dynamic Software Updates.

Luís Pina, Michael Hicks

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2015

Towards deployment-time dynamic analysis of server applications.

Luís Pina, Cristian Cadar

Proceedings of the 13th International Workshop on Dynamic Analysis, 2015

2014

Rubah: DSU for Java on a stock JVM.

Luís Pina, Luís Veiga, Michael W. Hicks

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013

Rubah: Efficient, General-purpose Dynamic Software Updating for Java.

Luís Pina, Michael Hicks

Proceedings of the 5th Workshop on Hot Topics in Software Upgrades, 2013

2012

Atomic Dynamic Upgrades using software transactional memory.

Luís Pina, João P. Cachopo

Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades, 2012

2011

Profiling and tuning the performance of an STM-based concurrent program.

Luís Pina, João P. Cachopo

Proceedings of the SPLASH'11 Workshops, 2011

2008

Dealing with Uncertainty in the Hybrid World.

Luís Pina, Miguel Ayala Botto

Proceedings of the ICINCO 2008, 2008

2006

Simultaneous state and input estimation of hybrid systems with unknown inputs.

Luís Pina, Miguel Ayala Botto

Autom., 2006