34 citations · 52 across the 8 of their papers we have counts for
8 papers
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
Mohammad Saqib Hasan, Sayontan Ghosh, Dhruv Verma +4
We study the problem of Open-Vocabulary Constructs(OVCs) -- ones not known beforehand -- in the context of converting natural language (NL) specifications into formal languages (e.…
Smart Starts: Accelerating Convergence through Uncommon Region Exploration
Xinyu Zhang, Mário Antunes, Tyler Estro +2
Initialization profoundly affects evolutionary algorithm (EA) efficacy by dictating search trajectories and convergence. This study introduces a hybrid initialization strategy comb…
Into the Void: Mapping the Unseen Gaps in High Dimensional Data
Xinyu Zhang, Tyler Estro, Geoff Kuenning +2
We present a comprehensive pipeline, augmented by a visual analytics system named ``GapMiner'', that is aimed at exploring and exploiting untapped opportunities within the empty ar…
Verifiable Sustainability in Data Centers
Syed Rafiul Hussain, Patrick McDaniel, Anshul Gandhi +7
Data centers have significant energy needs, both embodied and operational, affecting sustainability adversely. The current techniques and tools for collecting, aggregating, and rep…
PC-Expo: A Metrics-Based Interactive Axes Reordering Method for Parallel Coordinate Displays
Anjul Tyagi, Tyler Estro, Geoff Kuenning +2
The axes ordering in PCP presents a particular story from the data based on the user perception of PCP polylines. Existing works focus on directly optimizing for PCP axes ordering…
KML: Using Machine Learning to Improve Storage Systems
Ibrahim Umit Akgun, Ali Selman Aydin, Andrew Burford +5
Operating systems include many heuristic algorithms designed to improve overall storage performance and throughput. Because such heuristics cannot work well for all conditions and…
ICE: An Interactive Configuration Explorer for High Dimensional Categorical Parameter Spaces
Anjul Tyagi, Zhen Cao, Tyler Estro +2
There are many applications where users seek to explore the impact of the settings of several categorical variables with respect to one dependent numerical variable. For example, a…
Don't Thrash: How to Cache Your Hash on Flash
Michael A. Bender, Martin Farach-Colton, Rob Johnson +7
This paper presents new alternatives to the well-known Bloom filter data structure. The Bloom filter, a compact data structure supporting set insertion and membership queries, has…