Mandana Vaziri

35 papers A* 5A 5B 2Journal 8Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	AutoPDL: Automatic Prompt Optimization for LLM Agents. AutoML Claudio Spiess, Mandana Vaziri, Louis Mandel, Martin Hirzel
2025	J	`jnl`	AutoPDL: Automatic Prompt Optimization for LLM Agents. CoRR Claudio Spiess, Mandana Vaziri, Louis Mandel, Martin Hirzel
2025	J	`jnl`	Representing Prompting Patterns with PDL: Compliance Agent Case Study. CoRR Mandana Vaziri, Louis Mandel, Yuji Watanabe, Hirokuni Kitahara, Martin Hirzel, Anca Sailer
2024	J	`jnl`	PDL: A Declarative Prompt Programming Language. CoRR Mandana Vaziri, Louis Mandel, Claudio Spiess, Martin Hirzel
2023	A*	`conf`	Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management. SOSP Jiawei Tyler Gu, Xudong Sun, Wentao Zhang, Yuxuan Jiang, Chen Wang, Mandana Vaziri, Owolabi Legunsen, Tianyin Xu
2018	—	`conf`	A reactive language for analyzing cloud logs. REBLS@SPLASH Guillaume Baudart, Louis Mandel, Olivier Tardieu, Mandana Vaziri
2017	—	`conf`	Generating chat bots from web API specifications. Onward! Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Martin Hirzel
2017	—	`conf`	I Can Parse You: Grammars for Dialogs. SNAPL Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri
2016	—	`conf`	An Executable Specification for SPARQL. WISE (2) Mihaela A. Bornea, Julian Dolby, Achille Fokoue, Anastasios Kementsietsidis, Kavitha Srinivas, Mandana Vaziri
2016	—	`conf`	Correct or usable? the limits of traditional verification (impact paper award). SIGSOFT FSE Daniel Jackson, Mandana Vaziri
2016	—	`conf`	Spreadsheets for stream processing with unbounded windows and partitions. DEBS Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri
2016	J	`jnl`	X10 and APGAS at Petascale. ACM Trans. Parallel Comput. Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri, Wei Zhang
2015	—	`conf`	Spreadsheets for Stream Partitions and Windows. SEMS@ICSE Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri
2015	J	`jnl`	Spreadsheets for Stream Partitions and Windows. CoRR Martin Hirzel, Rodric Rabbah, Philippe Suter, Olivier Tardieu, Mandana Vaziri
2014	A	`conf`	Stream Processing with a Spreadsheet. ECOOP Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter, Martin Hirzel
2014	B	`conf`	X10 and APGAS at Petascale. PPoPP Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri
2013	A*	`conf`	Detecting deadlock in programs with data-centric synchronization. ICSE Daniel Marino, Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip, Jan Vitek
2012	J	`jnl`	A data-centric approach to synchronization. ACM Trans. Program. Lang. Syst. Julian Dolby, Christian Hammer, Daniel Marino, Frank Tip, Mandana Vaziri, Jan Vitek
2011	J	`jnl`	Finding concurrency-related bugs using random isolation. Int. J. Softw. Tools Technol. Transf. Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri
2011	—	`conf`	Open language implementation. IWMSE@ICSE Mandana Vaziri, Robert M. Fuhrer, Evelyn Duesterwald
2010	A	`conf`	A Type System for Data-Centric Synchronization. ECOOP Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer, Jan Vitek
2010	A*	`conf`	MemSAT: checking axiomatic specifications of memory models. PLDI Emina Torlak, Mandana Vaziri, Julian Dolby
2009	B	`conf`	Finding Concurrency-Related Bugs Using Random Isolation. VMCAI Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri
2008	A*	`conf`	Dynamic detection of atomic-set-serializability violations. ICSE Christian Hammer, Julian Dolby, Mandana Vaziri, Frank Tip
2007	A	`conf`	Declarative Object Identity Using Relation Types. ECOOP Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby
2007	—	`conf`	Finding bugs efficiently with a SAT solver. ESEC/SIGSOFT FSE Julian Dolby, Mandana Vaziri, Frank Tip
2006	A*	`conf`	Associating synchronization constraints with data in an object-oriented language. POPL Mandana Vaziri, Frank Tip, Julian Dolby
2006	—	`conf`	SAFARI: a meta-tooling framework for generating language-specific IDE's. OOPSLA Companion Philippe Charles, Julian Dolby, Robert M. Fuhrer, Stanley M. Sutton Jr., Mandana Vaziri
2006	—	`conf`	Young guns/object orientation: the next generation. OOPSLA Companion Jeffrey Overbey, Brian Foote, Paul Adamczyk, Jonathan Aldrich, Elisa L. A. Baniassad, Christian Grothoff, Arvind Krishna, Sean McDirmid, Todd D. Millstein, Alex Potanin, Mandana Vaziri
2003	A	`conf`	Checking Properties of Heap-Manipulating Procedures with a Constraint Solver. TACAS Mandana Vaziri, Daniel Jackson
2000	A	`conf`	Finding bugs with a constraint solver. ISSTA Daniel Jackson, Mandana Vaziri
2000	—	`conf`	Some Shortcomings of OCL, the Object Constraint Language of UML. TOOLS (34) Mandana Vaziri, Daniel Jackson
1998	—	`conf`	Proving Correctness of a Controller Algorithm for the RAID Level 5 System. FTCS Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
1997	J	`jnl`	A Case study in Model Checking Software Systems. Sci. Comput. Program. Jeannette M. Wing, Mandana Vaziri
1995	—	`conf`	Model Checking Software Systems: A Case Study. SIGSOFT FSE Jeannette M. Wing, Mandana Vaziri