Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Antonio Mastropaolo, Emad Aghajani, Luca Pascarella, Gabriele Bavota |
Automated variable renaming: are we there yet? |
Empir. Softw. Eng. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Clemencia Siro, Tunde Oluwaseyi Ajayi |
Evaluating the Robustness of Machine Reading Comprehension Models to Low Resource Entity Renaming. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Jingxuan Zhang, Junpeng Luo, Jiahui Liang, Lina Gong, Zhiqiu Huang |
An Accurate Identifier Renaming Prediction and Suggestion Approach. |
ACM Trans. Softw. Eng. Methodol. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Andrei Popescu 0001 |
Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version. |
J. Autom. Reason. |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Mengru Han, Yan Gu |
What's new in a name? Chinese people's perception of the renaming of COVID-19. |
CogSci |
2023 |
DBLP BibTeX RDF |
|
20 | Clemencia Siro, Tunde Oluwaseyi Ajayi |
Evaluating the Robustness of Machine Reading Comprehension Models to Low Resource Entity Renaming. |
AfricaNLP |
2023 |
DBLP BibTeX RDF |
|
20 | Junpeng Luo, Jingxuan Zhang, Zhiqiu Huang, Yong Xu, Chenxing Sun |
Toward an accurate method renaming approach via structural and lexical analyses. |
Frontiers Inf. Technol. Electron. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Ritu Garg, Rakesh Kumar Singh |
SBHDetector: A Fuzzy-Based Hybrid Approach to Detect Renaming and Shifting Between Versions. |
Int. J. Open Source Softw. Process. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Matthieu Nicolas, Gérald Oster, Olivier Perrin 0001 |
Efficient Renaming in Sequence CRDTs. |
IEEE Trans. Parallel Distributed Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Antonio Mastropaolo, Emad Aghajani, Luca Pascarella, Gabriele Bavota |
Automated Variable Renaming: Are We There Yet? |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Andrei Popescu 0001 |
Rensets and Renaming-Based Recursion for Syntax with Bindings. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Yiannakis Sazeides, Alex Gerber, Ron Gabor, Arkady Bramnik, George Papadimitriou 0001, Dimitris Gizopoulos, Chrysostomos Nicopoulos, Giorgos Dimitrakopoulos, Karyofyllis Patsidis |
IDLD: Instantaneous Detection of Leakage and Duplication of Identifiers used for Register Renaming. |
MICRO |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Jun Yan 0012, Yang Xiao, Sagnik Mukherjee, Bill Yuchen Lin, Robin Jia, Xiang Ren 0001 |
On the Robustness of Reading Comprehension Models to Entity Renaming. |
NAACL-HLT |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Andrei Popescu 0001 |
Rensets and Renaming-Based Recursion for Syntax with Bindings. |
IJCAR |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Abhishek Bhattacharyya, Abhijith Somashekhar, Joshua San Miguel |
NvMR: non-volatile memory renaming for intermittent computing. |
ISCA |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Huixin Zhan, Victor S. Sheng, Wei-Ming Lin |
Reinforcement learning-based register renaming policy for simultaneous multithreading CPUs. |
Expert Syst. Appl. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Michele Basaldella |
α β-Relations and the Actual Meaning of α-Renaming. |
ACM Trans. Comput. Log. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Petra Berenbrink, André Brinkmann, Robert Elsässer, Tom Friedetzky, Lars Nagel 0001 |
Randomized renaming in shared memory systems. |
J. Parallel Distributed Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Michael Christian Fink Amores, David Sabel |
Complexity of Deciding Syntactic Equivalence up to Renaming for Term Rewriting Systems (Extended Version). |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Jun Yan 0012, Yang Xiao, Sagnik Mukherjee, Bill Yuchen Lin, Robin Jia, Xiang Ren 0001 |
On the Robustness of Reading Comprehension Models to Entity Renaming. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
20 | Jiahui Liang, Weiqin Zou, Jingxuan Zhang, Zhiqiu Huang, Chenxing Sun |
A Deep Method Renaming Prediction and Refinement Approach for Java Projects. |
QRS |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Qiqi Gu, Wei Ke 0001 |
A Neural Architecture for Detecting Identifier Renaming from Diff. |
IDEAL |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Helen Dong, Shurui Zhou, Jin L. C. Guo, Christian Kästner |
Splitting, Renaming, Removing: A Study of Common Cleaning Activities in Jupyter Notebooks. |
ASE Workshops |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Siva Nishok Dhanuskodi, Samuel Allen, Daniel E. Holcomb |
Efficient Register Renaming Architectures for 8-bit AES Datapath at 0.55 pJ/bit in 16-nm FinFET. |
IEEE Trans. Very Large Scale Integr. Syst. |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Dejan Spasov |
Pipelined Serial Register Renaming. |
ICT Innovations |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Satoshi Mitsuno, Junichiro Kadomoto, Toru Koizumi 0001, Ryota Shioya, Hidetsugu Irie, Shuichi Sakai |
A High-Performance Out-of-Order Soft Processor Without Register Renaming. |
FPL |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Xianhua Liu 0001, Qinghong Yang, Miao Tao, Qinshu Chen, Xu Cheng |
An Efficient Register Renaming Technique with Delayed Allocation and Register Packing. |
ICECS |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Dejan Spasov |
Sequential Register Renaming. |
MIPRO |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Joshua Moerman, Jurriaan Rot |
Separation and Renaming in Nominal Sets. |
CSL |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Matthieu Nicolas, Gérald Oster, Olivier Perrin 0001 |
Efficient renaming in sequence CRDTs. |
PaPoC@EuroSys |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Christoph Beierle, Jonas Haldimann |
Transforming Conditional Knowledge Bases into Renaming Normal Form. |
FLAIRS |
2020 |
DBLP BibTeX RDF |
|
20 | Ipoom Jeong, Changmin Lee 0002, Keunsoo Kim, Won Woo Ro |
OverCome: Coarse-Grained Instruction Commit with Handover Register Renaming. |
IEEE Trans. Computers |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Joshua Moerman, Jurriaan Rot |
Separation and Renaming in Nominal Sets. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
20 | Hagit Attiya, Armando Castañeda, Maurice Herlihy, Ami Paz |
Bounds on the Step and Namespace Complexity of Renaming. |
SIAM J. Comput. |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Ron Gabor, Yiannakis Sazeides, Arkady Bramnik, Alexandros Andreou, Chrysostomos Nicopoulos, Karyofyllis Patsidis, Dimitris Konstantinou, Giorgos Dimitrakopoulos |
Error-Shielded Register Renaming Sub-system for a Dynamically Scheduled Out-of-Order Core. |
DATE |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens |
Characterising renaming within OCaml's module system: theory and implementation. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Aurélie Hurault, Philippe Quéinnec |
Proving a Non-blocking Algorithm for Process Renaming with TLA ^+ +. |
TAP@FM |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Christoph Beierle, Steven Kutsch |
Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens |
Rotor: a tool for renaming values in OCaml's module system. |
IWOR@ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Yosuke Isobe, Haruaki Tamada |
Design and Evaluation of the De-obfuscation Method against the Identifier Renaming Methods. |
Int. J. Networked Distributed Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Anaïs Durand, Michel Raynal, Gadi Taubenfeld |
Set Agreement and Renaming in the Presence of Contention-Related Crash Failures. |
SSS |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Hidetsugu Irie, Toru Koizumi 0001, Akifumi Fukuda, Seiya Akaki, Satoshi Nakae, Yutaro Bessho, Ryota Shioya, Takahiro Notsu, Katsuhiro Yoda, Teruo Ishihara, Shuichi Sakai |
STRAIGHT: Hazardless Processor Architecture Without Register Renaming. |
MICRO |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Hamid Tabani, José-María Arnau, Jordi Tubella, Antonio González 0001 |
A Novel Register Renaming Technique for Out-of-Order Processors. |
HPCA |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Eran Gilad, Tehila Mayzels, Elazar Raab, Mark Oskin, Yoav Etsion |
Architectural Support for Unlimited Memory Versioning and Renaming. |
IPDPS |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Jeremy Lacomis, Alan Jaffe, Edward J. Schwartz, Claire Le Goues, Bogdan Vasilescu |
Statistical Machine Translation Is a Natural Fit for Automatic Identifier Renaming in Software Source Code. |
AAAI Workshops |
2018 |
DBLP BibTeX RDF |
|
20 | Junichiro Kadomoto, Toru Koizumi 0001, Akifumi Fukuda, Reoma Matsuo, Susumu Mashimo, Akifumi Fujita, Ryota Shioya, Hidetsugu Irie, Shuichi Sakai |
An Area-Efficient Out-of-Order Soft-Core Processor Without Register Renaming. |
FPT |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Yosuke Isobe, Haruaki Tamada |
Are Identifier Renaming Methods Secure? |
SNPD |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Prasanth Chatarasi, Jun Shirako, Albert Cohen 0001, Vivek Sarkar |
A Unified Approach to Variable Renaming for Enhanced Vectorization. |
LCPC |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Eran Gilad |
Parallel Execution Using Memory Versioning And Renaming. |
|
2018 |
RDF |
|
20 | Marija Kulas |
A Practical View on Renaming. |
WLP / WFLP |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Matteo Sottana, Carla Piazza, Andrea Albarelli |
Efficient Computation of Renaming Functions for ρ-reversible Discrete and Continuous Time Markov Chains. |
VALUETOOLS |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Andrea Marin, Sabina Rossi |
Aggregation and Truncation of Reversible Markov Chains Modulo State Renaming. |
ASMTA |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Siva Nishok Dhanuskodi, Daniel E. Holcomb |
An improved clocking methodology for energy efficient low area AES architectures using register renaming. |
ISLPED |
2017 |
DBLP DOI BibTeX RDF |
|
20 | David Sabel |
Alpha-renaming of higher-order meta-expressions. |
PPDP |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Olaf Leßenich, Sven Apel, Christian Kästner, Georg Seibt, Janet Siegmund |
Renaming and shifted code in structured merging: looking ahead for precision and performance. |
ASE |
2017 |
DBLP DOI BibTeX RDF |
|
20 | Maurice Herlihy |
Renaming. |
Encyclopedia of Algorithms |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Hagit Attiya, Ami Paz |
Counting-based impossibility proofs for set agreement and renaming. |
J. Parallel Distributed Comput. |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Ali Khosravi |
Business process rearrangement and renaming: A new approach to process orientation and improvement. |
Bus. Process. Manag. J. |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Julien Cohen |
Renaming Global Variables in C Mechanically Proved Correct. |
VPT@ETAPS |
2016 |
DBLP DOI BibTeX RDF |
|
20 | Maryam Helmi, Lisa Higham, Philipp Woelfel |
Space Bounds for Adaptive Renaming. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
20 | Sabina Rossi, Andrea Marin |
On Discrete Time Reversibility modulo State Renaming and its Applications. |
EAI Endorsed Trans. Self Adapt. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Hui Liu 0003, Qiurong Liu, Yang Liu, Zhouding Wang |
Identifying Renaming Opportunities by Expanding Conducted Rename Refactorings. |
IEEE Trans. Software Eng. |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Dan Alistarh |
The Renaming Problem: Recent Developments and Open Questions. |
Bull. EATCS |
2015 |
DBLP BibTeX RDF |
|
20 | David Bonnin, Corentin Travers |
Splitting and Renaming with a Majority of Faulty Processes. |
ICDCN |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Petra Berenbrink, André Brinkmann, Robert Elsässer, Tom Friedetzky, Lars Nagel 0001 |
Randomized Renaming in Shared Memory Systems. |
IPDPS |
2015 |
DBLP DOI BibTeX RDF |
|
20 | Salvador Petit, Rafael Ubal, Julio Sahuquillo, Pedro López 0001 |
Efficient Register Renaming and Recovery for High-Performance Processors. |
IEEE Trans. Very Large Scale Integr. Syst. |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Bart Hazes |
CDSbank: taxonomy-aware extraction, selection, renaming and formatting of protein-coding DNA or amino acid sequences. |
BMC Bioinform. |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Armando Castañeda, Maurice Herlihy, Sergio Rajsbaum |
An Equivariance Theorem with Applications to Renaming. |
Algorithmica |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Dan Alistarh, James Aspnes, Keren Censor-Hillel, Seth Gilbert, Rachid Guerraoui |
Tight Bounds for Asynchronous Renaming. |
J. ACM |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Komal Jothi, Haitham Akkary |
Tuning the continual flow pipeline architecture with virtual register renaming. |
ACM Trans. Archit. Code Optim. |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Dan Alistarh, Justin Kopinsky, Alexander Matveev, Nir Shavit |
The LevelArray: A Fast, Practical Long-Lived Renaming Algorithm. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
20 | Sabina Rossi, Andrea Marin |
On Discrete Time Reversibility modulo State Renaming and its Applications. (DOI:10.4108/icst.valuetools.2014.258200 reused by journals/sas/RossiM15) |
VALUETOOLS |
2014 |
DBLP BibTeX RDF |
|
20 | Maryam Helmi, Lisa Higham, Philipp Woelfel |
Space Bounds for Adaptive Renaming. |
DISC |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Dan Alistarh, Oksana Denysyuk, Luís E. T. Rodrigues, Nir Shavit |
Balls-into-leaves: sub-logarithmic renaming in synchronous message-passing systems. |
PODC |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Dan Alistarh, Justin Kopinsky, Alexander Matveev, Nir Shavit |
The LevelArray: A Fast, Practical Long-Lived Renaming Algorithm. |
ICDCS |
2014 |
DBLP DOI BibTeX RDF |
|
20 | Mageda Sharafeddine, Haitham Akkary, Doug Carmean |
Virtual Register Renaming. |
ARCS |
2013 |
DBLP DOI BibTeX RDF |
|
20 | George Giakkoupis, Anne-Marie Kermarrec, Philipp Woelfel |
Gossip Protocols for Renaming and Sorting. |
DISC |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Armando Castañeda, Michel Raynal |
On the Consensus Number of Non-adaptive Perfect Renaming. |
NETYS |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Hagit Attiya, Armando Castañeda, Maurice Herlihy, Ami Paz |
Upper bound on the complexity of solving hard renaming. |
PODC |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Dan Alistarh, James Aspnes, George Giakkoupis, Philipp Woelfel |
Randomized loose renaming in O(log log n) time. |
PODC |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Oksana Denysyuk, Luís E. T. Rodrigues |
Byzantine renaming in synchronous systems with t |
PODC |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Oksana Denysyuk, Luís E. T. Rodrigues |
Order-Preserving Renaming in Synchronous Systems with Byzantine Faults. |
ICDCS |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Komal Jothi, Haitham Akkary |
Virtual register renaming: energy efficient substrate for continual flow pipelines. |
ACM Great Lakes Symposium on VLSI |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Yehuda Afek, Petr Kuznetsov, Israel Nir |
Renaming and the weakest family of failure detectors. |
Distributed Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Armando Castañeda, Sergio Rajsbaum |
New combinatorial topology bounds for renaming: The upper bound. |
J. ACM |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Oksana Denysyuk, Luís E. T. Rodrigues |
Order-preserving Renaming in Synchronous Message Passing Systems with Byzantine Faults |
CoRR |
2012 |
DBLP BibTeX RDF |
|
20 | Hagit Attiya, Ami Paz |
Counting-Based Impossibility Proofs for Renaming and Set Agreement. |
DISC |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Oksana Denysyuk, Luís E. T. Rodrigues |
Brief announcement: order-preserving renaming in synchronous message passing systems with byzantine faults. |
PODC |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Armando Castañeda, Sergio Rajsbaum, Michel Raynal |
Brief announcement: there are plenty of tasks weaker than perfect renaming and stronger than set agreement. |
PODC |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Armando Castañeda, Michel Raynal, Julien Stainer |
When and How Process Groups Can Be Used to Reduce the Renaming Space. |
OPODIS |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Dan Alistarh, Hagit Attiya, Rachid Guerraoui, Corentin Travers |
Early Deciding Synchronous Renaming in O( logf ) Rounds or Less. |
SIROCCO |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Hung Viet Nguyen, Hoan Anh Nguyen, Tung Thanh Nguyen, Tien N. Nguyen |
BabelRef: Detection and renaming tool for cross-language program entities in dynamic web applications. |
ICSE |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Armando Castañeda, Maurice Herlihy, Sergio Rajsbaum |
An Equivariance Theorem with Applications to Renaming. |
LATIN |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Elham Safi, Andreas Moshovos, Andreas G. Veneris |
Two-Stage, Pipelined Register Renaming. |
IEEE Trans. Very Large Scale Integr. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Alex Brodsky, Faith Ellen, Philipp Woelfel |
Fully-adaptive algorithms for long-lived renaming. |
Distributed Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Pieter Bellens, Josep M. Pérez, Rosa M. Badia, Jesús Labarta |
Making the Best of Temporal Locality: Just-in-Time Renaming and Lazy Write-Back on the Cell/B.E. |
Int. J. High Perform. Comput. Appl. |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Armando Castañeda, Sergio Rajsbaum, Michel Raynal |
The renaming problem in shared memory systems: An introduction. |
Comput. Sci. Rev. |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Armando Castañeda, Maurice Herlihy, Sergio Rajsbaum |
An Equivariance Theorem with Applications to Renaming (Preliminary Version) |
CoRR |
2011 |
DBLP BibTeX RDF |
|
20 | Dan Alistarh, James Aspnes, Seth Gilbert, Rachid Guerraoui |
The Complexity of Renaming. |
FOCS |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Dan Alistarh, James Aspnes, Keren Censor-Hillel, Seth Gilbert, Morteza Zadimoghaddam |
Optimal-time adaptive strong renaming, with applications to counting. |
PODC |
2011 |
DBLP DOI BibTeX RDF |
|