David Broman
Orcid: 0000-0001-8457-4105
According to our database1,
David Broman
authored at least 75 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
IEEE Trans. Autom. Control., October, 2024
Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages.
Proceedings of the Programming Languages and Systems, 2024
Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024
2023
Suspension Analysis and Selective Continuation-Passing Style for Higher-Order Probabilistic Programming Languages.
CoRR, 2023
Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers.
Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2023
Proceedings of the Programming Languages and Systems, 2023
Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, 2023
2022
CoRR, 2022
Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference.
Proceedings of the Programming Languages and Systems, 2022
Stochastic Approximation for Identification of Non-Linear Differential-Algebraic Equations with Process Disturbances.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
2021
Universal Probabilistic Programming Language Compilation with Parallel Efficient Sequential Monte Carlo Inference.
CoRR, 2021
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021
Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages.
Proceedings of the Programming Languages and Systems, 2021
Identification of Non-Linear Differential-Algebraic Equation Models with Process Disturbances.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Proceedings of the CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, 2021
2020
Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing.
ACM Trans. Internet Things, 2020
Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics.
Proceedings of the Forum for Specification and Design Languages, 2020
2019
A vision of miking: interactive programmatic modeling, sound language composition, and self-learning compilation.
Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering, 2019
Proceedings of the IEEE Real-Time Systems Symposium, 2019
Proceedings of the Practical Aspects of Declarative Languages, 2019
Proceedings of the EOOLT '19: 9th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2019
2018
Automatic Alignment of Sequential Monte Carlo Inference in Higher-Order Probabilistic Programs.
CoRR, 2018
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2018
Proceedings of the Principles of Modeling, 2018
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2018
2017
ACM Trans. Embed. Comput. Syst., 2017
Proceedings of the 1st ACM Workshop on the Internet of Safe Things, 2017
A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things.
Proceedings of the Second International Conference on Internet-of-Things Design and Implementation, 2017
2016
Automated bug assignment: Ensemble-based machine learning in large scale industrial contexts.
Empir. Softw. Eng., 2016
Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting.
Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016
Automatic Localization of Bugs to Faulty Components in Large Scale Software Systems Using Bayesian Classification.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016
MORAP: a modular robotic arm platform for teaching and experimenting with equation-based modeling languages.
Proceedings of the 7th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2016
2015
ACM Trans. Comput. Educ., 2015
A predictable and command-level priority-based DRAM controller for mixed-criticality systems.
Proceedings of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium, 2015
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014
Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014
Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014
Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014
2013
Proceedings of the International Conference on Embedded Software, 2013
2012
IEEE Trans. Educ., 2012
A comparison of two metacompilation approaches to implementing a complex domain-specific language.
Proceedings of the ACM Symposium on Applied Computing, 2012
Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages.
Proceedings of the Practical Aspects of Declarative Languages, 2012
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012
Towards Automated Anomaly Report Assignment in Large Complex Systems Using Stacked Generalization.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
A PRET microarchitecture implementation with repeatable timing and competitive performance.
Proceedings of the 30th International IEEE Conference on Computer Design, 2012
2011
How can we make software engineering text books well-founded, up-to-date, and accessible to students?
Proceedings of the 24th IEEE-CS Conference on Software Engineering Education and Training, 2011
2010
PhD thesis, 2010
Equation-Based Object-Oriented Modeling Languages and Tools - Report on the Workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3, 2010.
Proceedings of the Models in Software Engineering, 2010
Should Software Engineering Projects Be the Backbone or the Tail of Computing Curricula?
Proceedings of the Proceedings 23rd IEEE Conference on Software Engineering Education and Training, 2010
2009
Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009
2008
Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, 2008
Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008
2007
Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools, 2007
Equation-Based Object-Oriented Languages and Tools Report on the Workshop EOOLT 2007 at ECOOP 2007.
Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007
2006
Determining over- and under-constrained systems of equations using structural constraint delta.
Proceedings of the Generative Programming and Component Engineering, 2006