Luís Pina

20 papers A* 3A 5Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2024 A conf
An Empirical Examination of Fuzzer Mutator Performance.
ISSTA
James Kukucka, Luís Pina, Paul Ammann, Jonathan Bell
2024 J jnl
Jmvx: Fast Multi-threaded Multi-version Execution and Record-Replay for Managed Languages.
Proc. ACM Program. Lang.
David Schwartz, Ankith Kowshik, Luís Pina
2024 J jnl
Long-Range Bird Species Identification Using Directional Microphones and CNNs.
Mach. Learn. Knowl. Extr.
Tiago Garcia, Luís Pina, Magnus Robb, Jorge Maria, Roel May, Ricardo Oliveira
2023 J jnl
Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution (Artifact).
Dagstuhl Artifacts Ser.
Ugnius Rumsevicius, Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina
2023 A conf
Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution.
ECOOP
Ugnius Rumsevicius, Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina
2022 A* conf
CONFETTI: Amplifying Concolic Guidance for Fuzzers.
ICSE
James Kukucka, Luís Pina, Paul Ammann, Jonathan Bell
2022 A* conf
Reproducibility in Computational Linguistics: Is Source Code Enough?
EMNLP
Mohammad Arvan, Luís Pina, Natalie Parde
2022 J jnl
SaBRe: load-time selective binary rewriting.
Int. J. Softw. Tools Technol. Transf.
Paul-Antoine Arras, Anastasios Andronidis, Luís Pina, Karolis Mituzas, Qianyi Shu, Daniel Grumberg, Cristian Cadar
2021 J jnl
Dynamic Software Updates for Unmodified Browsers through Multi-Version Execution.
CoRR
Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina
2019 A* conf
MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution.
ASPLOS
Luís Pina, Anastasios Andronidis, Michael Hicks, Cristian Cadar
2018 A conf
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs.
ECOOP
Jonathan Bell, Luís Pina
2017 — conf
A DSL Approach to Reconcile Equivalent Divergent Program Executions.
USENIX ATC
Luís Pina, Daniel Grumberg, Anastasios Andronidis, Cristian Cadar
2016 A conf
Tedsuto: A General Framework for Testing Dynamic Software Updates.
ICST
Luís Pina, Michael Hicks
2015 — conf
Towards deployment-time dynamic analysis of server applications.
WODA@SPLASH
Luís Pina, Cristian Cadar
2014 A conf
Rubah: DSU for Java on a stock JVM.
OOPSLA
Luís Pina, Luís Veiga, Michael W. Hicks
2013 — conf
Rubah: Efficient, General-purpose Dynamic Software Updating for Java.
HotSWUp
Luís Pina, Michael Hicks
2012 — conf
Atomic Dynamic Upgrades using software transactional memory.
HotSWUp
Luís Pina, João P. Cachopo
2011 — conf
Profiling and tuning the performance of an STM-based concurrent program.
SPLASH Workshops
Luís Pina, João P. Cachopo
2008 — conf
Dealing with Uncertainty in the Hybrid World.
ICINCO-ICSO
Luís Pina, Miguel Ayala Botto
2006 J jnl
Simultaneous state and input estimation of hybrid systems with unknown inputs.
Autom.
Luís Pina, Miguel Ayala Botto