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.

Daniel Cociorva

dblp:63/6102 · DBLP profile ↗
← Back
13ranked-venue papers
3as first author
2since 2021 · last 2025
—ORCID · none

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

Systems, architecture and hardware · 6 · 2 first-authorApplied, interdisciplinary, general and emerging computing · 3Artificial intelligence and machine learning · 2 · 2 since 2021Software engineering, systems software and programming languages · 2 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 2 · 2 since 2021

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.

Artificial intelligence
2 papers
Representation and self-supervised learning · 44% Trustworthy machine learning · 25% Probabilistic and Bayesian machine learning · 25%
Interdisciplinary, comprehensive, and emerging computing
4 papers
Bioinformatics and computational biology · 96% Computational science and engineering · 4%
Computer architecture, parallel and distributed computing, and storage systems
3 papers
High-performance computing · 95% Parallel and multicore computing · 5%

Topics — the 14 heaviest of 19, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Machine learning › Probabilistic and Bayesian machine learning › statistical inference › parameter estimation
expectation-maximization
0.912025
Improving Model Probability Calibration by Integration of Large Data Sources with Biased Labels · AAAI 2025
Machine learning › Trustworthy machine learning › uncertainty estimation
probability calibration
0.912025
Improving Model Probability Calibration by Integration of Large Data Sources with Biased Labels · AAAI 2025
Machine learning › Representation and self-supervised learning › representation learning › disentangled representation learning
feature disentanglement
0.812024
SwitchTab: Switched Autoencoders Are Effective Tabular Learners · AAAI 2024
Machine learning › Representation and self-supervised learning › representation learning
tabular representation learning
0.812024
SwitchTab: Switched Autoencoders Are Effective Tabular Learners · AAAI 2024
Machine learning › Deep learning architectures and training
tabular classification
0.212024
SwitchTab: Switched Autoencoders Are Effective Tabular Learners · AAAI 2024
Bioinformatics and computational biology
proteomics
0.222010
XDIA: improving on the label-free data-independent analysis · Bioinform. 2010
YADA: a tool for taking the most out of high-resolution spectra · Bioinform. 2009
Bioinformatics and computational biology › proteomics
mass spectrometry data analysis
0.122010
YADA: a tool for taking the most out of high-resolution spectra · Bioinform. 2009
XDIA: improving on the label-free data-independent analysis · Bioinform. 2010
Bioinformatics and computational biology › proteomics › shotgun proteomics
data-independent acquisition
0.112010
XDIA: improving on the label-free data-independent analysis · Bioinform. 2010
Bioinformatics and computational biology › proteomics
shotgun proteomics
0.112010
XDIA: improving on the label-free data-independent analysis · Bioinform. 2010
High-performance computing
quantum chemistry
0.122002
A high-level approach to synthesis of high-performance codes for quantum chemistry · SC 2002
Space-Time Trade-Off Optimization for a Class of Electronic Structure Calculations · PLDI 2002
High-performance computing
scientific computing systems
0.122002
A high-level approach to synthesis of high-performance codes for quantum chemistry · SC 2002
Space-Time Trade-Off Optimization for a Class of Electronic Structure Calculations · PLDI 2002
Compilers and program optimization › code generation
high-performance code generation
0.012002
A high-level approach to synthesis of high-performance codes for quantum chemistry · SC 2002
Computational science and engineering › computational chemistry
electronic structure calculation
0.012002
Space-Time Trade-Off Optimization for a Class of Electronic Structure Calculations · PLDI 2002
Parallel and multicore computing › parallelizing compiler
parallel code generation
0.012002
A high-level approach to synthesis of high-performance codes for quantum chemistry · SC 2002

Methods — techniques the papers use, named apart from their topics

