David Darais - RankMe

37 papers A* 3A 6Journal 26Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces. CoRR Santiago Cuéllar, Naomi Spargo, Jonathan Daugherty, David Darais
2025	J	`jnl`	The CoCompiler: DSL Lifting via Relational Compilation. CoRR Naomi Spargo, Santiago Cuéllar, Jonathan Daugherty, Chris Phifer, David Darais
2024	J	`jnl`	KATch: A Fast Symbolic Verifier for NetKAT. CoRR Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
2024	J	`jnl`	KATch: A Fast Symbolic Verifier for NetKAT. Proc. ACM Program. Lang. Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
2023	J	`jnl`	Contextual Linear Types for Differential Privacy. ACM Trans. Program. Lang. Syst. Matías Toro, David Darais, Chike Abuah, Joseph P. Near, Damián Árquez, Federico Olmedo, Éric Tanter
2023	J	`jnl`	Symphony: Expressive Secure Multiparty Computation with Coordination. CoRR Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks
2023	J	`jnl`	Symphony: Expressive Secure Multiparty Computation with Coordination. Art Sci. Eng. Program. Ian Sweet, David Darais, David Heath, William Harris, Ryan Estes, Michael Hicks
2023	J	`jnl`	The 2010 Census Confidentiality Protections Failed, Here's How and Why. CoRR John M. Abowd, Tamara Adams, Robert Ashmead, David Darais, Sourya Dey, Simson L. Garfinkel, Nathan Goldschlag, Daniel Kifer, Philip Leclerc, Ethan Lew, Scott Moore, Rolando A. Rodríguez, Ramy N. Tadros, Lars Vilhuber
2022	J	`jnl`	Solo: a lightweight static analysis for differential privacy. Proc. ACM Program. Lang. Chike Abuah, David Darais, Joseph P. Near
2021	A	`conf`	DDUO: General-Purpose Dynamic Analysis for Differential Privacy. CSF Chike Abuah, Alex Silence, David Darais, Joseph P. Near
2021	J	`jnl`	DDUO: General-Purpose Dynamic Analysis for Differential Privacy. CoRR Chike Abuah, Alex Silence, David Darais, Joe Near
2021	J	`jnl`	Solo: Enforcing Differential Privacy Without Fancy Types. CoRR Chike Abuah, David Darais, Joseph P. Near
2021	A*	`conf`	Zero Knowledge Static Program Analysis. CCS Zhiyong Fang, David Darais, Joseph P. Near, Yupeng Zhang
2020	J	`jnl`	A language for probabilistically oblivious computation. Proc. ACM Program. Lang. David Darais, Ian Sweet, Chang Liu, Michael Hicks
2020	A	`conf`	Abstracting Faceted Execution. CSF Kristopher K. Micinski, David Darais, Thomas Gilray
2020	J	`jnl`	Contextual Linear Types for Differential Privacy. CoRR Matías Toro, David Darais, Chike Abuah, Joe Near, Federico Olmedo, Éric Tanter
2020	J	`jnl`	DuetSGX: Differential Privacy with Secure Hardware. CoRR Phillip Nguyen, Alex Silence, David Darais, Joseph P. Near
2020	—	`conf`	Short Paper: Probabilistically Almost-Oblivious Computation. PLAS@CCS Ian Sweet, David Darais, Michael Hicks
2020	A	`conf`	Types and Abstract Interpretation for Authorization Hook Advice. CSF Christian Skalka, David Darais, Trent Jaeger, Frank Capobianco
2019	J	`jnl`	Constructive Galois Connections. J. Funct. Program. David Darais, David Van Horn
2019	J	`jnl`	Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy. CoRR Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song
2019	J	`jnl`	Duet: an expressive higher-order language and linear type system for statically enforcing differential privacy. Proc. ACM Program. Lang. Joseph P. Near, David Darais, Chike Abuah, Tim Stevens, Pranav Gaddamadugu, Lun Wang, Neel Somani, Mu Zhang, Nikhil Sharma, Alex Shan, Dawn Song
2019	—	`ed.`	Proceedings of the 4th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe@ICFP 2019, Berlin, Germany, August 18, 2019 TyDe@ICFP David Darais, Jeremy Gibbons
2019	A*	`conf`	Proof-Carrying Network Code. CCS Christian Skalka, John H. Ring, David Darais, Minseok Kwon, Sahil Gupta, Kyle Diller, Steffen Smolka, Nate Foster
2018	J	`jnl`	Constructive Galois Connections. CoRR David Darais, David Van Horn
2017	J	`jnl`	A Language for Probabilistically Oblivious Computation. CoRR David Darais, Chang Liu, Ian Sweet, Michael Hicks
2017	J	`jnl`	Abstracting Definitional Interpreters. CoRR David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn
2017	J	`jnl`	Abstracting definitional interpreters (functional pearl). Proc. ACM Program. Lang. David Darais, Nicholas Labich, Phuc C. Nguyen, David Van Horn
2016	A	`conf`	Constructive Galois connections: taming the Galois connection framework for mechanized metatheory. ICFP David Darais, David Van Horn
2015	J	`jnl`	Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory. CoRR David Darais, David Van Horn
2015	A	`conf`	Galois transformers and modular abstract interpreters: reusable metatheory for program analysis. OOPSLA David Darais, Matthew Might, David Van Horn
2015	J	`jnl`	Mechanically Verified Calculational Abstract Interpretation. CoRR David Darais, David Van Horn
2014	J	`jnl`	Galois Transformers and Modular Abstract Interpreters. CoRR David Darais, Matthew Might, David Van Horn
2013	A*	`conf`	Monadic abstract interpreters. PLDI Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke, Frank Piessens
2012	J	`jnl`	Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts. J. Funct. Program. Matthew Flatt, Ryan Culpepper, David Darais, Robert Bruce Findler
2011	A	`conf`	Parsing with derivatives: a functional pearl. ICFP Matthew Might, David Darais, Daniel Spiewak
2010	J	`jnl`	Yacc is dead CoRR Matthew Might, David Darais