Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Huascar Sanchez

dblp:07/10568 · also Huáscar A. Sánchez, Huáscar Antonio Sánchez · DBLP profile ↗
← Back
9ranked-venue papers
4as first author
0since 2021 · last 2016
0009-0009-3739-2443ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 5 · 3 first-authorGraphics, computer vision, multimedia, augmented reality and games · 2Human-computer interaction and ubiquitous computing · 2Databases, data management, data science and information retrieval · 1Theory of computation · 1Applied, interdisciplinary, general and emerging computing · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
3 papers
Software maintenance and evolution · 58% Program verification · 34% Empirical software engineering · 9%
Theoretical computer science
1 paper
Automated reasoning and model checking · 100%
Databases, data mining, and information retrieval
1 paper
Database system architecture and tuning · 100%

Topics — the 7 heaviest of 8, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program verification › code-level verification
java verification
0.212016
JayHorn: A Framework for Verifying Java programs · CAV (1) 2016
Automated reasoning and model checking › program verification
horn clause verification
0.212016
JayHorn: A Framework for Verifying Java programs · CAV (1) 2016
Software maintenance and evolution
code search
0.212013
SNIPR: complementing code search with code retargeting capabilities · ICSE 2013
Database system architecture and tuning
index tuning
0.112012
Kaizen: a semi-automatic index advisor · SIGMOD Conference 2012
Empirical software engineering
mining software repositories
0.112015
Source Code Curation on StackOverflow: The Vesperin System · ICSE (2) 2015
Software maintenance and evolution
code reuse
0.012013
SNIPR: complementing code search with code retargeting capabilities · ICSE 2013
Database system architecture and tuning
index recommendation
0.012012
Kaizen: a semi-automatic index advisor · SIGMOD Conference 2012
YearPublicationVenuePosition
2016 JayHorn: A Framework for Verifying Java programs
Temesghen Kahsai, Philipp Rümmer, Huascar Sanchez, Martin Schäf
CAV (1)3
2016 Detecting Similar Programs via The Weisfeiler-Leman Graph Kernel
Wenchao Li 0001, Hossein Saidi 0002, Huascar Sanchez, Martin Schäf, Pascal Schweitzer
ICSR3
2016 Multistaging to understand: Distilling the essence of java code examples
abstract
Programmers commonly search the Web to find code examples that can help them solve a specific programming task. While some novice programmers may be willing to spend as much time as needed to understand a found code example, more experienced ones want to spend as little time as possible. They want to get a quick overview of the example's operation, so they can start working with it immediately. Getting this overview is often non-trivial and requires a tedious and manual inspection process. In this paper, we introduce a technique called Multi-staging to Understand, which streamlines this inspection process by distilling the essence of code examples. The essence of a code example conveys the most important aspects of the example's intended function. Our technique automatically decomposes the code in an example into code stages that can be explored non-sequentially; enabling fast exploratory learning. We discuss the key components of our technique and describe empirical results based on actual code examples on StackOverflow.
Huascar Sanchez, E. James Whitehead Jr., Martin Schäf
ICPC1
2015 Source Code Curation on StackOverflow: The Vesperin System
abstract
The past few years have witnessed the rise of software question and answer sites like StackOverflow, where developers can pose detailed coding questions and receive quality answers. Developers using these sites engage in a complex code foraging process of understanding and adapting the code snippets they encounter. We introduce the notion of source code curation to cover the act of discovering some source code of interest, cleaning and transforming (refining) it, and then presenting it in a meaningful and organized way. In this paper, we present Vesperin, a source code curation system geared towards curating Java code examples on StackOverflow.
Huascar Sanchez, E. James Whitehead Jr.
ICSE (2)1
2014 Xylem: The Code of Plants
Heather Logas, E. James Whitehead Jr., Michael Mateas, Richard Vallejos, Lauren Scott, John T. Murray, Kate Compton, Joseph C. Osborn, Orlando Salvatore, Daniel G. Shapiro, Zhongpeng Lin, Huascar Sanchez, Michael Shavlovsky, Chris Lewis 0002, Daniel Cetina, Shayne Clementi
FDG12
2014 Software verification games: Designing Xylem, The Code of Plants
Heather Logas, E. James Whitehead Jr., Michael Mateas, Richard Vallejos, Lauren Scott, Daniel G. Shapiro, John T. Murray, Kate Compton, Joseph C. Osborn, Orlando Salvatore, Zhongpeng Lin, Huascar Sanchez, Michael Shavlovsky, Daniel Cetina, Shayne Clementi, Chris Lewis 0002
FDG12
2013 SNIPR: complementing code search with code retargeting capabilities
abstract
This paper sketches a research path that seeks to examine the search for suitable code problem, based on the observation that when code retargeting is included within a code search activity, developers can justify the suitability of these results upfront and thus reduce their searching efforts looking for suitable code. To support this observation, this paper introduces the Snippet Retargeting Approach, or simply SNIPR. SNIPR complements code search with code retargeting capabilities. These capabilities' intent is to help expedite the process of determining if a found example is a best fit. They do that by allowing developers to explore code modification ideas in place, without requiring to leave the search interface. With SNIPR, developers engage in a virtuous loop where they find code, retarget code, and select only code choices they can justify as suitable. This assures immediate feedback on retargeted examples and thus saves valuable time searching for appropriate code.
Huascar Sanchez
ICSE1
2012 Kaizen: a semi-automatic index advisor
abstract
Index tuning; i.e., selecting indexes that are appropriate for the workload to obtain good system performance, is a crucial task for database administrators. Administrators rely on automated index advisors for this task, but existing advisors work either offline, requiring a-priori knowledge of the workload, or online, taking the administrator out of the picture and assuming total control of the index tuning task. Semi-automatic index tuning is a new paradigm that achieves a middle ground: the advisor analyzes the workload online and provides recommendations tailored to the current workload, and the administrator is able to provide feedback to refine future recommendations. In this demonstration we present Kaizen, an index tuning tool that implements semi-automatic tuning.
Ivo Jimenez, Huascar Sanchez, Quoc Trung Tran, Neoklis Polyzotis
SIGMOD Conference2
2006 The Branding Analysis Pattern
abstract
Abstract. Branding is a concept that spans multiple areas of application. It is used to create identifiable associations between any type of entity and its brands, with the sole purpose of differentiating it from its peers. This paper introduces the Branding analysis pattern. This pattern focuses on providing a conceptual model that represents any type of branding need in any domain. To achieve this, we used Software Stability Models “SSMs” [1, 2, 3, 4] as the main recipe. This paper also provides full pattern documentation. Additionally, in order to demonstrate the application of this pattern, we provide two examples: one related to HCI, and the other one related to Marketing. Keywords: Branding, Branding Analysis Patterns, Software Stability Models. I. Introduction Branding is a mental construct that establishes a connection between your desires and a particular entity. This connection is achieved through the use of a combination of logos, names, trademarks, tag lines, color palettes, sounds and tones, and physical and behavioral features in a manner that reflects the emotional make-up of any entity. Branding’s origin references to the earliest shepherds that branded their cattle to identify them and differentiate them from other shepherds’ cattle. Nowadays, this activity has found great acceptance in areas as diverse as Marketing and Forensics. In Marketing, branding has emerged as the means for both enhancing customers’ perception with respect to an identifiable product, establishing a pervasive means to communicate information and mark differences among this product and its peers, i.e. Nike,
Huascar Sanchez, Mohamed Fayad
AICCSA1