logistic likelihood · 0.9expectation-maximization · 0.9switched autoencoder · 0.8self-supervised pretraining · 0.8asymmetric encoder-decoder · 0.8electron transfer dissociation · 0.1collision-activated dissociation · 0.1program synthesis · 0.1performance optimization · 0.1operation-minimal form analysis · 0.1memory-constrained optimization · 0.1ProLuCID · 0.1DTASelect · 0.1tensor contraction · 0.1architecture-specific code generation · 0.1
YearPublicationVenuePosition
2025 Improving Model Probability Calibration by Integration of Large Data Sources with Biased Labels
abstract
Probability calibration transforms raw output of a classification model into empirically interpretable probability. When the model is purposed to detect rare event and only a small expensive data source has clean labels, it becomes extraordinarily challenging to obtain accurate probability calibration. Utilizing an additional large cheap data source is very helpful, however, such data sources oftentimes suffer from biased labels. To this end, we introduce an approximate expectation-maximization (EM) algorithm to extract useful information from the large data sources. For a family of calibration methods based on the logistic likelihood, we derive closed-form updates and call the resulting iterative algorithm CalEM. We show that CalEM inherits convergence guarantees from the approximate EM algorithm. We test the proposed model in simulation and on the real marketing datasets, where it shows significant performance increases.
Renat Sergazinov, Cheng Ji 0005, Daniel Cociorva, Hakan Brunzell
AAAI5
2024 SwitchTab: Switched Autoencoders Are Effective Tabular Learners
abstract
Self-supervised representation learning methods have achieved significant success in computer vision and natural language processing (NLP), where data samples exhibit explicit spatial or semantic dependencies. However, applying these methods to tabular data is challenging due to the less pronounced dependencies among data samples. In this paper, we address this limitation by introducing SwitchTab, a novel self-supervised method specifically designed to capture latent dependencies in tabular data. SwitchTab leverages an asymmetric encoder-decoder framework to decouple mutual and salient features among data pairs, resulting in more representative embeddings. These embeddings, in turn, contribute to better decision boundaries and lead to improved results in downstream tasks. To validate the effectiveness of SwitchTab, we conduct extensive experiments across various domains involving tabular data. The results showcase superior performance in end-to-end prediction tasks with fine-tuning. Moreover, we demonstrate that pre-trained salient embeddings can be utilized as plug-and-play features to enhance the performance of various traditional classification methods (e.g., Logistic Regression, XGBoost, etc.). Lastly, we highlight the capability of SwitchTab to create explainable representations through visualization of decoupled mutual and salient features in the latent space.
Suiyao Chen, Renat Sergazinov, Chongchao Zhao, Tianpei Xie, Hanqing Guo, Cheng Ji 0005, Daniel Cociorva, Hakan Brunzell
AAAI11
2011 Memory-optimal evaluation of expression trees involving large objects
Chi-Chung Lam, Thomas Rauber, Gerald Baumgartner, Daniel Cociorva, P. Sadayappan
Comput. Lang. Syst. Struct.4
2010 XDIA: improving on the label-free data-independent analysis
abstract
SUMMARY: XDIA is a computational strategy for analyzing multiplexed spectra acquired using electron transfer dissociation and collision-activated dissociation; it significantly increases identified spectra (approximately 250%) and unique peptides (approximately 30%) when compared with the data-dependent ETCaD analysis on middle-down, single-phase shotgun proteomic analysis. Increasing identified spectra and peptides improves quantitation statistics confidence and protein coverage, respectively. AVAILABILITY: The software and data produced in this work are freely available for academic use at http://fields.scripps.edu/XDIA CONTACT: [email protected] SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online.
Paulo C. Carvalho, Xuemei Han, Daniel Cociorva, Maria da Gloria Carvalho, Valmir C. Barbosa, John R. Yates III
Bioinform.4
2009 YADA: a tool for taking the most out of high-resolution spectra
abstract
Abstract Summary: YADA can deisotope and decharge high-resolution mass spectra from large peptide molecules, link the precursor monoisotopic peak information to the corresponding tandem mass spectrum, and account for different co-fragmenting ion species (multiplexed spectra). We describe how YADA enables a pipeline consisting of ProLuCID and DTASelect for analyzing large-scale middle-down proteomics data. Availability: http://fields.scripps.edu/yada Contact: [email protected] Supplementary information: Supplementary data are available at Bioinformatics online.
Paulo C. Carvalho, Xuemei Han, Daniel Cociorva, Valmir C. Barbosa, John R. Yates III
Bioinform.4
2005 Synthesis of High-Performance Parallel Programs for a Class of ab Initio Quantum Chemistry Models
abstract
This paper provides an overview of a program synthesis system for a class of quantum chemistry computations. These computations are expressible as a set of tensor contractions and arise in electronic structure modeling. The input to the system is a a high-level specification of the computation, from which the system can synthesize high-performance parallel code tailored to the characteristics of the target architecture. Several components of the synthesis system are described, focusing on performance optimization issues that they address.
Gerald Baumgartner, Alexander A. Auer, David E. Bernholdt, Alina Bibireata, Venkatesh Choppella, Daniel Cociorva, Xiaoyang Gao 0002, Robert J. Harrison, So Hirata, Sriram Krishnamoorthy, Sandhya Krishnan, Chi-Chung Lam, Qingda Lu, Marcel Nooijen, Russell M. Pitzer, J. Ramanujam, P. Sadayappan, Alexander Sibiryakov
Proc. IEEE6
2003 Efficient Parallel Out-of-Core Matrix Transposition
abstract
This paper addresses the problem of parallel transposition of large out-of-core arrays. Although algorithms for out-of-core matrix transposition have been widely studied, previously proposed algorithms have sought to minimize the number of I/O operations and the in-memory permutation time. We propose an algorithm that directly targets the improvement of overall transposition time. The I/O characteristics of the system are used to determine the read, write and communication block sizes such that the total execution time is minimized. We also provide a solution to the array redistribution problem for arrays on disk. The solution to the sequential transposition problem and the parallel array redistribution problem are then combined to obtain an algorithm for the parallel out-of-core transposition problem.
Sriram Krishnamoorthy, Gerald Baumgartner, Daniel Cociorva, Chi-Chung Lam, P. Sadayappan
CLUSTER3
2003 Data Locality Optimization for Synthesis of Efficient Out-of-Core Algorithms
Sandhya Krishnan, Sriram Krishnamoorthy, Gerald Baumgartner, Daniel Cociorva, Chi-Chung Lam, P. Sadayappan, J. Ramanujam, David E. Bernholdt, Venkatesh Choppella
HiPC4
2002 Space-Time Trade-Off Optimization for a Class of Electronic Structure Calculations
abstract
The accurate modeling of the electronic structure of atoms and molecules is very computationally intensive. Many models of electronic structure, such as the Coupled Cluster approach, involve collections of tensor contractions. There are usually a large number of alternative ways of implementing the tensor contractions, representing different trade-offs between the space required for temporary intermediates and the total number of arithmetic operations. In this paper, we present an algorithm that starts with an operation-minimal form of the computation and systematically explores the possible space-time trade-offs to identify the form with lowest cost that fits within a specified memory limit. Its utility is demonstrated by applying it to a computation representative of a component in the CCSD(T) formulation in the NWChem quantum chemistry suite from Pacific Northwest National Laboratory.
Daniel Cociorva, Gerald Baumgartner, Chi-Chung Lam, P. Sadayappan, J. Ramanujam, Marcel Nooijen, David E. Bernholdt, Robert J. Harrison
PLDI1
2002 A high-level approach to synthesis of high-performance codes for quantum chemistry
abstract
This paper discusses an approach to the synthesis of high-performance parallel programs for a class of computations encountered in quantum chemistry and physics. These computations are expressible as a set of tensor contractions and arise in electronic structure modeling. An overview is provided of the synthesis system, that transforms a high-level specification of the computation into high-performance parallel code, tailored to the characteristics of the target architecture. An example from computational chemistry is used to illustrate how different code structures are generated under different assumptions of available memory on the target computer.
Gerald Baumgartner, David E. Bernholdt, Daniel Cociorva, Robert J. Harrison, So Hirata, Chi-Chung Lam, Marcel Nooijen, Russell M. Pitzer, J. Ramanujam, P. Sadayappan
SC3
2001 Towards Automatic Synthesis of High-Performance Codes for Electronic Structure Calculations: Data Locality Optimization
Daniel Cociorva, J. W. Wilkins, Gerald Baumgartner, P. Sadayappan, J. Ramanujam, Marcel Nooijen, David E. Bernholdt, Robert J. Harrison
HiPC1
2001 Loop optimization for a class of memory-constrained computations
abstract
Compute-intensive multi-dimensional summations that involve products of several arrays arise in the modeling of electronic structure of materials. Sometimes several alternative formulations of a computation, representing different space-time trade-offs, are possible. By computing and storing some intermediate arrays, reduction of the number of arithmetic operations is possible, but the size of intermediate temporary arrays may be prohibitively large. Loop fusion can be applied to reduce memory requirements, but that could impede effective tiling to minimize memory access costs. This paper develops an integrated model combining loop tiling for enhancing data reuse, and loop fusion for reduction of memory for intermediate temporary arrays. An algorithm is presented that addresses the selection of tile sizes and choice of loops for fusion, with the objective of minimizing cache misses while keeping the total memory usage within a given limit. Experimental results are reported that demonstrate the effectiveness of the combined loop tiling and fusion transformations performed by using the developed framework.
Daniel Cociorva, J. W. Wilkins, Chi-Chung Lam, Gerald Baumgartner, J. Ramanujam, P. Sadayappan
ICS1
1999 Memory-Optimal Evaluation of Expression Trees Involving Large Objects
Chi-Chung Lam, Daniel Cociorva, Gerald Baumgartner, P. Sadayappan
HiPC2