Demo Data from EDBT 2026 / reviewers in the wild / expert
Charles W. O'Donnell
dblp:25/1982
· DBLP profile ↗
8ranked-venue papers
2as first author
0since 2021 · last 2012
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Applied, interdisciplinary, general and emerging computing · 4 · 1 first-authorArtificial intelligence and machine learning · 1Systems, architecture and hardware · 1Computer networks · 1 · 1 first-authorSecurity and privacy · 1Software engineering, systems software and programming languages · 1Theory of computation · 1
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.
| Interdisciplinary, comprehensive, and emerging computing
3 papers |
Bioinformatics and computational biology · 100% | |
| Network and information security
1 paper |
Hardware security and side channels · 100% |
Topics — the 9 heaviest of 10, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Bioinformatics and computational biology › protein structure prediction
protein folding |
0.1 | 1 | 2011 | Efficient Traversal of Beta-Sheet Protein Folding Pathways Using Ensemble Models · RECOMB 2011 |
Bioinformatics and computational biology
protein structure prediction |
0.1 | 1 | 2011 | A method for probing the mutational landscape of amyloid structure · Bioinform. 2011 |
Bioinformatics and computational biology
protein sequence analysis |
0.1 | 1 | 2009 | Simultaneous Alignment and Folding of Protein Sequences · RECOMB 2009 |
Bioinformatics and computational biology › RNA biology › RNA analysis › RNA bioinformatics › RNA structure prediction
simultaneous alignment and folding |
0.1 | 1 | 2009 | Simultaneous Alignment and Folding of Protein Sequences · RECOMB 2009 |
Hardware security and side channels › hardware security primitives
physical unclonable function |
0.1 | 1 | 2005 | Design and Implementation of the AEGIS Single-Chip Secure Processor Using Physical Random Functions · ISCA 2005 |
Hardware security and side channels
secret protection |
0.1 | 1 | 2005 | Design and Implementation of the AEGIS Single-Chip Secure Processor Using Physical Random Functions · ISCA 2005 |
Hardware security and side channels › trusted execution environments
secure processor |
0.1 | 1 | 2005 | Design and Implementation of the AEGIS Single-Chip Secure Processor Using Physical Random Functions · ISCA 2005 |
Hardware security and side channels
trusted execution environments |
0.1 | 1 | 2005 | Design and Implementation of the AEGIS Single-Chip Secure Processor Using Physical Random Functions · ISCA 2005 |
Processor architecture and microarchitecture › hardware-assisted security
secure processor architecture |
0.0 | 1 | 2005 | Design and Implementation of the AEGIS Single-Chip Secure Processor Using Physical Random Functions · ISCA 2005 |
Methods — techniques the papers use, named apart from their topics
statistical mechanics · 0.1ensemble models · 0.1physical random functions · 0.1RTL implementation · 0.1FPGA prototyping · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2012 | Lynx: A Programmatic SAT Solver for the RNA-Folding Problem
Vijay Ganesh 0001, Charles W. O'Donnell, Mate Soos, Srini Devadas, Martin C. Rinard, Armando Solar-Lezama |
SAT | 2 |
| 2011 | Efficient Traversal of Beta-Sheet Protein Folding Pathways Using Ensemble Models
Solomon Shenker, Charles W. O'Donnell, Srini Devadas, Bonnie Berger, Jérôme Waldispühl |
RECOMB | 2 |
| 2011 | A method for probing the mutational landscape of amyloid structureabstractMOTIVATION: Proteins of all kinds can self-assemble into highly ordered β-sheet aggregates known as amyloid fibrils, important both biologically and clinically. However, the specific molecular structure of a fibril can vary dramatically depending on sequence and environmental conditions, and mutations can drastically alter amyloid function and pathogenicity. Experimental structure determination has proven extremely difficult with only a handful of NMR-based models proposed, suggesting a need for computational methods. RESULTS: We present AmyloidMutants, a statistical mechanics approach for de novo prediction and analysis of wild-type and mutant amyloid structures. Based on the premise of protein mutational landscapes, AmyloidMutants energetically quantifies the effects of sequence mutation on fibril conformation and stability. Tested on non-mutant, full-length amyloid structures with known chemical shift data, AmyloidMutants offers roughly 2-fold improvement in prediction accuracy over existing tools. Moreover, AmyloidMutants is the only method to predict complete super-secondary structures, enabling accurate discrimination of topologically dissimilar amyloid conformations that correspond to the same sequence locations. Applied to mutant prediction, AmyloidMutants identifies a global conformational switch between Aβ and its highly-toxic 'Iowa' mutant in agreement with a recent experimental model based on partial chemical shift data. Predictions on mutant, yeast-toxic strains of HET-s suggest similar alternate folds. When applied to HET-s and a HET-s mutant with core asparagines replaced by glutamines (both highly amyloidogenic chemically similar residues abundant in many amyloids), AmyloidMutants surprisingly predicts a greatly reduced capacity of the glutamine mutant to form amyloid. We confirm this finding by conducting mutagenesis experiments. AVAILABILITY: Our tool is publically available on the web at http://amyloid.csail.mit.edu/. CONTACT: [email protected]; [email protected]. Charles W. O'Donnell, Jérôme Waldispühl, Mieszko Lis, Randal Halfmann, Srini Devadas, Susan Lindquist, Bonnie Berger |
Bioinform. | 1 |
| 2009 | Simultaneous Alignment and Folding of Protein Sequences
Jérôme Waldispühl, Charles W. O'Donnell, Sebastian Will, Srini Devadas, Rolf Backofen, Bonnie Berger |
RECOMB | 2 |
| 2007 | Learning biophysically-motivated parameters for alpha helix predictionabstractBACKGROUND: Our goal is to develop a state-of-the-art protein secondary structure predictor, with an intuitive and biophysically-motivated energy model. We treat structure prediction as an optimization problem, using parameterizable cost functions representing biological "pseudo-energies". Machine learning methods are applied to estimate the values of the parameters to correctly predict known protein structures. RESULTS: Focusing on the prediction of alpha helices in proteins, we show that a model with 302 parameters can achieve a Qalpha value of 77.6% and an SOValpha value of 73.4%. Such performance numbers are among the best for techniques that do not rely on external databases (such as multiple sequence alignments). Further, it is easier to extract biological significance from a model with so few parameters. CONCLUSION: The method presented shows promise for the prediction of protein secondary structure. Biophysically-motivated elementary free-energies can be learned using SVM techniques to construct an energy cost function whose predictive performance rivals state-of-the-art. This method is general and can be extended beyond the all-alpha case described here. Blaise Gassend, Charles W. O'Donnell, William Thies, Marten van Dijk, Srini Devadas |
BMC Bioinform. | 2 |
| 2005 | Design and Implementation of the AEGIS Single-Chip Secure Processor Using Physical Random FunctionsabstractSecure processors enable new applications by ensuring private and authentic program execution even in the face of physical attack. In this paper, we present the AEGIS secure processor architecture, and evaluate its RTL implementation on FPGAs. By using physical random functions, we propose a new way of reliably protecting and sharing secrets that is more secure than existing solutions based on non-volatile memory. Our architecture gives applications the flexibility of trusting and protecting only a portion of a given process, unlike prior proposals which require a process to be protected in entirety. We also put forward a specific model of how secure applications can be programmed in a high-level language and compiled to run on our system. Finally, we evaluate a fully functional FPGA implementation of our processor, assess the implementation tradeoffs, compare performance, and demonstrate the benefits of partially protecting a program. G. Edward Suh, Charles W. O'Donnell, Ishan Sachdev, Srini Devadas |
ISCA | 2 |
| 2005 | AEGIS: A single-chip secure processor
G. Edward Suh, Charles W. O'Donnell, Srini Devadas |
Inf. Secur. Tech. Rep. | 2 |
| 2004 | Information Leak in the Chord Lookup ProtocolabstractIn peer-to-peer (P2P) systems, it is often essential that connected systems (nodes) relay messages which did not originate locally, on to the greater network. As a result, an intermediate node might be able to determine a large amount of information about the system, such as the querying tendencies of other nodes. This represents an inherent security issue in P2P networks. Therefore, we ask the following question: through the observation of the network traffic in a P2P network, what kind of information can an adversarial node learn about another node in the same network? We study this question in the case of a specific P2P system - Chord. We also study the effects of the parameters of Chord (such as finger-table size) and the various enhancements to Chord (such as location caching and data caching) on the amount of information leaked. Charles W. O'Donnell, Vinod Vaikuntanathan |
Peer-to-Peer Computing | 1 |