Tobias Welp

14 papers A* 2A 3B 1Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
10 Years Later: Revisiting How Developers Search for Code.
Proc. ACM Softw. Eng.
Kathryn T. Stolee, Tobias Welp, Caitlin Sadowski, Sebastian G. Elbaum
2025 — conf
Natural Language Outlines for Code: Literate Programming in the LLM Era.
SIGSOFT FSE Companion
Kensen Shi, Deniz Altinbüken, Saswat Anand, Mihai Christodorescu, Katja Grünwedel, Alexa Koenings, Sai Naidu, Anurag Pathak, Marc Rasi, Fredde Ribeiro, Brandon Ruffin, Siddhant Sanyam, Maxim Tabachnyk, Sara Toth, Roy Tu, Tobias Welp, Pengcheng Yin, Manzil Zaheer, Satish Chandra, Charles Sutton
2024 J jnl
Natural Language Outlines for Code: Literate Programming in the LLM Era.
CoRR
Kensen Shi, Deniz Altinbüken, Saswat Anand, Mihai Christodorescu, Katja Grünwedel, Alexa Koenings, Sai Naidu, Anurag Pathak, Marc Rasi, Fredde Ribeiro, Brandon Ruffin, Siddhant Sanyam, Maxim Tabachnyk, Sara Toth, Roy Tu, Tobias Welp, Pengcheng Yin, Manzil Zaheer, Satish Chandra, Charles Sutton
2022 — conf
Making PROGRESS in Property Directed Reachability.
MBMV
Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp
2022 B conf
Making PROGRESS in Property Directed Reachability.
VMCAI
Tobias Seufert, Christoph Scholl, Arun Chandrasekharan, Sven Reimer, Tobias Welp
2014 — conf
Property Directed Reachability for QF_BV with mixed type atomic reasoning units.
ASP-DAC
Tobias Welp, Andreas Kuehlmann
2014 A conf
Property directed invariant refinement for program verification.
DATE
Tobias Welp, Andreas Kuehlmann
2013 — —
Program Verification with Property Directed Reachability.
Tobias Welp
2013 A conf
QF BV model checking with property directed reachability.
DATE
Tobias Welp, Andreas Kuehlmann
2012 A* conf
Generalized SAT-sweeping for post-mapping optimization.
DAC
Tobias Welp, Smita Krishnaswamy, Andreas Kuehlmann
2012 J jnl
Hardware Acceleration for Constraint Solving for Random Simulation.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Tobias Welp, Nathan Kitchen, Andreas Kuehlmann
2011 A conf
An approach for dynamic selection of synthesis transformations based on Markov Decision Processes.
DATE
Tobias Welp, Andreas Kuehlmann
2011 A* conf
Are logic synthesis tools robust?
DAC
Alberto Puggelli, Tobias Welp, Andreas Kuehlmann, Alberto L. Sangiovanni-Vincentelli
2006 — conf
Anwendungsmöglichkeiten von Bounded Model Checking und affiner Arithmetik für die Verifikation von Analogschaltungen.
MBMV
Andreas Ehrenfried, Daniel Scholz, Tobias Welp