Todd Millstein

Citat de

	Toate	Din 2020
Referințe bibliografice	9229	2507
h-index	46	27
i10-index	89	50

540

270

135

405

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202532 50 72 120 164 234 291 310 357 340 404 360 354 395 386 394 424 482 484 456 438 535 484 423 443 532 88

Acces public

Afișați-le pe toate

34 de articole

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Rupak MajumdarMPI for Software SystemsAdresă de e-mail confirmată pe mpi-sws.org
Daniel MarinoResearch Director, RSA ConferenceAdresă de e-mail confirmată pe rsaconference.com
Ramesh GovindanProfessor of Computer Science, University of Southern CaliforniaAdresă de e-mail confirmată pe usc.edu
Madanlal MusuvathiMicrosoft ResearchAdresă de e-mail confirmată pe microsoft.com
Sriram RajamaniMicrosoft Research Adresă de e-mail confirmată pe microsoft.com
Shane MarkstrumGoogle, Inc.Adresă de e-mail confirmată pe google.com
Thomas BallMicrosoft ResearchAdresă de e-mail confirmată pe microsoft.com
Nupur KothariGoogleAdresă de e-mail confirmată pe google.com
Satish NarayanasamyUniversity of MichiganAdresă de e-mail confirmată pe umich.edu
Abhayendra SinghGoogle LLCAdresă de e-mail confirmată pe umich.edu
Gary T. LeavensProfessor, University of Central FloridaAdresă de e-mail confirmată pe cs.ucf.edu
Jeffrey A. VaughanPostdoc, UCLA, Computer ScienceAdresă de e-mail confirmată pe logicblox.com
Miryung KimFull Professor and Vice Chair of Graduate Studies, UCLA Computer ScienceAdresă de e-mail confirmată pe cs.ucla.edu
Matteo InterlandiMicrosoftAdresă de e-mail confirmată pe microsoft.com
Hesam SamimiProgramming Languages Researcher, Viewpoints Research InstituteAdresă de e-mail confirmată pe cs.ucla.edu
Tyson CondieMicrosoftAdresă de e-mail confirmată pe microsoft.com
Jinseong JeonGoogleAdresă de e-mail confirmată pe google.com
Jeffrey S. FosterComputer Science, Tufts UniversityAdresă de e-mail confirmată pe tufts.edu
Frank TipProfessor, Northeastern UniversityAdresă de e-mail confirmată pe northeastern.edu
Alessandro WarthHARC / Y Combinator ResearchAdresă de e-mail confirmată pe ycr.org

Urmăriți

Todd Millstein

Professor of Computer Science, UCLA

Adresă de e-mail confirmată pe cs.ucla.edu - Pagina de pornire

Programming Languages


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
Automatic predicate abstraction of C programs T Ball, R Majumdar, T Millstein, SK Rajamani Proceedings of the ACM SIGPLAN 2001 conference on Programming language …, 2001	1148	2001
Navigational plans for data integration MT Friedman, AY Levy, TD Millstein AAAI/IAAI 1999, 67-73, 1999	508	1999
MultiJava: Modular open classes and symmetric multiple dispatch for Java C Clifton, GT Leavens, C Chambers, T Millstein Proceedings of the 15th ACM SIGPLAN conference on Object-oriented …, 2000	439	2000
Reran: Timing-and touch-sensitive record and replay for android L Gomez, I Neamtiu, T Azim, T Millstein 2013 35th international conference on software engineering (ICSE), 72-81, 2013	433	2013
Dr. Android and Mr. Hide: fine-grained permissions in android applications J Jeon, KK Micinski, JA Vaughan, A Fogel, N Reddy, JS Foster, T Millstein Proceedings of the second ACM workshop on Security and privacy in …, 2012	432*	2012
A general approach to network configuration analysis A Fogel, S Fung, L Pedrosa, M Walraed-Sullivan, R Govindan, R Mahajan, ... 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2015	355	2015
A framework for implementing pluggable type systems C Andreae, J Noble, S Markstrum, T Millstein Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented …, 2006	349	2006
Efficient network reachability analysis using a succinct control plane representation SK Fayaz, T Sharma, A Fogel, R Mahajan, T Millstein, V Sekar, ... 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2016	292	2016
Automatic SAT-compilation of planning problems MD Ernst, TD Millstein, DS Weld IJCAI 97, 1169-1176, 1997	273	1997
Automatically proving the correctness of compiler optimizations S Lerner, T Millstein, C Chambers Proceedings of the ACM SIGPLAN 2003 conference on Programming language …, 2003	190	2003
Don't mind the gap: Bridging network-wide objectives and device-level configurations R Beckett, R Mahajan, T Millstein, J Padhye, D Walker Proceedings of the 2016 ACM SIGCOMM Conference, 328-341, 2016	178	2016
Automated soundness proofs for dataflow analyses and transformations via local rules S Lerner, T Millstein, E Rice, C Chambers ACM SIGPLAN Notices 40 (1), 364-377, 2005	172	2005
Data-driven precondition inference with learned features S Padhi, R Sharma, T Millstein ACM SIGPLAN Notices 51 (6), 42-56, 2016	171	2016
Automated repair of HTML generation errors in PHP applications using string constraint solving H Samimi, M Schäfer, S Artzi, T Millstein, F Tip, L Hendren 2012 34th International Conference on Software Engineering (ICSE), 277-287, 2012	154	2012
Generating error traces from verification-condition counterexamples KRM Leino, T Millstein, JB Saxe Science of Computer Programming 55 (1-3), 209-226, 2005	150*	2005
Titian: Data provenance support in spark M Interlandi, K Shah, SD Tetali, MA Gulzar, S Yoo, M Kim, T Millstein, ... Proceedings of the VLDB Endowment International Conference on Very Large …, 2015	148	2015
Modular Statically Typed Multimethods T Millstein, C Chambers Information and Computation 175 (1), 76-118, 2002	147	2002
Reliable and efficient programming abstractions for wireless sensor networks N Kothari, R Gummadi, T Millstein, R Govindan Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007	137	2007
MultiJava: Design rationale, compiler implementation, and applications C Clifton, T Millstein, GT Leavens, C Chambers ACM Transactions on Programming Languages and Systems (TOPLAS) 28 (3), 517-575, 2006	132	2006
End-to-end sequential consistency A Singh, S Narayanasamy, D Marino, T Millstein, M Musuvathi ACM SIGARCH Computer Architecture News 40 (3), 524-535, 2012	124	2012

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori