David Broman - RankMe

102 papers A* 2A 15B 6C 7Misc 4Journal 42Unranked 21

Year	Rank	Type	Title / Venue / Authors
2026	A	`conf`	Fast Autoscheduling for Sparse ML Frameworks. CGO Bobby Yan, Alexander J. Root, Trevor Gale, David Broman, Fredrik Kjolstad
2026	J	`jnl`	Introduction to the Special Issue on Specification and Design Languages. ACM Trans. Embed. Comput. Syst. Sara Vinco, David Broman
2026	J	`jnl`	Learning to Rank the Initial Branching Order of SAT Solvers. CoRR Arvid Eriksson, Gabriel Poesia, Roman Bresson, Karl Henrik Johansson, David Broman
2026	J	`jnl`	Reinforcement learning for real-time adaptive radiotherapy. Artif. Intell. Medicine Kenneth Lau, Jana Tumova, David Broman, Alexis Linard, David Tilly, Nina Tilly, Henrik Rehbinder, Peter Kimstrand
2025	J	`jnl`	A Matter of Interest: Understanding Interestingness of Math Problems in Humans and Language Models. CoRR Shubhra Mishra, Yuka Machino, Gabriel Poesia, Albert Q. Jiang, Joy Hsu, Adrian Weller, Challenger Mishra, David Broman, Joshua B. Tenenbaum, Mateja Jamnik, Cedegao E. Zhang, Katherine M. Collins
2025	J	`jnl`	Adaptive Reinforcement Learning for Unobservable Random Delays. CoRR John Wikman, Alexandre Proutière, David Broman
2025	—	`conf`	Automatic Tracing in Task-Based Runtime Systems. ASPLOS (1) Rohan Yadav, Michael Bauer, David Broman, Michael Garland, Alex Aiken, Fredrik Kjolstad
2025	J	`jnl`	CoreDPPL: Towards a Sound Composition of Differentiation, ODE Solving, and Probabilistic Programming. CoRR Oscar Eriksson, Anders Ågren Thuné, Johannes Borgström, David Broman
2025	J	`jnl`	DiagramIR: An Automatic Pipeline for Educational Math Diagram Evaluation. CoRR Vishal Kumar, Shubhra Mishra, Rebecca Hao, Rizwaan Malik, David Broman, Dorottya Demszky
2025	J	`jnl`	Fast Collection Operations from Indexed Stream Fusion. CoRR Scott Kovach, Praneeth Kolichala, Kyle A. Miller, David Broman, Fredrik Kjolstad
2025	J	`jnl`	Real-time probabilistic programming. J. Syst. Archit. Lars Hummelgren, Matthias Becker, David Broman
2024	J	`jnl`	Automatic Tracing in Task-Based Runtime Systems. CoRR Rohan Yadav, Michael Bauer, David Broman, Michael Garland, Alex Aiken, Fredrik Kjolstad
2024	J	`jnl`	Exact Worst-Case Execution-Time Analysis for Implicit Model Predictive Control. IEEE Trans. Autom. Control. Daniel Arnström, David Broman, Daniel Axehill
2024	A*	`conf`	Learning Formal Mathematics From Intrinsic Motivation. NeurIPS Gabriel Poesia, David Broman, Nick Haber, Noah D. Goodman
2024	J	`jnl`	Learning Formal Mathematics From Intrinsic Motivation. CoRR Gabriel Poesia, David Broman, Nick Haber, Noah D. Goodman
2024	A*	`conf`	Optimizing Instructions and Demonstrations for Multi-Stage Language Model Programs. EMNLP Krista Opsahl-Ong, Michael J. Ryan, Josh Purtell, David Broman, Christopher Potts, Matei Zaharia, Omar Khattab
2024	J	`jnl`	Optimizing Instructions and Demonstrations for Multi-Stage Language Model Programs. CoRR Krista Opsahl-Ong, Michael J. Ryan, Josh Purtell, David Broman, Christopher Potts, Matei Zaharia, Omar Khattab
2024	J	`jnl`	Repr Types: One Abstraction to Rule Them All. CoRR Viktor Palmkvist, Anders Ågren Thuné, Elias Castegren, David Broman
2024	J	`jnl`	Scorch: A Library for Sparse Deep Learning. CoRR Bobby Yan, Alexander J. Root, Trevor Gale, David Broman, Fredrik Kjolstad
2024	B	`conf`	Statically and Dynamically Delayed Sampling for Typed Probabilistic Programming Languages. SLE Gizem Caylak, Daniel Lundén, Viktor Senderov, David Broman
2024	—	`conf`	Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages. ESOP (2) Daniel Lundén, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson, David Broman
2024	B	`conf`	Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions. SLE Lars Hummelgren, Viktor Palmkvist, Linnea Stjerna, Xuechun Xu, Joakim Jaldén, David Broman
2023	A	`conf`	Automatic Alignment in Higher-Order Probabilistic Programming Languages. ESOP Daniel Lundén, Gizem Çaylak, Fredrik Ronquist, David Broman
2023	J	`jnl`	Automatic Alignment in Higher-Order Probabilistic Programming Languages. CoRR Daniel Lundén, Gizem Çaylak, Fredrik Ronquist, David Broman
2023	J	`jnl`	Exact Worst-Case Execution-Time Analysis for Implicit Model Predictive Control. CoRR Daniel Arnström, David Broman, Daniel Axehill
2023	—	`conf`	Logical Time for Reactive Software. CPS-IoT Week Workshops Marten Lohstroh, Edward A. Lee, Stephen A. Edwards, David Broman
2023	B	`conf`	Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers. GPCE Oscar Eriksson, Viktor Palmkvist, David Broman
2023	J	`jnl`	Real-Time Probabilistic Programming. CoRR Lars Hummelgren, Matthias Becker, David Broman
2023	J	`jnl`	Statically Resolvable Ambiguity. Proc. ACM Program. Lang. Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman
2023	J	`jnl`	Suspension Analysis and Selective Continuation-Passing Style for Higher-Order Probabilistic Programming Languages. CoRR Daniel Lundén, Lars Hummelgren, Jan Kudlicka, Oscar Eriksson, David Broman
2023	J	`jnl`	What are the fundamental software abstractions for designing reliable cyber-physical systems operating in uncertain environments? Res. Dir. Cyber Phys. Syst. David Broman, Jim Woodcock
2022	A	`conf`	Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference. ESOP Daniel Lundén, Joey Öhman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, David Broman
2022	J	`jnl`	Expression Acceleration: Seamless Parallelization of Typed High-Level Languages. CoRR Lars Hummelgren, John Wikman, Oscar Eriksson, Philipp Haller, David Broman
2022	J	`jnl`	Programming with Context-Sensitive Holes using Dependency-Aware Tuning. CoRR Linnea Stjerna, David Broman
2022	—	`conf`	Stochastic Approximation for Identification of Non-Linear Differential-Algebraic Equations with Process Disturbances. CDC Robert Bereza, Oscar Eriksson, Mohamed Rasheed-Hilmy Abdalmoaty, David Broman, Håkan Hjalmarsson
2021	J	`jnl`	Automatic Diversity in the Software Supply Chain. CoRR Nicolas Harrand, Thomas Durieux, David Broman, Benoit Baudry
2021	A	`conf`	Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages. ESOP Daniel Lundén, Johannes Borgström, David Broman
2021	Misc	`ed.`	EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8 - 15, 2021 EMSOFT Linh Thi Xuan Phan, David Broman
2021	—	`conf`	Identification of Non-Linear Differential-Algebraic Equation Models with Process Disturbances. CDC Mohamed Rasheed-Hilmy Abdalmoaty, Oscar Eriksson, Robert Bereza, David Broman, Håkan Hjalmarsson
2021	J	`jnl`	Interactive Programmatic Modeling. ACM Trans. Embed. Comput. Syst. David Broman
2021	B	`conf`	Resolvable ambiguity: principled resolution of syntactically ambiguous programs. CC Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman
2021	A	`conf`	The Behavioral Diversity of Java JSON Libraries. ISSRE Nicolas Harrand, Thomas Durieux, David Broman, Benoit Baudry
2021	J	`jnl`	The Behavioral Diversity of Java JSON Libraries. CoRR Nicolas Harrand, Thomas Durieux, David Broman, Benoit Baudry
2021	J	`jnl`	Universal Probabilistic Programming Language Compilation with Parallel Efficient Sequential Monte Carlo Inference. CoRR Daniel Lundén, Joey Öhman, Jan Kudlicka, Viktor Senderov, Fredrik Ronquist, David Broman
2020	J	`jnl`	Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages. CoRR Daniel Lundén, Johannes Borgström, David Broman
2020	J	`jnl`	Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing. ACM Trans. Internet Things Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee
2020	C	`conf`	Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics. FDL Saranya Natarajan, David Broman
2019	B	`conf`	A vision of miking: interactive programmatic modeling, sound language composition, and self-learning compilation. SLE David Broman
2019	C	`conf`	Creating Domain-Specific Languages by Composing Syntactical Constructs. PADL Viktor Palmkvist, David Broman
2019	A	`conf`	From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C. RTSS Saranya Natarajan, Mitra Nasri, David Broman, Björn B. Brandenburg, Geoffrey Nelissen
2019	—	`conf`	Functional programmatic modeling in modelyze. EOOLT David Broman, Oscar Eriksson
2019	J	`jnl`	Hybrid co-simulation: it's about time. Softw. Syst. Model. Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis
2019	J	`jnl`	Resolvable Ambiguity. CoRR Viktor Palmkvist, Elias Castegren, Philipp Haller, David Broman
2018	J	`jnl`	Automatic Alignment of Sequential Monte Carlo Inference in Higher-Order Probabilistic Programs. CoRR Daniel Lundén, David Broman, Fredrik Ronquist, Lawrence M. Murray
2018	J	`jnl`	Co-Simulation: A Survey. ACM Comput. Surv. Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe
2018	A	`conf`	Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs. AISTATS Lawrence M. Murray, Daniel Lundén, Jan Kudlicka, David Broman, Thomas B. Schön
2018	C	`conf`	Gradually typed symbolic expressions. PEPM David Broman, Jeremy G. Siek
2018	A	`conf`	Hybrid Co-simulation: It's About Time. MoDELS Fabio Cremona, Marten Lohstroh, David Broman, Edward A. Lee, Michael Masin, Stavros Tripakis
2018	—	`conf`	Hybrid Simulation Safety: Limbos and Zero Crossings. Principles of Modeling David Broman
2018	A	`conf`	Timed C: An Extension to the C Programming Language for Real-Time Systems. RTAS Saranya Natarajan, David Broman
2017	J	`jnl`	A Brief Overview of the KTA WCET Tool. CoRR David Broman
2017	—	`conf`	A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things. IoTDI Hokeun Kim, Eunsuk Kang, Edward A. Lee, David Broman
2017	—	`conf`	An Architectural Mechanism for Resilient IoT Services. SafeThings@SenSys Hokeun Kim, Eunsuk Kang, David Broman, Edward A. Lee
2017	J	`jnl`	Co-simulation: State of the art. CoRR Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe
2017	J	`jnl`	Hybrid Simulation Safety: Limbos and Zero Crossings. CoRR David Broman
2017	J	`jnl`	WCET-Aware Function-Level Dynamic Code Management on Scratchpad Memory. ACM Trans. Embed. Comput. Syst. Yooseong Kim, David Broman, Aviral Shrivastava
2016	J	`jnl`	Automated bug assignment: Ensemble-based machine learning in large scale industrial contexts. Empir. Softw. Eng. Leif Jonsson, Markus Borg, David Broman, Kristian Sandahl, Sigrid Eldh, Per Runeson
2016	C	`conf`	Automatic Localization of Bugs to Faulty Components in Large Scale Software Systems Using Bayesian Classification. QRS Leif Jonsson, David Broman, Måns Magnusson, Kristian Sandahl, Mattias Villani, Sigrid Eldh
2016	—	`conf`	MORAP: a modular robotic arm platform for teaching and experimenting with equation-based modeling languages. EOOLT Viktor Kozma, David Broman
2016	C	`conf`	Step revision in hybrid Co-simulation with FMI. MEMOCODE Fabio Cremona, Marten Lohstroh, David Broman, Marco Di Natale, Edward A. Lee, Stavros Tripakis
2016	Misc	`conf`	Time for Reactive System Modeling: Interactive Timing Analysis with Hotspot Highlighting. RTNS Insa Fuhrmann, David Broman, Reinhard von Hanxleden, Alexander Schulz-Rosengarten
2015	A	`conf`	A predictable and command-level priority-based DRAM controller for mixed-criticality systems. RTAS Hokeun Kim, David Broman, Edward A. Lee, Michael Zimmer, Aviral Shrivastava, Junkwang Oh
2015	—	`conf`	Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems. CAV (2) Ankush Desai, Sanjit A. Seshia, Shaz Qadeer, David Broman, John C. Eidson
2015	J	`jnl`	Assessing Large-Project Courses: Model, Activities, and Lessons Learned. ACM Trans. Comput. Educ. Maria Vasilevskaya, David Broman, Kristian Sandahl
2015	—	`conf`	Requirements for hybrid cosimulation standards. HSCC David Broman, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter
2014	A	`conf`	An assessment model for large project courses. SIGCSE Maria Vasilevskaya, David Broman, Kristian Sandahl
2014	—	`ed.`	Equation-Based Object-Oriented Modeling Languages and Tools 2014, EOOLT 2014, Berlin, Germany, October 10, 2014 EOOLT Peter Pepper, David Broman
2014	A	`conf`	FlexPRET: A processor platform for mixed-criticality systems. RTAS Michael Zimmer, David Broman, Chris Shaver, Edward A. Lee
2014	A	`conf`	Relaxing the synchronous approach for mixed-criticality systems. RTAS Eugene Yip, Matthew M. Y. Kuo, Partha S. Roop, David Broman
2014	A	`conf`	WCET-aware dynamic code management on scratchpads for Software-Managed Multicores. RTAS Yooseong Kim, David Broman, Jian Cai, Aviral Shrivastava
2013	Misc	`conf`	Determinate composition of FMUs for co-simulation. EMSOFT David Broman, Christopher X. Brooks, Lev Greenberg, Edward A. Lee, Michael Masin, Stavros Tripakis, Michael Wetter
2013	J	`jnl`	High-confidence cyber-physical co-design. SIGBED Rev. David Broman
2012	C	`conf`	A PRET microarchitecture implementation with repeatable timing and competitive performance. ICCD Isaac Liu, Jan Reineke, David Broman, Michael Zimmer, Edward A. Lee
2012	Misc	`conf`	A comparison of two metacompilation approaches to implementing a complex domain-specific language. SAC David Broman, Peter Fritzson, Görel Hedin, Johan Åkesson
2012	C	`conf`	Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages. PADL David Broman, Henrik Nilsson
2012	J	`jnl`	The Company Approach to Software Engineering Project Courses. IEEE Trans. Educ. David Broman, Kristian Sandahl, Mohamed Abu Baker
2012	A	`conf`	Towards Automated Anomaly Report Assignment in Large Complex Systems Using Stacked Generalization. ICST Leif Jonsson, David Broman, Kristian Sandahl, Sigrid Eldh
2012	—	`conf`	Viewpoints, formalisms, languages, and tools for cyber-physical systems. MPM@MoDELS David Broman, Edward A. Lee, Stavros Tripakis, Martin Törngren
2011	—	`conf`	How can we make software engineering text books well-founded, up-to-date, and accessible to students? CSEE&T David Broman, Kristian Sandahl
2011	—	`ed.`	Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2011, Zurich, Switzerland, September 5, 2011 EOOLT François E. Cellier, David Broman, Peter Fritzson, Edward A. Lee
2010	—	`conf`	Equation-Based Object-Oriented Modeling Languages and Tools - Report on the Workshop EOOLT 2010 at MODELS 2010 Oslo, Norway, October 3, 2010. MoDELS (Workshops) Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman
2010	—	`—`	Meta-Languages and Semantics for Equation-Based Modeling and Simulation. David Broman
2010	—	`ed.`	Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010, Oslo, Norway, October 3, 2010 EOOLT Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman
2010	—	`conf`	Should Software Engineering Projects Be the Backbone or the Tail of Computing Curricula? CSEE&T David Broman
2009	—	`conf`	Formal Semantics Based Translator Generation and Tool Development in Practice. Australian Software Engineering Conference Peter Fritzson, Adrian Pop, David Broman, Peter Aronsson
2009	J	`jnl`	High-Order Acausal Models. Simul. Notes Eur. David Broman, Peter Fritzson
2008	—	`conf`	Equation-Based Object-Oriented Languages and Tools. ECOOP Workshops Peter Fritzson, David Broman, François E. Cellier
2008	—	`conf`	Higher-Order Acausal Models. EOOLT David Broman, Peter Fritzson
2008	—	`ed.`	Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, EOOLT 2008, Paphos, Cyprus, July 8, 2008 EOOLT Peter Fritzson, François E. Cellier, David Broman
2007	—	`conf`	Abstract Syntax Can Make the Definition of Modelica Less Abstract. EOOLT David Broman, Peter Fritzson
2007	—	`conf`	Equation-Based Object-Oriented Languages and Tools Report on the Workshop EOOLT 2007 at ECOOP 2007. ECOOP Workshops Peter Fritzson, David Broman, François E. Cellier, Christoph Nytsch-Geusen
2006	B	`conf`	Determining over- and under-constrained systems of equations using structural constraint delta. GPCE David Broman, Kaj Nyström, Peter Fritzson