![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Luís Pina
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j3]Ugnius Rumsevicius, Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina:
Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution (Artifact). Dagstuhl Artifacts Ser. 9(2): 03:1-03:2 (2023) - [c14]Ugnius Rumsevicius, Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina:
Sinatra: Stateful Instantaneous Updates for Commercial Browsers Through Multi-Version eXecution. ECOOP 2023: 26:1-26:29 - 2022
- [j2]Paul-Antoine Arras, Anastasios Andronidis, Luís Pina, Karolis Mituzas, Qianyi Shu, Daniel Grumberg, Cristian Cadar
:
SaBRe: load-time selective binary rewriting. Int. J. Softw. Tools Technol. Transf. 24(2): 205-223 (2022) - [c13]Mohammad Arvan, Luís Pina, Natalie Parde
:
Reproducibility in Computational Linguistics: Is Source Code Enough? EMNLP 2022: 2350-2361 - [c12]James Kukucka, Luís Pina, Paul Ammann, Jonathan Bell
:
CONFETTI: Amplifying Concolic Guidance for Fuzzers. ICSE 2022: 438-450 - 2021
- [i1]Siddhanth Venkateshwaran, Ellen Kidane, Luís Pina:
Dynamic Software Updates for Unmodified Browsers through Multi-Version Execution. CoRR abs/2106.04655 (2021)
2010 – 2019
- 2019
- [c11]Luís Pina
, Anastasios Andronidis, Michael Hicks, Cristian Cadar
:
MVEDSUA: Higher Availability Dynamic Software Updates via Multi-Version Execution. ASPLOS 2019: 573-585 - 2018
- [c10]Luís Pina
, Anastasios Andronidis, Cristian Cadar
:
FreeDA: deploying incompatible stock dynamic analyses in production via multi-version execution. CF 2018: 1-10 - [c9]Jonathan Bell, Luís Pina
:
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs. ECOOP 2018: 17:1-17:31 - 2017
- [c8]Luís Pina, Daniel Grumberg, Anastasios Andronidis, Cristian Cadar:
A DSL Approach to Reconcile Equivalent Divergent Program Executions. USENIX ATC 2017: 417-429 - 2016
- [c7]Luís Pina
, Michael Hicks
:
Tedsuto: A General Framework for Testing Dynamic Software Updates. ICST 2016: 278-287 - 2015
- [c6]Luís Pina
, Cristian Cadar
:
Towards deployment-time dynamic analysis of server applications. WODA@SPLASH 2015: 35-36 - 2014
- [c5]Luís Pina
, Luís Veiga
, Michael W. Hicks
:
Rubah: DSU for Java on a stock JVM. OOPSLA 2014: 103-119 - 2013
- [c4]Luís Pina, Michael Hicks:
Rubah: Efficient, General-purpose Dynamic Software Updating for Java. HotSWUp 2013 - 2012
- [c3]Luís Pina, João P. Cachopo
:
Atomic Dynamic Upgrades using software transactional memory. HotSWUp 2012: 21-25 - 2011
- [c2]Luís Pina, João P. Cachopo
:
Profiling and tuning the performance of an STM-based concurrent program. SPLASH Workshops 2011: 105-110
2000 – 2009
- 2008
- [c1]Luís Pina, Miguel Ayala Botto:
Dealing with Uncertainty in the Hybrid World. ICINCO-ICSO 2008: 5-14 - 2006
- [j1]Luís Pina, Miguel Ayala Botto
:
Simultaneous state and input estimation of hybrid systems with unknown inputs. Autom. 42(5): 755-762 (2006)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-17 21:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint