Demo Data from EDBT 2026 / reviewers in the wild / expert
Alexandre Megretski
dblp:05/1361
· DBLP profile ↗
11ranked-venue papers
0as first author
3since 2021 · last 2024
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 5Artificial intelligence and machine learning · 3 · 3 since 2021Theory of computation · 2Computer networks · 1Software engineering, systems software and programming languages · 1Graphics, computer vision, multimedia, augmented reality and games · 1 · 1 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
3 papers |
Trustworthy machine learning · 41% Representation and self-supervised learning · 21% Deep learning architectures and training · 11% | |
| Computer architecture, parallel and distributed computing, and storage systems
5 papers |
Electronic design automation · 60% Integrated circuit design · 28% Emerging computing paradigms · 12% | |
| Theoretical computer science
3 papers |
Mathematical optimization · 100% |
Topics — the 21 heaviest of 22, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Machine learning › Trustworthy machine learning › uncertainty estimation
aleatoric uncertainty |
0.8 | 1 | 2024 | One Step Closer to Unbiased Aleatoric Uncertainty Estimation · AAAI 2024 |
Machine learning › Trustworthy machine learning
uncertainty estimation |
0.8 | 1 | 2024 | One Step Closer to Unbiased Aleatoric Uncertainty Estimation · AAAI 2024 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › knowledge discovery
conservation law discovery |
0.7 | 1 | 2023 | ConCerNet: A Contrastive Learning Based Framework for Automated Conservation Law Discovery and Trustworthy Dynamical System Prediction · ICML 2023 |
Machine learning › Representation and self-supervised learning
contrastive learning |
0.7 | 1 | 2023 | ConCerNet: A Contrastive Learning Based Framework for Automated Conservation Law Discovery and Trustworthy Dynamical System Prediction · ICML 2023 |
Machine learning › Representation and self-supervised learning › representation learning
invariant representation learning |
0.7 | 1 | 2023 | ConCerNet: A Contrastive Learning Based Framework for Automated Conservation Law Discovery and Trustworthy Dynamical System Prediction · ICML 2023 |
Machine learning › Deep learning architectures and training
physics-informed neural network |
0.7 | 1 | 2023 | ConCerNet: A Contrastive Learning Based Framework for Automated Conservation Law Discovery and Trustworthy Dynamical System Prediction · ICML 2023 |
Machine learning › Trustworthy machine learning › robustness
adversarial attack |
0.5 | 1 | 2021 | Robust Deep Reinforcement Learning through Adversarial Loss · NeurIPS 2021 |
Machine learning › Generative modeling › generative adversarial network
adversarial loss |
0.5 | 1 | 2021 | Robust Deep Reinforcement Learning through Adversarial Loss · NeurIPS 2021 |
Machine learning › Trustworthy machine learning
robustness |
0.5 | 1 | 2021 | Robust Deep Reinforcement Learning through Adversarial Loss · NeurIPS 2021 |
Machine learning › Reinforcement learning
robust reinforcement learning |
0.5 | 1 | 2021 | Robust Deep Reinforcement Learning through Adversarial Loss · NeurIPS 2021 |
Computational science and engineering › dynamical systems
dynamics forecasting |
0.2 | 1 | 2023 | ConCerNet: A Contrastive Learning Based Framework for Automated Conservation Law Discovery and Trustworthy Dynamical System Prediction · ICML 2023 |
Electronic design automation › circuit simulation
model order reduction |
0.1 | 2 | 2008 | A Quasi-Convex Optimization Approach to Parameterized Model Order Reduction · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2008 A quasi-convex optimization approach to parameterized model order reduction · DAC 2005 |
Electronic design automation › circuit simulation › model order reduction
parameterized model order reduction |
0.1 | 2 | 2008 | A Quasi-Convex Optimization Approach to Parameterized Model Order Reduction · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2008 A quasi-convex optimization approach to parameterized model order reduction · DAC 2005 |
Integrated circuit design
analog and mixed-signal circuits |
0.1 | 1 | 2010 | Compact Modeling of Nonlinear Analog Circuits Using System Identification via Semidefinite Programming and Incremental Stability Certification · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2010 |
Integrated circuit design › semiconductor device modeling
compact modeling |
0.1 | 1 | 2010 | Compact Modeling of Nonlinear Analog Circuits Using System Identification via Semidefinite Programming and Incremental Stability Certification · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2010 |
Electronic design automation › circuit simulation › reduced-order modeling
macromodeling |
0.1 | 1 | 2010 | Compact Modeling of Nonlinear Analog Circuits Using System Identification via Semidefinite Programming and Incremental Stability Certification · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2010 |
Mathematical optimization › continuous optimization
convex optimization |
0.1 | 2 | 2005 | A quasi-convex optimization approach to parameterized model order reduction · DAC 2005 Designing optimal quantum detectors via semidefinite programming · IEEE Trans. Inf. Theory 2003 |
Emerging computing paradigms
quantum computing and quantum information |
0.1 | 2 | 2004 | Optimal Detection of Symmetric Mixed Quantum States · IEEE Trans. Inf. Theory 2004 Designing optimal quantum detectors via semidefinite programming · IEEE Trans. Inf. Theory 2003 |
Electronic design automation
circuit simulation |
0.1 | 1 | 2008 | A Quasi-Convex Optimization Approach to Parameterized Model Order Reduction · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2008 |
Mathematical optimization
semidefinite programming |
0.1 | 2 | 2010 | Designing optimal quantum detectors via semidefinite programming · IEEE Trans. Inf. Theory 2003 Compact Modeling of Nonlinear Analog Circuits Using System Identification via Semidefinite Programming and Incremental Stability Certification · IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2010 |
Mathematical optimization › continuous optimization › convex optimization
quasiconvex optimization |
0.1 | 1 | 2005 | A quasi-convex optimization approach to parameterized model order reduction · DAC 2005 |
Methods — techniques the papers use, named apart from their topics
neural projection layer · 1.3contrastive learning · 1.3autoencoder · 1.3variance attenuation · 0.8denoising · 0.8deep q-learning · 0.5a3c · 0.5PPO · 0.5semidefinite programming · 0.3system identification · 0.2incremental stability · 0.2moment matching · 0.2convex optimization · 0.1quasiconvex programming · 0.1quasi-convex optimization · 0.1h-infinity norm optimization · 0.1group theory · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | One Step Closer to Unbiased Aleatoric Uncertainty EstimationabstractNeural networks are powerful tools in various applications, and quantifying their uncertainty is crucial for reliable decision-making. In the deep learning field, the uncertainties are usually categorized into aleatoric (data) and epistemic (model) uncertainty. In this paper, we point out that the existing popular variance attenuation method highly overestimates aleatoric uncertainty. To address this issue, we proposed a new estimation method by actively de-noising the observed data. By conducting a broad range of experiments, we demonstrate that our proposed approach provides a much closer approximation to the actual data uncertainty than the standard method. Ziwen Martin Ma, Subhro Das, Tsui-Wei Weng, Alexandre Megretski, Luca Daniel, Lam M. Nguyen |
AAAI | 5 |
| 2023 | ConCerNet: A Contrastive Learning Based Framework for Automated Conservation Law Discovery and Trustworthy Dynamical System PredictionabstractDeep neural networks (DNN) have shown great capacity of modeling a dynamical system; nevertheless, they usually do not obey physics constraints such as conservation laws. This paper proposes a new learning framework named $\textbf{ConCerNet}$ to improve the trustworthiness of the DNN based dynamics modeling to endow the invariant properties. $\textbf{ConCerNet}$ consists of two steps: (i) a contrastive learning method to automatically capture the system invariants (i.e. conservation properties) along the trajectory observations; (ii) a neural projection layer to guarantee that the learned dynamics models preserve the learned invariants. We theoretically prove the functional relationship between the learned latent representation and the unknown system invariant function. Experiments show that our method consistently outperforms the baseline neural networks in both coordinate error and conservation metrics by a large margin. With neural network based parameterization and no dependence on prior knowledge, our method can be extended to complex and large-scale dynamics by leveraging an autoencoder. Tsui-Wei Weng, Subhro Das, Alexandre Megretski, Luca Daniel, Lam M. Nguyen |
ICML | 4 |
| 2021 | Robust Deep Reinforcement Learning through Adversarial LossabstractRecent studies have shown that deep reinforcement learning agents are vulnerable to small adversarial perturbations on the agent's inputs, which raises concerns about deploying such agents in the real world. To address this issue, we propose RADIAL-RL, a principled framework to train reinforcement learning agents with improved robustness against $l_p$-norm bounded adversarial attacks. Our framework is compatible with popular deep reinforcement learning algorithms and we demonstrate its performance with deep Q-learning, A3C and PPO. We experiment on three deep RL benchmarks (Atari, MuJoCo and ProcGen) to show the effectiveness of our robust training algorithm. Our RADIAL-RL agents consistently outperform prior methods when tested against attacks of varying strength and are more computationally efficient to train. In addition, we propose a new evaluation method called Greedy-Worst-Case Reward (GWC) to measure attack agnostic robustness of deep RL agents. We show that GWC can be evaluated efficiently and is a good estimate of the reward under the worst possible sequence of adversarial attacks. All code used for our experiments is available at https://github.com/tuomaso/radial_rl_v2. Tuomas P. Oikarinen, Alexandre Megretski, Luca Daniel, Tsui-Wei Weng |
NeurIPS | 3 |
| 2019 | Optimal Power Encoding of OFDM Signals in All-Digital TransmittersabstractIn this paper, we propose a power encoding method for converting a high-resolution OFDM baseband signal into a signal that assumes only a finite number of values. This is achieved by the series interconnection of, optimally (co)designed, delta- sigma (/spl Delta/ /Spl Sigma/M) and digital pulse-width modulators (DPWM). Given an input signal class with a known mplitude distribution (e.g., OFDM), parameters of the multilevel DPWM are designed such that the mean squared error of the inherent DPWM quantization noise is inimized. Parameters of the /spl Delta/ /Spl Sigma/M are then chosen with respect to the designed DPWM, so to optimally shape the inherent quantization noise out of the spectral band of interest. The superior performance of the proposed novel power encoding scheme is demonstrated by Matlab simulations on several standardized LTE test signals. Omer Tanovic, Rui Ma 0022, Philip V. Orlik, Alexandre Megretski |
GLOBECOM | 4 |
| 2010 | Passive reduced order modeling of multiport interconnects via semidefinite programmingabstractIn this paper we present a passive reduced order modeling algorithm for linear multiport interconnect structures. The proposed technique uses rational fitting via semidefinite programming to identify a passive transfer matrix from given frequency domain data samples. Numerical results are presented for a power distribution grid and an array of inductors, and the proposed approach is compared to two existing rational fitting techniques. Zohaib Mahmood, Bradley N. Bond, Tarek Moselhy, Alexandre Megretski, Luca Daniel |
DATE | 4 |
| 2010 | Compact Modeling of Nonlinear Analog Circuits Using System Identification via Semidefinite Programming and Incremental Stability CertificationabstractThis paper presents a system identification technique for generating stable compact models of typical analog circuit blocks in radio frequency systems. The identification procedure is based on minimizing the model error over a given training data set subject to an incremental stability constraint, which is formulated as a semidefinite optimization problem. Numerical results are presented for several analog circuits, including a distributed power amplifier, as well as a MEM device. It is also shown that our dynamical models can accurately predict important circuit performance metrics, and may thus, be useful for design optimization of analog systems. Bradley N. Bond, Zohaib Mahmood, Yan Li 0029, Ranko Sredojevic, Alexandre Megretski, Vladimir Stojanovic, Yehuda Avniel, Luca Daniel |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 5 |
| 2008 | A Quasi-Convex Optimization Approach to Parameterized Model Order ReductionabstractIn this paper, an optimization-based model order reduction (MOR) framework is proposed. The method involves setting up a quasi-convex program that solves a relaxation of the optimal${\cal H}_{\infty}$norm MOR problem. The method can generate guaranteed stable and passive reduced models and is very flexible in imposing additional constraints such as exact matching of specific frequency response samples. The proposed optimization-based approach is also extended to solve the parameterized model-reduction problem (PMOR). The proposed method is compared to existing moment matching and optimization-based MOR methods in several examples. PMOR models for large RF inductors over substrate and power-distribution grid are also constructed. Kin Cheong Sou, Alexandre Megretski, Luca Daniel |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. | 2 |
| 2007 | Bounding L2 gain system error generated by approximations of the nonlinear vector fieldabstractTypical nonlinear model order reduction ap- proaches need to address two issues: reducing the order of the model, and approximating the vector field. In this paper we focus exclusively on the second issue, and present results characterizing the repercussions at the system level of vector field approximations. The error assessment problem is formulated as the L2 gain upper bounding problem of a scaled feedback interconnection. Applying the small gain theorem in the proposed setup, we prove that the L2 gain of the error system is upper bounded by the L2 gain of the vector field approximation error, provided it is small. In addition, the paper also presents a numerical procedure, based on the IQC/LMI approach, to perform the error estimation task with less conservatism. A numerical example is given in this paper to demonstrate the practical implications of the presented results. Kin Cheong Sou, Alexandre Megretski, Luca Daniel |
ICCAD | 2 |
| 2005 | A quasi-convex optimization approach to parameterized model order reductionabstractIn this paper an optimization based model order reduction (MOR) framework is proposed. The method involves setting up a quasiconvex program that explicitly minimizes a relaxation of the optimal H∞ norm MOR problem. The method generates guaranteed stable and passive reduced models and it is very flexible in imposing additional constraints. The proposed optimization approach is also extended to parameterized model reduction problem (PMOR). The proposed method is compared to existing moment matching and optimization based MOR methods in several examples. A PMOR model for a large RF inductor is also constructed. Kin Cheong Sou, Alexandre Megretski, Luca Daniel |
DAC | 2 |
| 2004 | Optimal Detection of Symmetric Mixed Quantum StatesabstractWe develop a sufficient condition for the least-squares measurement (LSM), or the square-root measurement, to minimize the probability of a detection error when distinguishing between a collection of mixed quantum states. Using this condition we derive the optimal measurement for state sets with a broad class of symmetries. We first consider geometrically uniform (GU) state sets with a possibly non-Abelian generating group, and show that if the generator satisfies a weighted norm constraint, then the LSM is optimal. In particular, for pure-state GU ensembles, the LSM is shown to be optimal. For arbitrary GU state sets we show that the optimal measurement operators are GU with generator that can be computed very efficiently in polynomial time, within any desired accuracy. We then consider compound GU (CGU) state sets which consist of subsets that are GU. When the generators satisfy a certain constraint, the LSM is again optimal. For arbitrary CGU state sets, the optimal measurement operators are shown to be CGU with generators that can be computed efficiently in polynomial time. Yonina C. Eldar, Alexandre Megretski, George C. Verghese |
IEEE Trans. Inf. Theory | 2 |
| 2003 | Designing optimal quantum detectors via semidefinite programmingabstractWe consider the problem of designing an optimal quantum detector to minimize the probability of a detection error when distinguishing among a collection of quantum states, represented by a set of density operators. We show that the design of the optimal detector can be formulated as a semidefinite programming problem. Based on this formulation, we derive a set of necessary and sufficient conditions for an optimal quantum measurement. We then show that the optimal measurement can be found by solving a standard (convex) semidefinite program. By exploiting the many well-known algorithms for solving semidefinite programs, which are guaranteed to converge to the global optimum, the optimal measurement can be computed very efficiently in polynomial time within any desired accuracy. Using the semidefinite programming formulation, we also show that the rank of each optimal measurement operator is no larger than the rank of the corresponding density operator. In particular, if the quantum state ensemble is a pure-state ensemble consisting of (not necessarily independent) rank-one density operators, then we show that the optimal measurement is a pure-state measurement consisting of rank-one measurement operators. Yonina C. Eldar, Alexandre Megretski, George C. Verghese |
IEEE Trans. Inf. Theory | 2 |